| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 247 castAs<NonLoc>().dumpToStream(os);
250 castAs<Loc>().dumpToStream(os);
261 const nonloc::ConcreteInt& C = castAs<nonloc::ConcreteInt>();
271 os << castAs<nonloc::SymbolVal>().getSymbol();
275 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>();
280 const nonloc::CompoundVal& C = castAs<nonloc::CompoundVal>();
296 const nonloc::LazyCompoundVal &C = castAs<nonloc::LazyCompoundVal>();
311 os << castAs<loc::ConcreteInt>().getValue().getZExtValue() << " (Loc)";
314 os << "&&" << castAs<loc::GotoLabel>().getLabel()->getName();
317 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString()
[all...] |
| SimpleConstraintManager.cpp | 73 return assume(state, Cond.castAs<Loc>(), Assumption);
93 const MemRegion *R = Cond.castAs<loc::MemRegionVal>().getRegion();
111 bool b = Cond.castAs<loc::ConcreteInt>().getValue() != 0;
162 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();
213 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
219 return assumeAux(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
|
| SimpleSValBuilder.cpp | 64 return Val.getAs<Loc>() ? evalCastFromLoc(Val.castAs<Loc>(), CastTy)
65 : evalCastFromNonLoc(Val.castAs<NonLoc>(), CastTy);
106 bool b = val.castAs<nonloc::ConcreteInt>().getValue().getBoolValue();
115 llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue();
146 llvm::APSInt i = val.castAs<loc::ConcreteInt>().getValue();
164 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this);
173 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this);
313 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc();
317 rhs.castAs<nonloc::LocAsInteger>().getLoc(),
321 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue()
[all...] |
| SValBuilder.cpp | 87 return evalCastFromNonLoc(val.castAs<NonLoc>(), ArrayIndexTy);
344 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type);
353 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type);
356 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(),
364 .castAs<DefinedOrUnknownSVal>();
427 return evalCastFromLoc(val.castAs<Loc>(), castTy);
453 val = StateMgr.ArrayToPointer(val.castAs<Loc>(), elemTy);
468 return evalCastFromLoc(val.castAs<Loc>(), castTy);
|
| Store.cpp | 403 Loc BaseL = Base.castAs<Loc>();
408 BaseR = BaseL.castAs<loc::MemRegionVal>().getRegion();
448 const MemRegion* BaseRegion = Base.castAs<loc::MemRegionVal>().getRegion();
454 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
476 BaseIdx.castAs<nonloc::ConcreteInt>().getValue();
490 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue();
|
| ExprEngine.cpp | 284 ProcessStmt(const_cast<Stmt*>(E.castAs<CFGStmt>().getStmt()), Pred);
287 ProcessInitializer(E.castAs<CFGInitializer>().getInitializer(), Pred);
293 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred);
527 ProcessAutomaticObjDtor(D.castAs<CFGAutomaticObjDtor>(), Pred, Dst);
530 ProcessBaseDtor(D.castAs<CFGBaseDtor>(), Pred, Dst);
533 ProcessMemberDtor(D.castAs<CFGMemberDtor>(), Pred, Dst);
536 ProcessTemporaryDtor(D.castAs<CFGTemporaryDtor>(), Pred, Dst);
554 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion();
581 VisitCXXDestructor(BaseTy, BaseVal.castAs<loc::MemRegionVal>().getRegion(),
595 State->getLValue(Member, State->getSVal(ThisVal).castAs<Loc>())
[all...] |
| /external/clang/lib/AST/ |
| MangleNumberingContext.cpp | 30 return ++ManglingNumbers[Key->castAs<FunctionProtoType>()];
|
| CXXInheritance.cpp | 272 = cast<CXXRecordDecl>(BaseSpec->getType()->castAs<RecordType>()
379 return Specifier->getType()->castAs<RecordType>()->getDecl()
389 Specifier->getType()->castAs<RecordType>()->getDecl()
397 Specifier->getType()->castAs<RecordType>()->getDecl();
414 Specifier->getType()->castAs<RecordType>()->getDecl();
433 Specifier->getType()->castAs<RecordType>()->getDecl();
711 cast<CXXRecordDecl>(I->getType()->castAs<RecordType>()->getDecl());
734 cast<CXXRecordDecl>(I->getType()->castAs<RecordType>()->getDecl());
|
| TypeLoc.cpp | 117 CLASS##TypeLoc TLCasted = TL.castAs<CLASS##TypeLoc>(); \
137 if (Cur.castAs<FunctionProtoTypeLoc>().getTypePtr()
183 if (Cur.castAs<FunctionProtoTypeLoc>().getTypePtr()->hasTrailingReturn())
|
| /external/clang/lib/Sema/ |
| TypeLocBuilder.h | 74 return pushImpl(T, LocalSize, LocalAlign).castAs<TypeSpecTypeLoc>();
97 TyLocType Loc = TypeLoc(T, 0).castAs<TyLocType>();
100 return pushImpl(T, LocalSize, LocalAlign).castAs<TyLocType>();
|
| /external/clang/include/clang/AST/ |
| TypeLocVisitor.h | 24 Visit##CLASSNAME(TyLoc.castAs<CLASSNAME>())
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| VLASizeChecker.cpp | 113 DefinedSVal sizeD = sizeV.castAs<DefinedSVal>();
134 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
142 state, BO_Mul, ArrayLength, EleSizeVal.castAs<NonLoc>(), SizeTy);
148 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>();
|
| ArrayBoundCheckerV2.cpp | 56 NonLoc getByteOffset() const { return byteOffset.castAs<NonLoc>(); }
147 extentVal.castAs<NonLoc>(),
259 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
260 y.castAs<NonLoc>(),
298 index.castAs<NonLoc>(),
|
| ArrayBoundChecker.cpp | 47 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
|
| BuiltinFunctionChecker.cpp | 67 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
|
| ObjCAtSyncChecker.cpp | 63 llvm::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
|
| ReturnPointerRangeChecker.cpp | 49 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
|
| ObjCContainersChecker.cpp | 76 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>()));
129 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>();
|
| CStringChecker.cpp | 283 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();
286 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
369 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
371 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
579 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
[all...] |
| ObjCSelfInitChecker.cpp | 258 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
289 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
315 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
424 loc::MemRegionVal MRV = location.castAs<loc::MemRegionVal>();
|
| UnixAPIChecker.cpp | 110 NonLoc oflags = V.castAs<NonLoc>();
112 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>();
118 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>();
203 state->assume(argVal.castAs<DefinedSVal>());
|
| ExprInspectionChecker.cpp | 70 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
| ReturnUndefChecker.cpp | 76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>());
|
| DereferenceChecker.cpp | 194 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>();
243 State->assume(V.castAs<DefinedOrUnknownSVal>());
|
| NSErrorChecker.cpp | 228 setFlag<NSErrorOut>(state, state->getSVal(loc.castAs<Loc>()), C);
233 setFlag<CFErrorOut>(state, state->getSVal(loc.castAs<Loc>()), C);
|
