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),
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
...]
SVals.h
469
SVal evalBinOp(BasicValueFactory&
BasicVals
, BinaryOperator::Opcode Op,
/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);
SimpleSValBuilder.cpp
262
const llvm::APSInt &Result =
BasicVals
.Convert(resultTy, RHS);
346
rhs_I = &
BasicVals
.Convert(lhsInt.getValue(), *Constant);
348
rhs_I = &
BasicVals
.Convert(resultTy, *Constant);
470
BasicVals
.Convert(resultTy, symIntExpr->getRHS());
472
BasicVals
.Convert(resultTy, rhsInt->getValue());
475
newRHS =
BasicVals
.evalAPSInt(BO_Add, first, second);
477
newRHS =
BasicVals
.evalAPSInt(BO_Sub, first, second);
503
const llvm::APSInt &lhs_I =
BasicVals
.Convert(conversionType,
516
rhs = nonloc::ConcreteInt(
BasicVals
.Convert(conversionType,
529
const llvm::APSInt &rhs_I =
BasicVals
.Convert(conversionType
[
all
...]
SVals.cpp
213
SVal loc::ConcreteInt::evalBinOp(BasicValueFactory&
BasicVals
,
220
const llvm::APSInt* X =
BasicVals
.evalAPSInt(Op, getValue(), R.getValue());
Completed in 167 milliseconds