Searched refs:State (Results 26 - 50 of 139) sorted by relevance

123456

/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DDereferenceChecker.cpp35 void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C,
90 void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S, argument
93 ExplodedNode *N = C.generateSink(State);
129 State.getPtr(), N->getLocationContext());
137 State.getPtr(), N->getLocationContext(), true);
146 State.getPtr(), N->getLocationContext(), true);
155 State.getPtr(), N->getLocationContext(), true);
239 ProgramStateRef State = C.getState();
243 State->assume(V.castAs<DefinedOrUnknownSVal>());
276 C.addTransition(State, thi
[all...]
H A DObjCSelfInitChecker.cpp76 void printState(raw_ostream &Out, ProgramStateRef State,
333 ProgramStateRef State = C.getState(); local
334 State = State->remove<CalledInit>();
336 State = State->remove<SelfFlag>(sym);
337 C.addTransition(State);
341 void ObjCSelfInitChecker::printState(raw_ostream &Out, ProgramStateRef State, argument
343 SelfFlagTy FlagMap = State->get<SelfFlag>();
344 bool DidCallInit = State
[all...]
H A DDynamicTypePropagation.cpp54 ProgramStateRef State = C.getState(); local
55 State = State->setDynamicTypeInfo(Region, Ty, /*CanBeSubclass=*/false);
56 C.addTransition(State);
114 ProgramStateRef State = C.getState();
134 C.addTransition(State->setDynamicTypeInfo(RetReg, DynResTy, false));
143 DynamicTypeInfo RecDynType = State->getDynamicTypeInfo(RecReg);
144 C.addTransition(State->setDynamicTypeInfo(RetReg, RecDynType));
H A DExprInspectionChecker.cpp62 ProgramStateRef State = N->getState(); local
65 SVal AssertionVal = State->getSVal(Assertion, LC);
72 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
H A DVLASizeChecker.cpp37 ProgramStateRef State,
46 ProgramStateRef State,
49 ExplodedNode *N = C.generateSink(State);
44 reportBug(VLASize_Kind Kind, const Expr *SizeE, ProgramStateRef State, CheckerContext &C) const argument
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/Serialization/
H A DModuleManager.cpp196 void ModuleManager::returnVisitState(VisitState *State) { argument
197 assert(State->NextState == 0 && "Visited state is in list?");
198 State->NextState = FirstVisitState;
199 FirstVisitState = State;
289 VisitState *State = allocateVisitState(); local
290 unsigned VisitNumber = State->NextVisitNumber++;
300 State->VisitNumber[M->Index] = VisitNumber;
307 if (State->VisitNumber[CurrentModule->Index] == VisitNumber)
311 assert(State->VisitNumber[CurrentModule->Index] == VisitNumber - 1);
312 State
[all...]
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/ARCMigrate/
H A DTransProtectedScope.cpp48 } State; member in struct:__anon2965::CaseInfo
50 CaseInfo() : SC(0), State(St_Unchecked) {}
52 : SC(S), Range(Range), State(St_Unchecked) {}
153 if (info.State == CaseInfo::St_Unchecked)
155 assert(info.State != CaseInfo::St_Unchecked);
157 if (info.State == CaseInfo::St_Fixed) {
169 assert(info.State == CaseInfo::St_Unchecked);
171 info.State = CaseInfo::St_CannotFix;
177 info.State = CaseInfo::St_Fixed;
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp23 ProgramStateRef State = getState(); local
25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
H A DExprEngineCallAndReturn.cpp418 ProgramStateRef State) {
448 State = State->enterStackFrame(Call, CalleeSFC);
451 if (ExplodedNode *N = G.getNode(Loc, State, false, &isNew)) {
470 static ProgramStateRef getInlineFailedState(ProgramStateRef State, argument
472 const void *ReplayState = State->get<ReplayWithoutInlining>();
479 return State->remove<ReplayWithoutInlining>();
537 ProgramStateRef State) {
540 return State;
551 return State
416 inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument
535 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument
574 conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument
903 ProgramStateRef State = Pred->getState(); local
959 ProgramStateRef State = Pred->getState(); local
[all...]
H A DExprEngine.cpp171 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State, argument
175 SVal V = State->getSVal(Ex, LC);
180 return State;
189 ProgramStateManager &StateMgr = State->getStateManager();
229 State = State->bindLoc(Reg, V);
238 State = State->BindExpr(Result, LC, Reg);
239 return State;
267 void ExprEngine::printState(raw_ostream &Out, ProgramStateRef State, argument
453 ProgramStateRef State = Pred->getState(); local
572 ProgramStateRef State = Pred->getState(); local
601 ProgramStateRef State = Pred->getState(); local
621 ProgramStateRef State = Pred->getState(); local
817 ProgramStateRef State = (*I)->getState(); local
926 ProgramStateRef State = Pred->getState(); local
1830 CollectReachableSymbolsCallback(ProgramStateRef State) argument
1845 processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val) argument
1887 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) argument
[all...]
H A DExprEngineObjC.cpp157 ProgramStateRef State = Pred->getState(); local
158 CallEventRef<ObjCMethodCall> UpdatedMsg = Msg.cloneWithState(State);
168 llvm::tie(notNilState, nilState) = State->assume(receiverVal);
183 Bldr.generateSink(ME, Pred, State);
188 if (notNilState != State) {
/freebsd-9.3-release/contrib/llvm/lib/DebugInfo/
H A DDWARFDebugLine.h202 struct State : public Row, public Sequence, public LineTable { struct in class:llvm::DWARFDebugLine
209 State() : row(StartParsingLineTable) {} function in struct:llvm::DWARFDebugLine::State
210 virtual ~State();
224 struct DumpingState : public State {
237 uint32_t *offset_ptr, State &state);
/freebsd-9.3-release/sys/contrib/dev/acpica/compiler/
H A Daslresource.c651 UINT8 *State)
681 switch (*State)
698 *State = ACPI_RSTATE_NORMAL;
784 switch (*State)
797 *State = ACPI_RSTATE_START_DEPENDENT;
800 *State = ACPI_RSTATE_DEPENDENT_LIST;
804 switch (*State)
817 *State = ACPI_RSTATE_START_DEPENDENT;
820 *State = ACPI_RSTATE_DEPENDENT_LIST;
953 UINT8 State; local
648 RsDoOneResourceDescriptor( ACPI_PARSE_OBJECT *DescriptorTypeOp, UINT32 CurrentByteOffset, UINT8 *State) argument
[all...]
H A Daslcompiler.l452 YY_BUFFER_STATE State;
510 yy_switch_to_buffer (Fnode->State);
540 YY_BUFFER_STATE State;
549 Fnode->State = YY_CURRENT_BUFFER;
559 State = yy_create_buffer (InputFile, YY_BUF_SIZE);
560 yy_switch_to_buffer (State);
865 UINT32 State = ASL_NORMAL_CHAR;
883 switch (State)
894 State = ASL_ESCAPE_SEQUENCE;
908 State
[all...]
H A Daslrestype1.c447 UINT8 State; local
463 State = ACPI_RSTATE_START_DEPENDENT;
493 CurrentByteOffset, &State);
537 UINT8 State; local
550 State = ACPI_RSTATE_START_DEPENDENT;
554 CurrentByteOffset, &State);
/freebsd-9.3-release/contrib/llvm/lib/Transforms/Scalar/
H A DCorrelatedValuePropagation.cpp227 LazyValueInfo::Tristate State = LazyValueInfo::Unknown; local
234 State = LazyValueInfo::Unknown;
241 State = Value;
247 if (Value != State) {
248 State = LazyValueInfo::Unknown;
253 if (State == LazyValueInfo::False) {
264 } else if (State == LazyValueInfo::True) {
/freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h129 processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val) = 0;
132 notifyCheckersOfPointerEscape(ProgramStateRef State,
140 virtual void printState(raw_ostream &Out, ProgramStateRef State,
H A DCoreEngine.h88 ProgramStateRef State,
244 ProgramStateRef State,
266 ProgramStateRef State,
268 return generateNodeImpl(PP, State, Pred, false);
277 ProgramStateRef State,
279 return generateNodeImpl(PP, State, Pred, true);
325 ExplodedNode *generateNode(ProgramStateRef State, argument
329 return NodeBuilder::generateNode(LocalLoc, State, Pred);
332 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred, argument
335 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pre
265 generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) argument
276 generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) argument
[all...]
H A DCallEvent.h60 CallEventRef<T> cloneWithState(ProgramStateRef State) const {
61 return this->getPtr()->template cloneWithState<T>(State);
120 ProgramStateRef State; member in class:clang::ento::CallEvent
146 : State(state), LCtx(lctx), Origin(E), RefCount(0) {}
149 : State(state), LCtx(lctx), Origin(D), RefCount(0) {}
153 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
185 return State;
955 getCaller(const StackFrameContext *CalleeCtx, ProgramStateRef State);
959 getSimpleCall(const CallExpr *E, ProgramStateRef State,
963 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
969 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument
975 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument
982 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
[all...]
/freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/Analysis/Analyses/
H A DConsumed.h108 /// \param State -- The state the object was used in.
112 StringRef State,
119 /// \param State -- The state the object was used in.
127 StringRef State,
183 void setState(const VarDecl *Var, ConsumedState State);
186 void setState(const CXXBindTemporaryExpr *Tmp, ConsumedState State);
111 warnUseOfTempInInvalidState(StringRef MethodName, StringRef State, SourceLocation Loc) argument
125 warnUseInInvalidState(StringRef MethodName, StringRef VariableName, StringRef State, SourceLocation Loc) argument
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/Format/
H A DFormat.cpp360 /// \brief Formats the line starting at \p State, simply keeping all of the
363 LineState State = local
365 while (State.NextToken != NULL) {
367 Indenter->mustBreak(State) ||
368 (Indenter->canBreak(State) && State.NextToken->NewlinesBefore > 0);
369 Indenter->addTokenToState(State, Newline, /*DryRun=*/false);
605 LineState State = Indenter->getInitialState(Indent, &TheLine, DryRun); local
606 while (State.NextToken != NULL)
607 Indenter->addTokenToState(State, /*Newlin
665 LineState State = Indenter->getInitialState(FirstIndent, &Line, DryRun); local
679 StateNode(const LineState &State, bool NewLine, StateNode *Previous) argument
681 LineState State; member in struct:clang::format::__anon3136::UnwrappedLineFormatter::StateNode
880 reconstructPath(LineState &State, StateNode *Current) argument
945 formatChildren(LineState &State, bool NewLine, bool DryRun, unsigned &Penalty) argument
[all...]
/freebsd-9.3-release/contrib/llvm/lib/Target/X86/AsmParser/
H A DX86AsmParser.cpp203 IntelExprState State, PrevState; member in class:__anon2501::X86AsmParser::IntelExprStateMachine
213 State(IES_PLUS), PrevState(IES_ERROR), BaseReg(0), IndexReg(0), TmpReg(0),
224 return State == IES_RBRAC || State == IES_INTEGER;
228 bool hadError() { return State == IES_ERROR; }
235 IntelExprState CurrState = State;
236 switch (State) {
238 State = IES_ERROR;
243 State = IES_PLUS;
261 IntelExprState CurrState = State;
[all...]
/freebsd-9.3-release/contrib/llvm/include/llvm/Target/
H A DTargetLibraryInfo.h668 void setState(LibFunc::Func F, AvailabilityState State) { argument
670 AvailableArray[F/4] |= State << 2*(F&3);
723 AvailabilityState State = getState(F); local
724 if (State == Unavailable)
726 if (State == StandardName)
728 assert(State == CustomName);
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/Parse/
H A DRAIIObjectsForParser.h47 Sema::ParsingDeclState State; member in class:clang::SuppressAccessChecks
55 State = S.PushParsingDeclaration(DiagnosticPool);
64 S.PopParsingDeclaration(State, NULL);
87 Sema::ParsingDeclState State; member in class:clang::ParsingDeclRAIIObject
156 State = Actions.PushParsingDeclaration(DiagnosticPool);
162 Actions.PopParsingDeclaration(State, D);
/freebsd-9.3-release/sys/contrib/dev/acpica/utilities/
H A Dutdelete.c516 ACPI_GENERIC_STATE *State; local
639 State = AcpiUtPopGenericState (&StateList);
640 Object = State->Update.Object;
641 AcpiUtDeleteGenericState (State);
653 /* Free any stacked Update State objects */
657 State = AcpiUtPopGenericState (&StateList);
658 AcpiUtDeleteGenericState (State);

Completed in 321 milliseconds

123456