OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:BasicVals
(Results
1 - 5
of
5
) 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
...]
SVals.h
530
SVal evalBinOp(BasicValueFactory&
BasicVals
, BinaryOperator::Opcode Op,
/external/clang/lib/StaticAnalyzer/Core/
SimpleSValBuilder.cpp
116
BasicVals
.getAPSIntType(castTy).apply(i);
147
BasicVals
.getAPSIntType(castTy).apply(i);
265
const llvm::APSInt &Result =
BasicVals
.Convert(resultTy, RHS);
291
ConvertedRHS = &
BasicVals
.Convert(SymbolType, RHS);
297
ConvertedRHS = &
BasicVals
.Convert(SymbolType, RHS);
300
ConvertedRHS = &
BasicVals
.Convert(resultTy, RHS);
349
BasicVals
.getAPSIntType(Context.VoidPtrTy).apply(i);
379
APSIntType IntType =
BasicVals
.getAPSIntType(resultTy);
385
BasicVals
.evalAPSInt(op, LHSValue, RHSValue);
490
APSIntType IntType =
BasicVals
.getAPSIntType(resultTy)
[
all
...]
SVals.cpp
213
SVal loc::ConcreteInt::evalBinOp(BasicValueFactory&
BasicVals
,
220
const llvm::APSInt* X =
BasicVals
.evalAPSInt(Op, getValue(), R.getValue());
SimpleConstraintManager.cpp
167
BasicValueFactory &
BasicVals
= getBasicVals();
193
const llvm::APSInt &zero =
BasicVals
.getValue(0, T);
Completed in 72 milliseconds