| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SMTConstraintManager.cpp | 17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());
|
| H A D | CheckerContext.cpp | 113 SValBuilder &Bldr = Mgr.getSValBuilder();
124 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy);
129 DefinedSVal V = getSValBuilder().makeIntVal(0, false);
|
| H A D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder();
|
| H A D | CallEvent.cpp | 596 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
797 SValBuilder &SVB = StateMgr.getSValBuilder();
871 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
916 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
1348 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
1399 SValBuilder &SVB = State->getStateManager().getSValBuilder();
1415 SValBuilder &SVB = State->getStateManager().getSValBuilder();
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 62 C.getSValBuilder().makeZeroVal(Call.getResultType())));
|
| H A D | BuiltinFunctionChecker.cpp | 92 SValBuilder& svalBuilder = C.getSValBuilder();
108 SValBuilder &SVB = C.getSValBuilder();
|
| H A D | DebugIteratorModeling.cpp | 113 auto &BVF = C.getSValBuilder().getBasicValueFactory();
155 auto &BVF = C.getSValBuilder().getBasicValueFactory();
163 auto &BVF = C.getSValBuilder().getBasicValueFactory();
171 auto &BVF = C.getSValBuilder().getBasicValueFactory();
|
| H A D | CheckPlacementNew.cpp | 41 SValBuilder &SvalBuilder = C.getSValBuilder();
55 SValBuilder &SvalBuilder = C.getSValBuilder();
|
| H A D | UndefResultChecker.cpp | 67 SValBuilder &SB = C.getSValBuilder();
136 SValBuilder &SB = C.getSValBuilder();
156 SValBuilder &SB = C.getSValBuilder();
|
| H A D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder();
|
| H A D | EnumCastOutOfRangeChecker.cpp | 42 : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {}
|
| H A D | CStringChecker.cpp | 272 SValBuilder &svalBuilder = C.getSValBuilder();
330 SValBuilder &svalBuilder = C.getSValBuilder();
380 SValBuilder &svalBuilder = C.getSValBuilder();
479 SValBuilder &svalBuilder = C.getSValBuilder();
668 SValBuilder &svalBuilder = C.getSValBuilder();
764 SValBuilder &svalBuilder = C.getSValBuilder();
824 SValBuilder &svalBuilder = C.getSValBuilder();
893 SValBuilder &svalBuilder = C.getSValBuilder();
1065 SValBuilder &svalBuilder = C.getSValBuilder();
1199 SValBuilder &SvalBuilder = C.getSValBuilder();
[all...] |
| H A D | CastSizeChecker.cpp | 111 SValBuilder &svalBuilder = C.getSValBuilder();
|
| H A D | BoolAssignmentChecker.cpp | 81 SValBuilder &svalBuilder = C.getSValBuilder();
|
| H A D | IteratorRangeChecker.cpp | 128 auto &BVF = C.getSValBuilder().getBasicValueFactory();
135 auto &BVF = C.getSValBuilder().getBasicValueFactory();
|
| H A D | Iterator.cpp | 188 auto &SVB = State->getStateManager().getSValBuilder();
214 auto &SVB = State->getStateManager().getSValBuilder();
|
| H A D | GTestChecker.cpp | 278 C.getSValBuilder().evalEQ(State, Val1.castAs<DefinedOrUnknownSVal>(),
|
| H A D | VLASizeChecker.cpp | 136 SValBuilder &svalBuilder = C.getSValBuilder();
|
| H A D | StdLibraryFunctionsChecker.cpp | 243 SValBuilder &SVB = Mgr.getSValBuilder();
271 SValBuilder &SVB = Mgr.getSValBuilder();
322 SValBuilder &SVB = Mgr.getSValBuilder();
389 SVal V = C.getSValBuilder().conjureSymbolVal(
442 SValBuilder &SVB = C.getSValBuilder();
|
| H A D | CallAndMessageChecker.cpp | 271 C.getSValBuilder().getRegionManager(),
558 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
596 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
|
| H A D | StreamChecker.cpp | 139 SValBuilder &svalBuilder = C.getSValBuilder();
197 C.getSValBuilder().makeNull());
|
| H A D | UnixAPIChecker.cpp | 238 NonLoc ocreateFlag = C.getSValBuilder()
240 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
|
| H A D | IteratorModeling.cpp | 763 auto &SVB = C.getSValBuilder();
860 auto &SVB = C.getSValBuilder();
887 auto &SVB = C.getSValBuilder();
930 auto &SVB = C.getSValBuilder();
965 auto &SVB = C.getSValBuilder();
1072 auto &SVB = C.getSValBuilder();
1393 SValBuilder &SVB = State->getStateManager().getSValBuilder();
1427 auto &SVB = State->getStateManager().getSValBuilder();
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 77 SValBuilder &getSValBuilder() const { return SVB; } function in class:clang::ento::SimpleConstraintManager
|
| H A D | CheckerContext.h | 110 SValBuilder &getSValBuilder() { function in class:clang::ento::CheckerContext
111 return Eng.getSValBuilder();
115 return getSValBuilder().getSymbolManager();
|