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
35
BasicValueFactory
BasicVals
;
60
: Context(context),
BasicVals
(context, alloc),
61
SymMgr(context,
BasicVals
, alloc),
107
BasicValueFactory &getBasicValueFactory() { return
BasicVals
; }
108
const BasicValueFactory &getBasicValueFactory() const { return
BasicVals
; }
154
return nonloc::CompoundVal(
BasicVals
.getCompoundValData(type, vals));
160
BasicVals
.getLazyCompoundValData(store, region));
164
return nonloc::ConcreteInt(
BasicVals
.getValue(0, ArrayIndexTy));
168
return nonloc::ConcreteInt(
BasicVals
.getValue(idx, ArrayIndexTy));
175
BasicVals
.getValue(integer->getValue()
[
all
...]
SVals.h
490
SVal evalBinOp(BasicValueFactory&
BasicVals
, BinaryOperator::Opcode Op,
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
77
BasicValueFactory &
BasicVals
= state->getBasicVals();
93
const llvm::APSInt &zero =
BasicVals
.getZeroWithPtrWidth();
150
BasicValueFactory &
BasicVals
= state->getBasicVals();
161
const llvm::APSInt &zero =
BasicVals
.getValue(0, T);
181
const llvm::APSInt &zero =
BasicVals
.getValue(0, T);
SimpleSValBuilder.cpp
253
const llvm::APSInt &Result =
BasicVals
.Convert(resultTy, RHS);
397
BasicVals
.Convert(resultTy, symIntExpr->getRHS());
399
BasicVals
.Convert(resultTy, rhsInt->getValue());
402
newRHS =
BasicVals
.evalAPSInt(BO_Add, first, second);
404
newRHS =
BasicVals
.evalAPSInt(BO_Sub, first, second);
424
rhs_I = &
BasicVals
.Convert(lhsInt.getValue(), *Constant);
426
rhs_I = &
BasicVals
.Convert(resultTy, *Constant);
493
const llvm::APSInt &lhs_I =
BasicVals
.Convert(conversionType,
506
rhs = nonloc::ConcreteInt(
BasicVals
.Convert(conversionType,
519
const llvm::APSInt &rhs_I =
BasicVals
.Convert(conversionType
[
all
...]
SVals.cpp
249
SVal loc::ConcreteInt::evalBinOp(BasicValueFactory&
BasicVals
,
256
const llvm::APSInt* X =
BasicVals
.evalAPSInt(Op, getValue(), R.getValue());
Completed in 5661 milliseconds