/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | DereferenceChecker.cpp | 35 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 D | ObjCSelfInitChecker.cpp | 76 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 D | DynamicTypePropagation.cpp | 54 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 D | ExprInspectionChecker.cpp | 62 ProgramStateRef State = N->getState(); local 65 SVal AssertionVal = State->getSVal(Assertion, LC); 72 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
H A D | VLASizeChecker.cpp | 37 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 D | ModuleManager.cpp | 196 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 D | TransProtectedScope.cpp | 48 } 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 D | CheckerContext.cpp | 23 ProgramStateRef State = getState(); local 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
H A D | ExprEngineCallAndReturn.cpp | 418 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 D | ExprEngine.cpp | 171 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 D | ExprEngineObjC.cpp | 157 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 D | DWARFDebugLine.h | 202 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 D | aslresource.c | 651 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 D | aslcompiler.l | 452 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 D | aslrestype1.c | 447 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 D | CorrelatedValuePropagation.cpp | 227 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 D | SubEngine.h | 129 processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val) = 0; 132 notifyCheckersOfPointerEscape(ProgramStateRef State, 140 virtual void printState(raw_ostream &Out, ProgramStateRef State,
|
H A D | CoreEngine.h | 88 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 D | CallEvent.h | 60 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 D | Consumed.h | 108 /// \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 D | Format.cpp | 360 /// \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 D | X86AsmParser.cpp | 203 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 D | TargetLibraryInfo.h | 668 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 D | RAIIObjectsForParser.h | 47 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 D | utdelete.c | 516 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);
|