Searched refs:getBasicValueFactory (Results 1 - 10 of 10) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp89 BasicValueFactory &BVF = SVB.getBasicValueFactory();
H A DCStringChecker.cpp571 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
694 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.h103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
H A DSVals.cpp199 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
H A DStore.cpp483 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
H A DSValBuilder.cpp487 BasicValueFactory &BVF = getBasicValueFactory();
H A DProgramState.cpp319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
H A DSimpleSValBuilder.cpp895 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h139 BasicValueFactory &getBasicValueFactory() { return BasicVals; } function in class:clang::ento::SValBuilder
140 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } function in class:clang::ento::SValBuilder
H A DProgramState.h492 return svalBuilder->getBasicValueFactory();

Completed in 116 milliseconds