HomeSort by relevance Sort by last modified time
    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