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/Core/
SimpleConstraintManager.h
26
BasicValueFactory &
BVF
;
29
: SU(subengine),
BVF
(BV) {}
84
BasicValueFactory &getBasicVals() const { return
BVF
; }
SimpleConstraintManager.cpp
141
BasicValueFactory &
BVF
= getBasicVals();
148
const llvm::APSInt &zero =
BVF
.getValue(0, T);
242
BasicValueFactory &
BVF
= getBasicVals();
243
APSIntType WraparoundType =
BVF
.getAPSIntType(LHS->getType());
RangeConstraintManager.cpp
288
RangeConstraintManager(SubEngine *subengine, BasicValueFactory &
BVF
)
289
: SimpleConstraintManager(subengine,
BVF
) {}
ProgramState.cpp
296
BasicValueFactory &
BVF
= svalBuilder.getBasicValueFactory();
300
nonloc::ConcreteInt Min(
BVF
.getMinValue(indexTy));
/external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp
551
BasicValueFactory &
BVF
= svalBuilder.getBasicValueFactory();
554
const llvm::APSInt &maxValInt =
BVF
.getMaxValue(sizeTy);
[
all
...]
Completed in 605 milliseconds