OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:BasicVals
(Results
1 - 2
of
2
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
37
BasicValueFactory
BasicVals
;
64
: Context(context),
BasicVals
(context, alloc),
65
SymMgr(context,
BasicVals
, alloc),
136
BasicValueFactory &getBasicValueFactory() { return
BasicVals
; }
137
const BasicValueFactory &getBasicValueFactory() const { return
BasicVals
; }
202
return nonloc::CompoundVal(
BasicVals
.getCompoundValData(type, vals));
208
BasicVals
.getLazyCompoundValData(store, region));
212
return nonloc::ConcreteInt(
BasicVals
.getValue(0, ArrayIndexTy));
216
return nonloc::ConcreteInt(
BasicVals
.getValue(idx, ArrayIndexTy));
223
BasicVals
.getValue(integer->getValue()
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
75
BasicValueFactory &
BasicVals
= state->getBasicVals();
91
const llvm::APSInt &zero =
BasicVals
.getZeroWithPtrWidth();
161
BasicValueFactory &
BasicVals
= state->getBasicVals();
188
const llvm::APSInt &zero =
BasicVals
.getValue(0, T);
Completed in 28 milliseconds