Home
last modified time | relevance | path

Searched refs:Ex (Results 1 – 25 of 221) sorted by relevance

123456789

/external/clang/lib/StaticAnalyzer/Checkers/
DUndefBranchChecker.cpp36 const Expr *FindExpr(const Expr *Ex) { in FindExpr()
37 if (!MatchesCriteria(Ex)) in FindExpr()
40 for (const Stmt *SubStmt : Ex->children()) in FindExpr()
45 return Ex; in FindExpr()
48 bool MatchesCriteria(const Expr *Ex) { in MatchesCriteria()
49 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
86 const Expr *Ex = cast<Expr>(Condition); in checkBranchCondition() local
92 if (PS->getStmt() == Ex) in checkBranchCondition()
96 Ex = FindIt.FindExpr(Ex); in checkBranchCondition()
100 bugreporter::trackNullOrUndefValue(N, Ex, *R); in checkBranchCondition()
[all …]
DUndefResultChecker.cpp63 const Expr *Ex = nullptr; in checkPostStmt() local
67 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
71 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
75 if (Ex) { in checkPostStmt()
88 if (Ex) { in checkPostStmt()
89 report->addRange(Ex->getSourceRange()); in checkPostStmt()
90 bugreporter::trackNullOrUndefValue(N, Ex, *report); in checkPostStmt()
DDereferenceChecker.cpp47 const Expr *Ex, const ProgramState *state,
56 const Expr *Ex, in AddDerefSource() argument
60 Ex = Ex->IgnoreParenLValueCasts(); in AddDerefSource()
61 switch (Ex->getStmtClass()) { in AddDerefSource()
65 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex); in AddDerefSource()
74 const MemberExpr *ME = cast<MemberExpr>(Ex); in AddDerefSource()
82 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex); in AddDerefSource()
DObjCAtSyncChecker.cpp40 const Expr *Ex = S->getSynchExpr(); in checkPreStmt() local
42 SVal V = state->getSVal(Ex, C.getLocationContext()); in checkPreStmt()
52 bugreporter::trackNullOrUndefValue(N, Ex, *report); in checkPreStmt()
76 bugreporter::trackNullOrUndefValue(N, Ex, *report); in checkPreStmt()
DDeadStoresChecker.cpp103 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) { in LookThroughTransitiveAssignmentsAndCommaOperators() argument
104 while (Ex) { in LookThroughTransitiveAssignmentsAndCommaOperators()
106 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts()); in LookThroughTransitiveAssignmentsAndCommaOperators()
110 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
114 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
119 return Ex; in LookThroughTransitiveAssignmentsAndCommaOperators()
208 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, in CheckVarDecl() argument
224 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC); in CheckVarDecl()
308 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); in observeStmt() local
310 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) in observeStmt()
DUndefCapturedBlockVarChecker.cpp90 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) in checkPostStmt() local
91 R->addRange(Ex->getSourceRange()); in checkPostStmt()
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp249 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast() argument
261 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast()
268 QualType ExTy = Ex->getType(); in VisitCast()
307 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
346 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
355 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
363 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
659 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr() argument
712 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in VisitGuardedExpr()
716 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true)); in VisitGuardedExpr()
[all …]
DExplodedGraph.cpp59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr() argument
60 if (!Ex->isLValue()) in isInterestingLValueExpr()
62 return isa<DeclRefExpr>(Ex) || in isInterestingLValueExpr()
63 isa<MemberExpr>(Ex) || in isInterestingLValueExpr()
64 isa<ObjCIvarRefExpr>(Ex); in isInterestingLValueExpr()
133 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect() local
134 if (!Ex) in shouldCollect()
140 if (isInterestingLValueExpr(Ex)) in shouldCollect()
148 if (!PM.isConsumedExpr(Ex)) in shouldCollect()
DBugReporterVisitors.cpp858 static const Expr *peelOffOuterExpr(const Expr *Ex, in peelOffOuterExpr() argument
860 Ex = Ex->IgnoreParenCasts(); in peelOffOuterExpr()
861 if (const ExprWithCleanups *EWC = dyn_cast<ExprWithCleanups>(Ex)) in peelOffOuterExpr()
863 if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(Ex)) in peelOffOuterExpr()
867 if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(Ex)) { in peelOffOuterExpr()
888 return Ex; in peelOffOuterExpr()
898 if (const Expr *Ex = dyn_cast<Expr>(S)) { in trackNullOrUndefValue() local
899 Ex = Ex->IgnoreParenCasts(); in trackNullOrUndefValue()
900 const Expr *PeeledEx = peelOffOuterExpr(Ex, N); in trackNullOrUndefValue()
901 if (Ex != PeeledEx) in trackNullOrUndefValue()
[all …]
DExprEngineObjC.cpp22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, in VisitLvalObjCIvarRefExpr() argument
27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
28 SVal location = state->getLValue(Ex->getDecl(), baseVal); in VisitLvalObjCIvarRefExpr()
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
36 getCheckerManager().runCheckersForPostStmt(Dst, dstIvar, Ex, *this); in VisitLvalObjCIvarRefExpr()
DExprEngine.cpp185 const Expr *Ex, in createTemporaryRegionIfNeeded() argument
187 SVal V = State->getSVal(Ex, LC); in createTemporaryRegionIfNeeded()
193 Result = Ex; in createTemporaryRegionIfNeeded()
209 const Expr *Inner = Ex->IgnoreParens(); in createTemporaryRegionIfNeeded()
985 const Expr *Ex = cast<Expr>(S); in Visit() local
986 QualType resultType = Ex->getType(); in Visit()
992 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
995 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
1470 const Expr *Ex = dyn_cast<Expr>(Condition); in RecoverCastedSymbol() local
1471 if (!Ex) in RecoverCastedSymbol()
[all …]
/external/clang/lib/Analysis/
DReachableCode.cpp34 static bool isEnumConstant(const Expr *Ex) { in isEnumConstant() argument
35 const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex); in isEnumConstant()
41 static bool isTrivialExpression(const Expr *Ex) { in isTrivialExpression() argument
42 Ex = Ex->IgnoreParenCasts(); in isTrivialExpression()
43 return isa<IntegerLiteral>(Ex) || isa<StringLiteral>(Ex) || in isTrivialExpression()
44 isa<CXXBoolLiteralExpr>(Ex) || isa<ObjCBoolLiteralExpr>(Ex) || in isTrivialExpression()
45 isa<CharacterLiteral>(Ex) || in isTrivialExpression()
46 isEnumConstant(Ex); in isTrivialExpression()
167 if (const Expr *Ex = dyn_cast<Expr>(S)) in isConfigurationValue() local
168 S = Ex->IgnoreCasts(); in isConfigurationValue()
[all …]
DUninitializedValues.cpp277 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { in stripCasts() argument
278 while (Ex) { in stripCasts()
279 Ex = Ex->IgnoreParenNoopCasts(C); in stripCasts()
280 if (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) { in stripCasts()
282 Ex = CE->getSubExpr(); in stripCasts()
288 return Ex; in stripCasts()
463 const Expr *Ex = stripCasts(DC->getParentASTContext(), *I); in VisitCallExpr() local
464 const UnaryOperator *UO = dyn_cast<UnaryOperator>(Ex); in VisitCallExpr()
466 Ex = UO->getSubExpr(); in VisitCallExpr()
467 classify(Ex, Ignore); in VisitCallExpr()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h328 void VisitLvalArraySubscriptExpr(const ArraySubscriptExpr *Ex,
358 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
374 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
409 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
413 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
461 const Expr *Ex);
/external/autotest/test_suites/
Dcontrol.wifichaos16 Ex: x86-mario-release/R17-1412.33.0-a1-b29
17 @param board: The board to test on. Ex: x86-mario
Dcontrol.dummyflake19 Ex: x86-mario-release/R17-1412.33.0-a1-b29
20 @param board: The board to test on. Ex: x86-mario
Dcontrol.hwqual16 Ex: x86-mario-release/R17-1412.33.0-a1-b29
17 @param board: The board to test on. Ex: x86-mario
Dcontrol.power_build16 Ex: x86-mario-release/R17-1412.33.0-a1-b29
17 @param board: The board to test on. Ex: x86-mario
Dcontrol.partners19 Ex: x86-mario-release/R17-1412.33.0-a1-b29
20 @param board: The board to test on. Ex: x86-mario
Dcontrol.moblab_quick19 Ex: x86-mario-release/R17-1412.33.0-a1-b29
20 @param board: The board to test on. Ex: x86-mario
Dcontrol.moblab19 Ex: x86-mario-release/R17-1412.33.0-a1-b29
20 @param board: The board to test on. Ex: x86-mario
Dcontrol.audio19 Ex: x86-mario-release/R17-1412.33.0-a1-b29
20 @param board: The board to test on. Ex: x86-mario
Dcontrol.telemetry_unit19 Ex: x86-mario-release/R17-1412.33.0-a1-b29
20 @param board: The board to test on. Ex: x86-mario
Dcontrol.hardware_memoryqual16 Ex: x86-mario-release/R17-1412.33.0-a1-b29
17 @param board: The board to test on. Ex: x86-mario
Dcontrol.cellular_modem_repair15 Ex: x86-mario-release/R17-1412.33.0-a1-b29
16 @param board: The board to test on. Ex: x86-mario

123456789