Home
last modified time | relevance | path

Searched refs:getSValBuilder (Results 1 – 25 of 27) sorted by relevance

12

/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDCStringChecker.cpp213 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
284 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation()
348 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
445 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
557 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
672 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
744 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
970 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon()
975 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
985 SVal result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, in evalCopyCommon()
[all …]
HDBuiltinFunctionChecker.cpp69 SValBuilder& svalBuilder = C.getSValBuilder(); in evalCall()
87 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
HDUnixAPIChecker.cpp138 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpen()
140 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, in CheckOpen()
HDCallAndMessageChecker.cpp257 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
543 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
581 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
HDMacOSKeychainAPIChecker.cpp301 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) { in checkPreStmt()
433 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) { in checkPreStmt()
577 definitelyReturnedError(I->second.Region, State, C.getSValBuilder())) in checkDeadSymbols()
HDBoolAssignmentChecker.cpp80 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind()
HDCastSizeChecker.cpp115 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
HDVLASizeChecker.cpp135 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
HDMallocChecker.cpp715 NonLoc ZeroFlag = C.getSValBuilder() in performKernelMalloc()
718 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And, in performKernelMalloc()
731 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
881 SValBuilder &SvalBuilder = C.getSValBuilder(); in ProcessZeroAllocation()
1084 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux()
1100 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux()
1894 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem()
1990 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem()
2259 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
HDArrayBoundCheckerV2.cpp100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation()
HDBasicObjCFoundationChecks.cpp580 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
957 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty()
HDStreamChecker.cpp213 SValBuilder &svalBuilder = C.getSValBuilder(); in OpenFileAux()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDCheckerContext.h157 SValBuilder &getSValBuilder() { in getSValBuilder() function
158 return Eng.getSValBuilder(); in getSValBuilder()
162 return getSValBuilder().getSymbolManager(); in getSymbolManager()
HDExprEngine.h131 SValBuilder &getSValBuilder() { return svalBuilder; } in getSValBuilder() function
HDProgramState.h487 SValBuilder &getSValBuilder() { in getSValBuilder() function
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDCallEvent.cpp322 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
491 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
561 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
585 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
887 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
938 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
964 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
HDExprEngineCXX.cpp94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion()
147 Loc ThisPtr = Eng.getSValBuilder().getCXXThis(CurCtor, in getRegionForConstructedObject()
173 MemRegionManager &MRMgr = Eng.getSValBuilder().getRegionManager(); in getRegionForConstructedObject()
216 Loc ThisPtr = getSValBuilder().getCXXThis(CurCtor, in VisitCXXConstructExpr()
HDExprEngineC.cpp570 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType()); in VisitLogicalExpr()
573 X = getSValBuilder().makeIntVal(1, B->getType()); in VisitLogicalExpr()
578 X = getSValBuilder().makeIntVal(0, B->getType()); in VisitLogicalExpr()
627 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
HDSimpleConstraintManager.cpp73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume()
HDStore.cpp25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
HDExprEngine.cpp81 svalBuilder(StateMgr.getSValBuilder()), in ExprEngine()
238 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(), in createTemporaryRegionIfNeeded()
503 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer()
637 Loc ThisPtr = getSValBuilder().getCXXThis(CurDtor, in ProcessBaseDtor()
658 Loc ThisVal = getSValBuilder().getCXXThis(CurDtor, in ProcessMemberDtor()
HDRangeConstraintManager.cpp333 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
HDProgramState.cpp315 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBound()
HDExprEngineCallAndReturn.cpp566 SValBuilder &SVB = getSValBuilder(); in bindReturnValue()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporter.h542 SValBuilder& getSValBuilder() {
543 return getStateManager().getSValBuilder();

12