Searched refs:Ex (Results 1 - 25 of 46) sorted by relevance

12

/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp36 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 DUndefResultChecker.cpp62 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 DObjCAtSyncChecker.cpp40 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 DDereferenceChecker.cpp45 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 DUndefCapturedBlockVarChecker.cpp92 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD))
93 R->addRange(Ex->getSourceRange());
H A DDeadStoresChecker.cpp103 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 DIdempotentOperationChecker.cpp93 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 DObjCUnusedIVarsChecker.cpp37 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 DExprEngineC.cpp220 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 DExplodedGraph.cpp59 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 DExprEngineObjC.cpp22 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 DBugReporterVisitors.cpp862 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 DExprEngine.cpp173 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 DSValBuilder.cpp110 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 DMemRegion.cpp279 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 DRegionStore.cpp389 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 DRuntimeDyldMachO.h75 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 DExprEngine.h317 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 DMemRegion.h298 /// (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 DProgramState.h277 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 DPseudoConstantAnalysis.cpp88 if (const Expr *Ex = dyn_cast<Expr>(Head))
89 Head = Ex->IgnoreParenCasts();
H A DUninitializedValues.cpp276 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 DReachableCode.cpp189 if (const Expr *Ex = dyn_cast<Expr>(S))
190 S = Ex->IgnoreParenImpCasts();
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/Sema/
H A DSemaChecking.cpp2994 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 DSemaExprCXX.cpp554 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...]

Completed in 154 milliseconds

12