Searched refs:ConcreteInt (Results 1 - 18 of 18) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp166 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...]
H A DSimpleSValBuilder.cpp101 if (!isa<nonloc::ConcreteInt>(val))
109 llvm::APSInt i = cast<nonloc::ConcreteInt>(val).getValue();
137 if (!isa<loc::ConcreteInt>(val))
140 llvm::APSInt i = cast<loc::ConcreteInt>(val).getValue();
158 return cast<nonloc::ConcreteInt>(val).evalMinus(*this);
167 return cast<nonloc::ConcreteInt>(X).evalComplement(*this);
260 return nonloc::ConcreteInt(Result);
342 llvm::APSInt i = cast<nonloc::ConcreteInt>(rhs).getValue();
359 llvm::APSInt LHSValue = cast<nonloc::ConcreteInt>(lhs).getValue();
383 return nonloc::ConcreteInt(*Resul
[all...]
H A DStore.cpp307 if (Base.isUnknownOrUndef() || isa<loc::ConcreteInt>(Base))
334 if (!isa<nonloc::ConcreteInt>(BaseIdx))
337 const llvm::APSInt& BaseIdxI = cast<nonloc::ConcreteInt>(BaseIdx).getValue();
342 if (!isa<nonloc::ConcreteInt>(Offset)) {
351 const llvm::APSInt& OffI = cast<nonloc::ConcreteInt>(Offset).getValue();
355 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
H A DSValBuilder.cpp81 if (nonloc::ConcreteInt* CI = dyn_cast<nonloc::ConcreteInt>(&val)) {
90 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){
240 if (const nonloc::ConcreteInt *rInt = dyn_cast<nonloc::ConcreteInt>(&RHS))
244 if (const nonloc::ConcreteInt *lInt = dyn_cast<nonloc::ConcreteInt>(&LHS))
H A DBugReporterVisitors.cpp323 if (isa<loc::ConcreteInt>(V)) {
337 else if (isa<nonloc::ConcreteInt>(V)) {
338 os << "initialized to " << cast<nonloc::ConcreteInt>(V).getValue();
356 if (isa<loc::ConcreteInt>(V)) {
373 else if (isa<nonloc::ConcreteInt>(V)) {
374 os << "The value " << cast<nonloc::ConcreteInt>(V).getValue()
602 if (isa<loc::ConcreteInt>(V) || isa<nonloc::ConcreteInt>(V)) {
H A DSimpleConstraintManager.cpp107 bool b = cast<loc::ConcreteInt>(Cond).getValue() != 0;
205 bool b = cast<nonloc::ConcreteInt>(Cond).getValue() != 0;
H A DMemRegion.cpp1043 if (nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&index)) {
1149 if (const nonloc::ConcreteInt *CI=dyn_cast<nonloc::ConcreteInt>(&Index)) {
H A DProgramState.cpp247 return loc::ConcreteInt(NewV);
249 return nonloc::ConcreteInt(NewV);
307 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
H A DRegionStore.cpp562 if (nonloc::ConcreteInt *ExtentCI = dyn_cast<nonloc::ConcreteInt>(&Extent)) {
1036 if (isa<loc::ConcreteInt>(L)) {
1222 if (nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&Idx)) {
1444 const nonloc::ConcreteInt &V = svalBuilder.makeIntVal(IL);
1557 if (isa<loc::ConcreteInt>(L))
H A DExprEngine.cpp1264 if (isa<loc::ConcreteInt>(V) || isa<UndefinedVal>(V)) {
1333 nonloc::ConcreteInt CaseVal(getBasicVals().getValue(V1));
1344 if (isa<nonloc::ConcreteInt>(CondV))
H A DExprEngineC.cpp806 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h216 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy));
220 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy));
225 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) {
226 return nonloc::ConcreteInt(
231 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) {
235 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);
237 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) {
238 return nonloc::ConcreteInt(BasicVals.getValue(integer));
241 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) {
242 return loc::ConcreteInt(BasicVal
[all...]
H A DSVals.h287 class ConcreteInt : public NonLoc { class in namespace:clang::ento::nonloc
289 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} function in class:clang::ento::nonloc::ConcreteInt
297 const ConcreteInt& R) const;
299 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
301 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
462 class ConcreteInt : public Loc { class in namespace:clang::ento::loc
464 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} function in class:clang::ento::loc::ConcreteInt
472 const ConcreteInt& R) const;
H A DMemRegion.h983 assert((!isa<nonloc::ConcreteInt>(&Idx) ||
984 cast<nonloc::ConcreteInt>(&Idx)->getValue().isSigned()) &&
/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp86 return isa<loc::ConcreteInt>(X);
292 nonloc::ConcreteInt* V = dyn_cast<nonloc::ConcreteInt>(&TheTypeVal);
613 if (isa<loc::ConcreteInt>(msg.getArgSVal(I)))
H A DMallocChecker.cpp719 if (nonloc::ConcreteInt *IntVal = dyn_cast<nonloc::ConcreteInt>(&V))
721 else if (loc::ConcreteInt *ConstAddr = dyn_cast<loc::ConcreteInt>(&V))
H A DStreamChecker.cpp274 const nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&Whence);
H A DCStringChecker.cpp570 if (isa<nonloc::ConcreteInt>(right)) {

Completed in 575 milliseconds