Searched defs:BVF (Results 1 - 10 of 10) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp114 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
H A DDebugIteratorModeling.cpp113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
155 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
163 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
171 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
[all...]
H A DIteratorRangeChecker.cpp128 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
135 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
199 auto &BVF = State->getBasicVals(); local
H A DStdLibraryFunctionsChecker.cpp244 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
272 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
443 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
[all...]
H A DIteratorModeling.cpp589 auto &BVF = C.getSymbolManager().getBasicVals(); local
615 auto &BVF = C.getSymbolManager().getBasicVals(); local
859 auto &BVF = SymMgr.getBasicVals(); local
886 auto &BVF = SymMgr.getBasicVals(); local
929 auto &BVF = SymMgr.getBasicVals(); local
964 auto &BVF = SymMgr.getBasicVals(); local
1071 auto &BVF = SymMgr.getBasicVals(); local
[all...]
H A DCStringChecker.cpp669 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
774 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp77 BasicValueFactory &BVF = getBasicVals(); local
104 BasicValueFactory &BVF = getBasicVals(); local
138 BasicValueFactory &BVF = getBasicVals(); local
H A DSValBuilder.cpp541 BasicValueFactory &BVF = getBasicValueFactory(); local
H A DProgramState.cpp329 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h110 BasicValueFactory &BVF = getBasicVals(); variable

Completed in 191 milliseconds