Home
last modified time | relevance | path

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

12345678910>>...12

/external/clang/lib/StaticAnalyzer/Checkers/
DUndefBranchChecker.cpp37 const Expr *FindExpr(const Expr *Ex) { in FindExpr()
38 if (!MatchesCriteria(Ex)) in FindExpr()
41 for (const Stmt *SubStmt : Ex->children()) in FindExpr()
46 return Ex; in FindExpr()
49 bool MatchesCriteria(const Expr *Ex) { in MatchesCriteria()
50 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
87 const Expr *Ex = cast<Expr>(Condition); in checkBranchCondition() local
93 if (PS->getStmt() == Ex) in checkBranchCondition()
97 Ex = FindIt.FindExpr(Ex); in checkBranchCondition()
101 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()
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()
DDereferenceChecker.cpp46 const Expr *Ex, const ProgramState *state,
55 const Expr *Ex, in AddDerefSource() argument
59 Ex = Ex->IgnoreParenLValueCasts(); in AddDerefSource()
60 switch (Ex->getStmtClass()) { in AddDerefSource()
64 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex); in AddDerefSource()
73 const MemberExpr *ME = cast<MemberExpr>(Ex); in AddDerefSource()
81 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex); in AddDerefSource()
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()
310 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); in observeStmt() local
312 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) in observeStmt()
/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()
357 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
366 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
374 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
670 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr() argument
723 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, 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.cpp907 static const Expr *peelOffOuterExpr(const Expr *Ex, in peelOffOuterExpr() argument
909 Ex = Ex->IgnoreParenCasts(); in peelOffOuterExpr()
910 if (const ExprWithCleanups *EWC = dyn_cast<ExprWithCleanups>(Ex)) in peelOffOuterExpr()
912 if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(Ex)) in peelOffOuterExpr()
914 if (auto *POE = dyn_cast<PseudoObjectExpr>(Ex)) { in peelOffOuterExpr()
925 if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(Ex)) { in peelOffOuterExpr()
946 return Ex; in peelOffOuterExpr()
956 if (const Expr *Ex = dyn_cast<Expr>(S)) { in trackNullOrUndefValue() local
957 Ex = Ex->IgnoreParenCasts(); in trackNullOrUndefValue()
958 const Expr *PeeledEx = peelOffOuterExpr(Ex, N); 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.cpp186 const Expr *Ex, in createTemporaryRegionIfNeeded() argument
188 SVal V = State->getSVal(Ex, LC); in createTemporaryRegionIfNeeded()
194 Result = Ex; in createTemporaryRegionIfNeeded()
210 const Expr *Inner = Ex->IgnoreParens(); in createTemporaryRegionIfNeeded()
995 const Expr *Ex = cast<Expr>(S); in Visit() local
996 QualType resultType = Ex->getType(); in Visit()
1002 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
1005 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
1486 const Expr *Ex = dyn_cast<Expr>(Condition); in RecoverCastedSymbol() local
1487 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/llvm/include/llvm/DebugInfo/PDB/Raw/
DModInfo.h56 ModuleInfoEx(const ModuleInfoEx &Ex) in ModuleInfoEx()
57 : Info(Ex.Info), SourceFiles(Ex.SourceFiles) {} in ModuleInfoEx()
/external/autotest/test_suites/
Dcontrol.moblab18 Ex: x86-mario-release/R17-1412.33.0-a1-b29
19 @param board: The board to test on. Ex: x86-mario
Dcontrol.telemetry_unit18 Ex: x86-mario-release/R17-1412.33.0-a1-b29
19 @param board: The board to test on. Ex: x86-mario
Dcontrol.moblab_quick18 Ex: x86-mario-release/R17-1412.33.0-a1-b29
19 @param board: The board to test on. Ex: x86-mario
Dcontrol.telemetry_unit_server18 Ex: x86-mario-release/R17-1412.33.0-a1-b29
19 @param board: The board to test on. Ex: x86-mario
Dcontrol.dummyflake18 Ex: x86-mario-release/R17-1412.33.0-a1-b29
19 @param board: The board to test on. Ex: x86-mario
Dcontrol.hardware_storagequal_quick17 Ex: x86-mario-release/R17-1412.33.0-a1-b29
18 @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
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.provision18 Ex: x86-mario-release/R17-1412.33.0-a1-b29
19 @param board: The board to test on. Ex: x86-mario
Dcontrol.partners18 Ex: x86-mario-release/R17-1412.33.0-a1-b29
19 @param board: The board to test on. Ex: x86-mario
Dcontrol.graphics_browser20 Ex: x86-mario-release/R17-1412.33.0-a1-b29
21 @param board: The board to test on. Ex: x86-mario
Dcontrol.audio18 Ex: x86-mario-release/R17-1412.33.0-a1-b29
19 @param board: The board to test on. Ex: x86-mario

12345678910>>...12