/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UndefBranchChecker.cpp | 36 const Expr *FindExpr(const Expr *Ex) { argument 37 if (!MatchesCriteria(Ex)) 40 for (Stmt::const_child_iterator I = Ex->child_begin(), 41 E = Ex->child_end();I!=E;++I) 47 return Ex; 50 bool MatchesCriteria(const Expr *Ex) { argument 51 return St->getSVal(Ex, LCtx).isUndef(); 88 const Expr *Ex = cast<Expr>(Condition); local 94 if (PS->getStmt() == Ex) 98 Ex [all...] |
H A D | UndefResultChecker.cpp | 62 const Expr *Ex = NULL; local 66 Ex = B->getLHS()->IgnoreParenCasts(); 70 Ex = B->getRHS()->IgnoreParenCasts(); 74 if (Ex) { 87 if (Ex) { 88 report->addRange(Ex->getSourceRange()); 89 bugreporter::trackNullOrUndefValue(N, Ex, *report);
|
H A D | ObjCAtSyncChecker.cpp | 40 const Expr *Ex = S->getSynchExpr(); local 42 SVal V = state->getSVal(Ex, C.getLocationContext()); 52 bugreporter::trackNullOrUndefValue(N, Ex, *report); 75 bugreporter::trackNullOrUndefValue(N, Ex, *report);
|
H A D | DereferenceChecker.cpp | 45 const Expr *Ex, const ProgramState *state, 54 const Expr *Ex, 58 Ex = Ex->IgnoreParenLValueCasts(); 59 switch (Ex->getStmtClass()) { 63 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex); 72 const MemberExpr *ME = cast<MemberExpr>(Ex); 80 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex); 52 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
|
H A D | UndefCapturedBlockVarChecker.cpp | 92 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) 93 R->addRange(Ex->getSourceRange());
|
H A D | DeadStoresChecker.cpp | 103 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) { argument 104 while (Ex) { 106 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts()); 110 Ex = BO->getRHS(); 114 Ex = BO->getRHS(); 119 return Ex; 205 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, argument 220 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC); 304 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); local 306 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) [all...] |
H A D | IdempotentOperationChecker.cpp | 93 static bool CanVary(const Expr *Ex, 619 bool IdempotentOperationChecker::CanVary(const Expr *Ex, argument 622 Ex = Ex->IgnoreParenCasts(); 624 if (Ex->getLocStart().isMacroID()) 627 switch (Ex->getStmtClass()) { 659 cast<const UnaryExprOrTypeTraitExpr>(Ex); 666 return !isConstantOrPseudoConstant(cast<DeclRefExpr>(Ex), AC); 670 const BinaryOperator *B = cast<const BinaryOperator>(Ex); 682 return CanVary(cast<UnaryOperator>(Ex) [all...] |
H A D | ObjCUnusedIVarsChecker.cpp | 37 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) { 38 const ObjCIvarDecl *D = Ex->getDecl();
|
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineC.cpp | 220 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, argument 232 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); 239 QualType ExTy = Ex->getType(); 275 // Copy the SVal of Ex to CastE. 278 SVal V = state->getSVal(Ex, LCtx); 316 SVal V = state->getSVal(Ex, LCtx); 325 SVal val = state->getSVal(Ex, LCtx); 333 SVal val = state->getSVal(Ex, LCtx); 626 void ExprEngine::VisitGuardedExpr(const Expr *Ex, argument 681 V = svalBuilder.conjureSymbolVal(0, Ex, LCt 707 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 761 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 779 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 806 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 818 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 877 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local [all...] |
H A D | ExplodedGraph.cpp | 59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { argument 60 if (!Ex->isLValue()) 62 return isa<DeclRefExpr>(Ex) || 63 isa<MemberExpr>(Ex) || 64 isa<ObjCIvarRefExpr>(Ex); 132 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); local 133 if (!Ex) 139 if (isInterestingLValueExpr(Ex)) 147 if (!PM.isConsumedExpr(Ex))
|
H A D | ExprEngineObjC.cpp | 22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, argument 27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); 28 SVal location = state->getLValue(Ex->getDecl(), baseVal); 32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); 36 getCheckerManager().runCheckersForPostStmt(Dst, dstIvar, Ex, *this);
|
H A D | BugReporterVisitors.cpp | 862 static const Expr *peelOffOuterExpr(const Expr *Ex, argument 864 Ex = Ex->IgnoreParenCasts(); 865 if (const ExprWithCleanups *EWC = dyn_cast<ExprWithCleanups>(Ex)) 867 if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(Ex)) 871 if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(Ex)) { 892 return Ex; 902 if (const Expr *Ex = dyn_cast<Expr>(S)) { 903 Ex = Ex 1247 const Expr *Ex = Cond; local 1273 patternMatch(const Expr *Ex, raw_ostream &Out, BugReporterContext &BRC, BugReport &report, const ExplodedNode *N, Optional<bool> &prunable) argument [all...] |
H A D | ExprEngine.cpp | 173 const Expr *Ex, 175 SVal V = State->getSVal(Ex, LC); 181 Result = Ex; 197 const Expr *Inner = Ex->IgnoreParens(); 844 const Expr *Ex = cast<Expr>(S); local 845 QualType resultType = Ex->getType(); 851 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType, 853 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); 1300 const Expr *Ex = dyn_cast<Expr>(Condition); local 1301 if (!Ex) 171 createTemporaryRegionIfNeeded(ProgramStateRef State, const LocationContext *LC, const Expr *Ex, const Expr *Result) argument 1672 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 2141 evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) argument [all...] |
H A D | SValBuilder.cpp | 110 const Expr *Ex, 113 QualType T = Ex->getType(); 117 QualType ExType = Ex->getType(); 118 if (Ex->isGLValue()) 121 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); 109 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument
|
H A D | MemRegion.cpp | 279 const Expr *Ex, unsigned cnt, 282 ID.AddPointer(Ex); 288 ProfileRegion(ID, Ex, Cnt, superRegion); 400 Expr const *Ex, 402 ID.AddPointer(Ex); 407 ProfileRegion(ID, Ex, getSuperRegion()); 457 os << "alloca{" << (const void*) Ex << ',' << Cnt << '}'; 486 << (const void*) Ex << '}'; 878 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) { argument 880 Ex, getGlobalsRegio 278 ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, unsigned cnt, const MemRegion *superRegion) argument 399 ProfileRegion(llvm::FoldingSetNodeID &ID, Expr const *Ex, const MemRegion *sReg) argument [all...] |
H A D | RegionStore.cpp | 389 const Expr *Ex, 946 const Expr *Ex; member in class:__anon3650::invalidateRegionsWorker 963 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r){} 1054 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); 1075 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1084 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1090 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1098 const Expr *Ex, 1106 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx, 1154 const Expr *Ex, unsigne 1097 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1152 invalidateRegions(Store store, ArrayRef<SVal> Values, const Expr *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) argument [all...] |
/freebsd-10.3-release/contrib/llvm/lib/ExecutionEngine/RuntimeDyld/ |
H A D | RuntimeDyldMachO.h | 75 EHFrameRelatedSections(SID EH, SID T, SID Ex) argument 76 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {}
|
/freebsd-10.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 317 void VisitLvalArraySubscriptExpr(const ArraySubscriptExpr *Ex, 343 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred, 359 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R, 394 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred, 398 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, 438 const Expr *Ex); 495 // same as state->getLValue(Ex). 496 /// Simulate a read of the result of Ex.
|
H A D | MemRegion.h | 298 /// (system or internal). Ex: Const global scalars would be modeled as part of 453 const Expr *Ex; member in class:clang::ento::AllocaRegion 456 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} 460 const Expr *getExpr() const { return Ex; } 468 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, 1055 Expr const *Ex; member in class:clang::ento::CXXTempObjectRegion 1058 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) {} 1064 const Expr *getExpr() const { return Ex; } 1067 return Ex->getType(); 1183 const AllocaRegion *getAllocaRegion(const Expr *Ex, unsigne [all...] |
H A D | ProgramState.h | 277 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 694 inline SVal ProgramState::getSVal(const Stmt *Ex, argument 696 return Env.getSVal(EnvironmentEntry(Ex, LCtx), 703 if (const Expr *Ex = dyn_cast<Expr>(S)) { 704 QualType T = Ex->getType(); 705 if (Ex->isGLValue() || Loc::isLocType(T) ||
|
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/Analysis/ |
H A D | PseudoConstantAnalysis.cpp | 88 if (const Expr *Ex = dyn_cast<Expr>(Head)) 89 Head = Ex->IgnoreParenCasts();
|
H A D | UninitializedValues.cpp | 276 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { argument 277 while (Ex) { 278 Ex = Ex->IgnoreParenNoopCasts(C); 279 if (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) { 281 Ex = CE->getSubExpr(); 287 return Ex;
|
H A D | ReachableCode.cpp | 189 if (const Expr *Ex = dyn_cast<Expr>(S)) 190 S = Ex->IgnoreParenImpCasts();
|
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/Sema/ |
H A D | SemaChecking.cpp | 2994 const Expr *Ex = getDataArg(argIndex); local 2998 if (AT.isValid() && !AT.matchesType(S.Context, Ex->getType())) 3001 << AT.getRepresentativeType(S.Context) << Ex->getType() 3003 << Ex->getSourceRange(); 3006 Ex = getDataArg(argIndex + 1); 3008 if (AT2.isValid() && !AT2.matchesType(S.Context, Ex->getType())) 3011 << AT2.getRepresentativeType(S.Context) << Ex->getType() 3013 << Ex->getSourceRange(); 3499 const Expr *Ex = getDataArg(argIndex); local 3500 if (!Ex) 3786 ignoreLiteralAdditions(const Expr *Ex, ASTContext &Ctx) argument 5209 IsImplicitBoolFloatConversion(Sema &S, Expr *Ex, bool ToBool) argument [all...] |
H A D | SemaExprCXX.cpp | 554 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) { argument 556 if (Ex) { 568 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens())) 587 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope); 590 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex, argument 597 if (Ex && !Ex->isTypeDependent()) { 598 ExprResult ExRes = CheckCXXThrowOperand(OpLoc, Ex, IsThrownVarInScope); 601 Ex = ExRes.take(); 604 return Owned(new (Context) CXXThrowExpr(Ex, Contex 2227 ExprResult Ex = Owned(ExE); local [all...] |