Home
last modified time | relevance | path

Searched defs:BVF (Results 1 – 5 of 5) sorted by relevance

/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDSimpleConstraintManager.cpp100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() local
218 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
HDSValBuilder.cpp415 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local
HDProgramState.cpp319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDBuiltinFunctionChecker.cpp88 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
HDCStringChecker.cpp558 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
681 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local