Searched refs:nonloc (Results 1 - 23 of 23) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp33 if (Optional<nonloc::SymbolVal> SV = getAs<nonloc::SymbolVal>()) {
71 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>())
113 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>())
122 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>())
139 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc
[all...]
H A DSimpleConstraintManager.cpp27 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>();
130 case nonloc::SymbolValKind: {
131 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();
181 case nonloc::ConcreteIntKind: {
182 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
187 case nonloc::LocAsIntegerKind:
188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
H A DSimpleSValBuilder.cpp72 if (Optional<nonloc::LocAsInteger> LI = val.getAs<nonloc::LocAsInteger>()) {
101 if (!val.getAs<nonloc::ConcreteInt>())
106 bool b = val.castAs<nonloc::ConcreteInt>().getValue().getBoolValue();
115 llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue();
152 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR));
155 return nonloc::SymbolVal(SymR->getSymbol());
189 case nonloc::ConcreteIntKind:
190 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this);
198 case nonloc
[all...]
H A DSValBuilder.cpp51 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type));
59 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type));
66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type));
73 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy));
81 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) {
90 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){
106 return nonloc::SymbolVal(sym);
137 return nonloc::SymbolVal(sym);
153 return nonloc
[all...]
H A DConstraintManager.cpp32 : nonloc::SymbolVal(Sym);
H A DRegionStore.cpp447 nonloc::LazyCompoundVal LCV);
554 const SValListTy &getInterestingValues(nonloc::LazyCompoundVal LCV);
827 if (Optional<nonloc::ConcreteInt> ExtentCI =
828 Extent.getAs<nonloc::ConcreteInt>()) {
978 if (Optional<nonloc::LazyCompoundVal> LCS =
979 V.getAs<nonloc::LazyCompoundVal>()) {
1124 if (Optional<nonloc::LazyCompoundVal> LCS =
1125 V.getAs<nonloc::LazyCompoundVal>()) {
1396 static Optional<nonloc::LazyCompoundVal>
1403 Optional<nonloc
[all...]
H A DStore.cpp472 if (!BaseIdx.getAs<nonloc::ConcreteInt>())
476 BaseIdx.castAs<nonloc::ConcreteInt>().getValue();
481 if (!Offset.getAs<nonloc::ConcreteInt>()) {
490 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue();
494 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
H A DProgramState.cpp282 return nonloc::ConcreteInt(NewV);
323 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
508 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) {
521 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) {
522 for (nonloc::CompoundVal::iterator I=val.begin(), E=val.end(); I!=E; ++I)
563 if (Optional<nonloc::LazyCompoundVal> X =
564 val.getAs<nonloc::LazyCompoundVal>())
567 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>())
576 if (Optional<nonloc
[all...]
H A DBugReporterVisitors.cpp274 if (V.getAs<nonloc::LazyCompoundVal>() ||
275 V.getAs<nonloc::CompoundVal>())
536 V.getAs<loc::ConcreteInt>() || V.getAs<nonloc::ConcreteInt>()) {
598 } else if (Optional<nonloc::ConcreteInt> CVal =
599 V.getAs<nonloc::ConcreteInt>()) {
634 } else if (Optional<nonloc::ConcreteInt> CI =
635 V.getAs<nonloc::ConcreteInt>()) {
675 } else if (Optional<nonloc::ConcreteInt> CV =
676 V.getAs<nonloc::ConcreteInt>()) {
1133 if (V.getAs<loc::ConcreteInt>() || V.getAs<nonloc
[all...]
H A DMemRegion.cpp188 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
217 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
221 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
1143 if (Optional<nonloc::ConcreteInt> CI = index.getAs<nonloc::ConcreteInt>()) {
1298 if (Optional<nonloc::ConcreteInt> CI =
1299 Index.getAs<nonloc::ConcreteInt>()) {
H A DExprEngineC.cpp485 assert(InitVal.getAs<nonloc::LazyCompoundVal>());
873 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
H A DExprEngine.cpp1665 nonloc::ConcreteInt CaseVal(getBasicVals().getValue(V1));
1676 if (CondV.getAs<nonloc::ConcreteInt>())
2225 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>();
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h213 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals));
218 return nonloc::LazyCompoundVal(
223 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy));
227 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy));
232 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) {
233 return nonloc::ConcreteInt(
238 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) {
242 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);
244 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) {
245 return nonloc
[all...]
H A DSVals.h307 namespace nonloc { namespace in namespace:clang::ento
460 } // end namespace ento::nonloc
H A DProgramState.h808 bool scan(nonloc::LazyCompoundVal val);
809 bool scan(nonloc::CompoundVal val);
H A DMemRegion.h1017 assert((!Idx.getAs<nonloc::ConcreteInt>() ||
1018 Idx.castAs<nonloc::ConcreteInt>().getValue().isSigned()) &&
/external/clang/lib/StaticAnalyzer/Checkers/
H A DNonNullParamChecker.cpp101 if (Optional<nonloc::CompoundVal> CSV =
102 DV->getAs<nonloc::CompoundVal>()) {
103 nonloc::CompoundVal::iterator CSV_I = CSV->begin();
H A DCallAndMessageChecker.cpp214 if (Optional<nonloc::LazyCompoundVal> LV =
215 V.getAs<nonloc::LazyCompoundVal>()) {
H A DStreamChecker.cpp265 Optional<nonloc::ConcreteInt> CI = Whence.getAs<nonloc::ConcreteInt>();
H A DBasicObjCFoundationChecks.cpp450 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>();
960 nonloc::SymbolVal(*CountS),
H A DMacOSKeychainAPIChecker.cpp243 nonloc::SymbolVal(RetSym));
H A DMallocChecker.cpp1241 if (Optional<nonloc::ConcreteInt> IntVal = V.getAs<nonloc::ConcreteInt>())
H A DCStringChecker.cpp566 if (right.getAs<nonloc::ConcreteInt>()) {

Completed in 322 milliseconds