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),
133
BasicValueFactory &getBasicValueFactory() { return
BasicVals
; }
134
const BasicValueFactory &getBasicValueFactory() const { return
BasicVals
; }
205
return nonloc::CompoundVal(
BasicVals
.getCompoundValData(type, vals));
211
BasicVals
.getLazyCompoundValData(store, region));
215
return nonloc::ConcreteInt(
BasicVals
.getValue(0, ArrayIndexTy));
219
return nonloc::ConcreteInt(
BasicVals
.getValue(idx, ArrayIndexTy));
226
BasicVals
.getValue(integer->getValue()
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
167
BasicValueFactory &
BasicVals
= getBasicVals();
193
const llvm::APSInt &zero =
BasicVals
.getValue(0, T);
Completed in 581 milliseconds