/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 67 SValBuilder& svalBuilder = C.getSValBuilder(); 85 SValBuilder &SVB = C.getSValBuilder();
|
H A D | BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder();
|
H A D | CastSizeChecker.cpp | 115 SValBuilder &svalBuilder = C.getSValBuilder();
|
H A D | CStringChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder(); 284 SValBuilder &svalBuilder = C.getSValBuilder(); 348 SValBuilder &svalBuilder = C.getSValBuilder(); 445 SValBuilder &svalBuilder = C.getSValBuilder(); 558 SValBuilder &svalBuilder = C.getSValBuilder(); 673 SValBuilder &svalBuilder = C.getSValBuilder(); 745 SValBuilder &svalBuilder = C.getSValBuilder(); 972 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, 982 SVal result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, 1069 SValBuilder &svalBuilder = C.getSValBuilder(); [all...] |
H A D | VLASizeChecker.cpp | 132 SValBuilder &svalBuilder = C.getSValBuilder();
|
H A D | UnixAPIChecker.cpp | 106 NonLoc ocreateFlag = C.getSValBuilder() 108 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
|
H A D | CallAndMessageChecker.cpp | 257 C.getSValBuilder().getRegionManager(), 543 SVal V = C.getSValBuilder().makeZeroVal(RetTy); 581 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
|
H A D | MacOSKeychainAPIChecker.cpp | 298 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) { 426 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) { 568 definitelyReturnedError(I->second.Region, State, C.getSValBuilder()))
|
H A D | ArrayBoundCheckerV2.cpp | 100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
|
H A D | MallocChecker.cpp | 642 NonLoc ZeroFlag = C.getSValBuilder() 645 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And, 658 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); 866 SValBuilder &svalBuilder = C.getSValBuilder(); 886 SValBuilder &svalBuilder = C.getSValBuilder(); 1587 SValBuilder &svalBuilder = C.getSValBuilder(); 1680 SValBuilder &svalBuilder = C.getSValBuilder(); 1946 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager();
|
H A D | StreamChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder();
|
H A D | BasicObjCFoundationChecks.cpp | 580 SValBuilder &svalBuilder = C.getSValBuilder(); 957 SValBuilder &SvalBuilder = C.getSValBuilder();
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 157 SValBuilder &getSValBuilder() { function in class:clang::ento::CheckerContext 158 return Eng.getSValBuilder(); 162 return getSValBuilder().getSymbolManager();
|
H A D | ExprEngine.h | 131 SValBuilder &getSValBuilder() { return svalBuilder; } function in class:clang::ento::ExprEngine
|
H A D | ProgramState.h | 486 SValBuilder &getSValBuilder() { function in class:clang::ento::ProgramStateManager
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CallEvent.cpp | 322 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 491 SValBuilder &SVB = StateMgr.getSValBuilder(); 561 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 585 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 887 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 938 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 964 SValBuilder &SVB = State->getStateManager().getSValBuilder();
|
H A D | ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 147 Loc ThisPtr = Eng.getSValBuilder().getCXXThis(CurCtor, 173 MemRegionManager &MRMgr = Eng.getSValBuilder().getRegionManager(); 216 Loc ThisPtr = getSValBuilder().getCXXThis(CurCtor,
|
H A D | ExprEngineC.cpp | 570 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType()); 573 X = getSValBuilder().makeIntVal(1, B->getType()); 578 X = getSValBuilder().makeIntVal(0, B->getType()); 627 V = getSValBuilder().makeZeroVal(T);
|
H A D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder();
|
H A D | Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
|
H A D | ExprEngine.cpp | 72 svalBuilder(StateMgr.getSValBuilder()), 229 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(), 494 SValBuilder &SVB = getSValBuilder(); 628 Loc ThisPtr = getSValBuilder().getCXXThis(CurDtor, 649 Loc ThisVal = getSValBuilder().getCXXThis(CurDtor,
|
H A D | RangeConstraintManager.cpp | 333 return new RangeConstraintManager(Eng, StMgr.getSValBuilder());
|
H A D | ExprEngineCallAndReturn.cpp | 566 SValBuilder &SVB = getSValBuilder();
|
H A D | ProgramState.cpp | 315 SValBuilder &svalBuilder = SM.getSValBuilder();
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 539 SValBuilder& getSValBuilder() { function in class:clang::ento::BugReporterContext 540 return getStateManager().getSValBuilder();
|