OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:ConcreteInt
(Results
1 - 19
of
19
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SVals.cpp
166
return isa<nonloc::
ConcreteInt
>(this) || isa<loc::
ConcreteInt
>(this);
170
if (isa<loc::
ConcreteInt
>(*this))
171
return cast<loc::
ConcreteInt
>(*this).getValue() == I;
172
else if (isa<nonloc::
ConcreteInt
>(*this))
173
return cast<nonloc::
ConcreteInt
>(*this).getValue() == I;
187
SVal nonloc::
ConcreteInt
::evalBinOp(SValBuilder &svalBuilder,
189
const nonloc::
ConcreteInt
& R) const {
194
return nonloc::
ConcreteInt
(*X);
199
nonloc::
ConcreteInt
[
all
...]
SimpleSValBuilder.cpp
100
if (!isa<nonloc::
ConcreteInt
>(val))
108
llvm::APSInt i = cast<nonloc::
ConcreteInt
>(val).getValue();
138
if (!isa<loc::
ConcreteInt
>(val))
141
llvm::APSInt i = cast<loc::
ConcreteInt
>(val).getValue();
161
return cast<nonloc::
ConcreteInt
>(val).evalMinus(*this);
170
return cast<nonloc::
ConcreteInt
>(X).evalComplement(*this);
263
return nonloc::
ConcreteInt
(Result);
317
llvm::APSInt i = cast<nonloc::
ConcreteInt
>(rhs).getValue();
335
const nonloc::
ConcreteInt
& lhsInt = cast<nonloc::
ConcreteInt
>(lhs)
[
all
...]
Store.cpp
284
if (Base.isUnknownOrUndef() || isa<loc::
ConcreteInt
>(Base))
311
if (!isa<nonloc::
ConcreteInt
>(BaseIdx))
314
const llvm::APSInt& BaseIdxI = cast<nonloc::
ConcreteInt
>(BaseIdx).getValue();
319
if (!isa<nonloc::
ConcreteInt
>(Offset)) {
328
const llvm::APSInt& OffI = cast<nonloc::
ConcreteInt
>(Offset).getValue();
332
nonloc::
ConcreteInt
NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
SValBuilder.cpp
81
if (nonloc::
ConcreteInt
* CI = dyn_cast<nonloc::
ConcreteInt
>(&val)) {
90
nonloc::
ConcreteInt
SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){
207
if (const nonloc::
ConcreteInt
*rInt = dyn_cast<nonloc::
ConcreteInt
>(&RHS)) {
212
if (const nonloc::
ConcreteInt
*lInt = dyn_cast<nonloc::
ConcreteInt
>(&LHS)) {
BugReporterVisitors.cpp
166
if (isa<loc::
ConcreteInt
>(V)) {
180
else if (isa<nonloc::
ConcreteInt
>(V)) {
181
os << "initialized to " << cast<nonloc::
ConcreteInt
>(V).getValue();
196
if (isa<loc::
ConcreteInt
>(V)) {
213
else if (isa<nonloc::
ConcreteInt
>(V)) {
214
os << "The value " << cast<nonloc::
ConcreteInt
>(V).getValue()
422
if (isa<loc::
ConcreteInt
>(V) || isa<nonloc::
ConcreteInt
>(V)) {
SimpleConstraintManager.cpp
107
bool b = cast<loc::
ConcreteInt
>(Cond).getValue() != 0;
201
bool b = cast<nonloc::
ConcreteInt
>(Cond).getValue() != 0;
MemRegion.cpp
909
if (nonloc::
ConcreteInt
*CI = dyn_cast<nonloc::
ConcreteInt
>(&index)) {
945
if (nonloc::
ConcreteInt
*CI = dyn_cast<nonloc::
ConcreteInt
>(&index)) {
998
if (const nonloc::
ConcreteInt
*CI=dyn_cast<nonloc::
ConcreteInt
>(&Index)) {
[
all
...]
ProgramState.cpp
256
return loc::
ConcreteInt
(NewV);
258
return nonloc::
ConcreteInt
(NewV);
316
nonloc::
ConcreteInt
Min(BVF.getMinValue(indexTy));
RegionStore.cpp
[
all
...]
ExprEngine.cpp
[
all
...]
ExprEngineC.cpp
710
nonloc::
ConcreteInt
X(getBasicVals().getValue(0, Ex->getType()));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
212
return nonloc::
ConcreteInt
(BasicVals.getValue(0, ArrayIndexTy));
216
return nonloc::
ConcreteInt
(BasicVals.getValue(idx, ArrayIndexTy));
221
nonloc::
ConcreteInt
makeIntVal(const IntegerLiteral* integer) {
222
return nonloc::
ConcreteInt
(
227
nonloc::
ConcreteInt
makeBoolVal(const ObjCBoolLiteralExpr *boolean) {
231
nonloc::
ConcreteInt
makeBoolVal(const CXXBoolLiteralExpr *boolean);
233
nonloc::
ConcreteInt
makeIntVal(const llvm::APSInt& integer) {
234
return nonloc::
ConcreteInt
(BasicVals.getValue(integer));
237
loc::
ConcreteInt
makeIntLocVal(const llvm::APSInt &integer) {
238
return loc::
ConcreteInt
(BasicVals.getValue(integer))
[
all
...]
SVals.h
291
class
ConcreteInt
: public NonLoc {
293
explicit
ConcreteInt
(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {}
301
const
ConcreteInt
& R) const;
303
ConcreteInt
evalComplement(SValBuilder &svalBuilder) const;
305
ConcreteInt
evalMinus(SValBuilder &svalBuilder) const;
460
class
ConcreteInt
: public Loc {
462
explicit
ConcreteInt
(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {}
470
const
ConcreteInt
& R) const;
MemRegion.h
938
assert((!isa<nonloc::
ConcreteInt
>(&Idx) ||
939
cast<nonloc::
ConcreteInt
>(&Idx)->getValue().isSigned()) &&
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
BasicObjCFoundationChecks.cpp
65
return isa<loc::
ConcreteInt
>(X);
271
nonloc::
ConcreteInt
* V = dyn_cast<nonloc::
ConcreteInt
>(&TheTypeVal);
611
if (isa<loc::
ConcreteInt
>(msg.getArgSVal(I, C.getLocationContext(),
MallocChecker.cpp
590
if (nonloc::
ConcreteInt
*IntVal = dyn_cast<nonloc::
ConcreteInt
>(&V))
592
else if (loc::
ConcreteInt
*ConstAddr = dyn_cast<loc::
ConcreteInt
>(&V))
[
all
...]
StreamChecker.cpp
274
const nonloc::
ConcreteInt
*CI = dyn_cast<nonloc::
ConcreteInt
>(&Whence);
CallAndMessageChecker.cpp
226
if (isa<loc::
ConcreteInt
>(L)) {
CStringChecker.cpp
571
if (isa<nonloc::
ConcreteInt
>(right)) {
[
all
...]
Completed in 196 milliseconds