OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:BVF
(Results
1 - 5
of
5
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp
89
BasicValueFactory &
BVF
= SVB.getBasicValueFactory();
90
BVF
.getAPSIntType(CE->getType()).apply(Result);
CStringChecker.cpp
571
BasicValueFactory &
BVF
= svalBuilder.getBasicValueFactory();
574
const llvm::APSInt &maxValInt =
BVF
.getMaxValue(sizeTy);
694
BasicValueFactory &
BVF
= svalBuilder.getBasicValueFactory();
695
const llvm::APSInt &maxValInt =
BVF
.getMaxValue(sizeTy);
697
const llvm::APSInt *maxLengthInt =
BVF
.evalAPSInt(BO_Div, maxValInt,
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
100
BasicValueFactory &
BVF
= getBasicVals();
107
const llvm::APSInt &zero =
BVF
.getValue(0, T);
254
BasicValueFactory &
BVF
= getBasicVals();
255
APSIntType WraparoundType =
BVF
.getAPSIntType(LHS->getType());
308
BasicValueFactory &
BVF
= getBasicVals();
309
APSIntType WraparoundType =
BVF
.getAPSIntType(Sym->getType());
SValBuilder.cpp
487
BasicValueFactory &
BVF
= getBasicValueFactory();
490
return makeNonLoc(Sym, BO_NE,
BVF
.getValue(0, Sym->getType()), castTy);
ProgramState.cpp
319
BasicValueFactory &
BVF
= svalBuilder.getBasicValueFactory();
323
nonloc::ConcreteInt Min(
BVF
.getMinValue(indexTy));
Completed in 1632 milliseconds