Home
last modified time | relevance | path

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

123

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp38 const Expr *FindExpr(const Expr *Ex) { in FindExpr()
39 if (!MatchesCriteria(Ex)) in FindExpr()
42 for (const Stmt *SubStmt : Ex->children()) in FindExpr()
47 return Ex; in FindExpr()
50 bool MatchesCriteria(const Expr *Ex) { in MatchesCriteria()
51 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
91 const Expr *Ex = cast<Expr>(Condition); in checkBranchCondition() local
97 if (PS->getStmt() == Ex) in checkBranchCondition()
101 Ex = FindIt.FindExpr(Ex); in checkBranchCondition()
106 bugreporter::trackExpressionValue(N, Ex, *R); in checkBranchCondition()
[all …]
H A DUndefResultChecker.cpp41 if (!isa<ArraySubscriptExpr>(Ex)) in isArrayIndexOutOfBounds()
44 SVal Loc = C.getSVal(Ex); in isArrayIndexOutOfBounds()
99 const Expr *Ex = nullptr; in checkPostStmt() local
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
111 if (Ex) { in checkPostStmt()
115 if (isArrayIndexOutOfBounds(C, Ex)) in checkPostStmt()
126 Ex = B->getRHS(); in checkPostStmt()
135 Ex = B->getRHS(); in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
166 Ex = B->getLHS(); in checkPostStmt()
[all …]
H A DObjCAtSyncChecker.cpp39 const Expr *Ex = S->getSynchExpr(); in checkPreStmt() local
41 SVal V = C.getSVal(Ex); in checkPreStmt()
51 bugreporter::trackExpressionValue(N, Ex, *report); in checkPreStmt()
75 bugreporter::trackExpressionValue(N, Ex, *report); in checkPreStmt()
H A DDereferenceChecker.cpp52 const Expr *Ex, const ProgramState *state,
63 const Expr *Ex, in AddDerefSource() argument
67 Ex = Ex->IgnoreParenLValueCasts(); in AddDerefSource()
68 switch (Ex->getStmtClass()) { in AddDerefSource()
72 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex); in AddDerefSource()
81 const MemberExpr *ME = cast<MemberExpr>(Ex); in AddDerefSource()
89 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex); in AddDerefSource()
H A DDeadStoresChecker.cpp104 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) { in LookThroughTransitiveAssignmentsAndCommaOperators() argument
105 while (Ex) { in LookThroughTransitiveAssignmentsAndCommaOperators()
107 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts()); in LookThroughTransitiveAssignmentsAndCommaOperators()
112 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
117 return Ex; in LookThroughTransitiveAssignmentsAndCommaOperators()
265 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, in CheckVarDecl() argument
281 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC); in CheckVarDecl()
367 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); in observeStmt() local
369 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) in observeStmt()
H A DUndefCapturedBlockVarChecker.cpp87 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) in checkPostStmt() local
88 R->addRange(Ex->getSourceRange()); in checkPostStmt()
H A DObjCUnusedIVarsChecker.cpp36 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) { in Scan() local
37 const ObjCIvarDecl *D = Ex->getDecl(); in Scan()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp270 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
305 QualType ExTy = Ex->getType(); in VisitCast()
345 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
352 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
373 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
850 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true)); in VisitGuardedExpr()
883 QualType T = Ex->getTypeOfArgument(); in VisitUnaryExprOrTypeTraitExpr()
887 if (Ex->getKind() == UETT_SizeOf) { in VisitUnaryExprOrTypeTraitExpr()
909 Bldr.generateNode(Ex, *I, state); in VisitUnaryExprOrTypeTraitExpr()
1020 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
[all …]
H A DExprEngineObjC.cpp21 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, in VisitLvalObjCIvarRefExpr() argument
26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
27 SVal location = state->getLValue(Ex->getDecl(), baseVal); in VisitLvalObjCIvarRefExpr()
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
35 getCheckerManager().runCheckersForPostStmt(Dst, dstIvar, Ex, *this); in VisitLvalObjCIvarRefExpr()
H A DExplodedGraph.cpp50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr() argument
51 if (!Ex->isLValue()) in isInterestingLValueExpr()
53 return isa<DeclRefExpr, MemberExpr, ObjCIvarRefExpr, ArraySubscriptExpr>(Ex); in isInterestingLValueExpr()
122 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect() local
123 if (!Ex) in shouldCollect()
129 if (isInterestingLValueExpr(Ex)) in shouldCollect()
137 if (!PM.isConsumedExpr(Ex)) in shouldCollect()
H A DExprEngine.cpp2232 if (!Ex) in RecoverCastedSymbol()
2250 Ex = CE->getSubExpr(); in RecoverCastedSymbol()
2254 QualType T = Ex->getType(); in RecoverCastedSymbol()
2260 return state->getSVal(Ex, LCtx); in RecoverCastedSymbol()
2293 Condition = Ex->IgnoreParens(); in ResolveCondition()
2764 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2769 assert(!Ex->isGLValue()); in VisitCommonDeclRefExpr()
2771 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
2776 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2836 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
[all …]
H A DBugReporterVisitors.cpp1964 Ex = Ex->IgnoreParenCasts(); in peelOffOuterExpr()
1965 if (const auto *FE = dyn_cast<FullExpr>(Ex)) in peelOffOuterExpr()
2002 if (auto *BO = dyn_cast<BinaryOperator>(Ex)) in peelOffOuterExpr()
2006 if (auto *UO = dyn_cast<UnaryOperator>(Ex)) { in peelOffOuterExpr()
2023 return Ex; in peelOffOuterExpr()
2747 bool ConditionBRVisitor::patternMatch(const Expr *Ex, in patternMatch() argument
2755 const Expr *OriginalExpr = Ex; in patternMatch()
2756 Ex = Ex->IgnoreParenCasts(); in patternMatch()
2759 FloatingLiteral>(Ex)) { in patternMatch()
2776 if (const auto *DR = dyn_cast<DeclRefExpr>(Ex)) { in patternMatch()
[all …]
H A DMemRegion.cpp245 const Expr *Ex, unsigned cnt, in ProfileRegion() argument
248 ID.AddPointer(Ex); in ProfileRegion()
254 ProfileRegion(ID, Ex, Cnt, superRegion); in Profile()
385 Expr const *Ex, in ProfileRegion() argument
387 ID.AddPointer(Ex); in ProfileRegion()
392 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
457 os << "alloca{S" << Ex->getID(getContext()) << ',' << Cnt << '}'; in dumpToStream()
486 << "S" << Ex->getID(getContext()) << '}'; in dumpToStream()
1097 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) { in getCXXStaticTempObjectRegion() argument
1099 Ex, getGlobalsRegion(MemRegion::GlobalInternalSpaceRegionKind, nullptr)); in getCXXStaticTempObjectRegion()
/llvm-project-15.0.7/clang/lib/Analysis/
H A DReachableCode.cpp34 static bool isEnumConstant(const Expr *Ex) { in isEnumConstant() 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()
194 if (const auto *Ex = dyn_cast<Expr>(S)) in isConfigurationValue() local
195 S = Ex->IgnoreImplicit(); in isConfigurationValue()
198 S = Ex->IgnoreCasts(); in isConfigurationValue()
207 S = Ex->IgnoreCasts(); in isConfigurationValue()
[all …]
H A DUninitializedValues.cpp236 while (Ex) { in stripCasts()
237 Ex = Ex->IgnoreParenNoopCasts(C); in stripCasts()
238 if (const auto *CE = dyn_cast<CastExpr>(Ex)) { in stripCasts()
240 Ex = CE->getSubExpr(); in stripCasts()
246 return Ex; in stripCasts()
438 const auto *UO = dyn_cast<UnaryOperator>(Ex); in VisitCallExpr()
440 Ex = UO->getSubExpr(); in VisitCallExpr()
441 classify(Ex, Ignore); in VisitCallExpr()
815 const Expr *Ex = stripCasts(C, O); in VisitGCCAsmStmt() local
820 Ex = stripCasts(C, UO->getSubExpr()); in VisitGCCAsmStmt()
[all …]
/llvm-project-15.0.7/clang/test/SemaCXX/
H A Dpr50497-crash-typeid.cpp9 class Ex { class
11 virtual ~Ex();
15 void Foo(Ex *ex) { in Foo()
/llvm-project-15.0.7/llvm/lib/Target/Hexagon/
H A DHexagonConstExtenders.cpp304 return Rs == Ex.Rs && S == Ex.S && Neg == Ex.Neg; in operator ==()
310 if (Rs != Ex.Rs) in operator <()
312 if (S != Ex.S) in operator <()
462 : Ex(E), HRI(I) {} in PrintExpr()
471 OS << printReg(P.Ex.Rs.Reg, &P.HRI, P.Ex.Rs.Sub); in operator <<()
1540 if (Ex.Rs.isSlot()) { in insertInitializer()
1549 if (Ex.trivial()) { in insertInitializer()
1554 if (Ex.Neg) { in insertInitializer()
1582 if (Ex.Neg) in insertInitializer()
1771 const ExtExpr &Ex = ExtI.second; (void)Ex; in replaceInstrExpr() local
[all …]
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h448 void VisitArrayInitLoopExpr(const ArrayInitLoopExpr *Ex, ExplodedNode *Pred,
452 void VisitArraySubscriptExpr(const ArraySubscriptExpr *Ex,
482 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
498 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
537 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
541 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
593 const Expr *Ex);
598 ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex,
H A DMemRegion.h481 const Expr *Ex; variable
484 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) { in AllocaRegion()
485 assert(Ex); in AllocaRegion()
488 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
493 const Expr *getExpr() const { return Ex; } in getExpr()
1219 Expr const *Ex; variable
1222 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) { in CXXTempObjectRegion()
1233 const Expr *getExpr() const { return Ex; } in getExpr()
1235 QualType getValueType() const override { return Ex->getType(); } in getValueType()
1403 const AllocaRegion *getAllocaRegion(const Expr *Ex, unsigned Cnt,
[all …]
H A DProgramState.h374 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
803 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() argument
805 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
812 if (const Expr *Ex = dyn_cast<Expr>(S)) { in getSValAsScalarOrLoc() local
813 QualType T = Ex->getType(); in getSValAsScalarOrLoc()
814 if (Ex->isGLValue() || Loc::isLocType(T) || in getSValAsScalarOrLoc()
/llvm-project-15.0.7/llvm/lib/ExecutionEngine/RuntimeDyld/
H A DRuntimeDyldMachO.h39 EHFrameRelatedSections(SID EH, SID T, SID Ex) in EHFrameRelatedSections()
40 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {} in EHFrameRelatedSections()
/llvm-project-15.0.7/llvm/tools/obj2yaml/
H A Dwasm2yaml.cpp321 WasmYAML::Export Ex; in dump() local
322 Ex.Name = Export.Name; in dump()
323 Ex.Kind = Export.Kind; in dump()
324 Ex.Index = Export.Index; in dump()
325 ExportSec->Exports.push_back(Ex); in dump()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp230 const Expr *Ex) const { in processObjCLiterals()
233 for (const Stmt *Child : Ex->children()) { in processObjCLiterals()
250 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
251 QualType ResultTy = Ex->getType(); in processObjCLiterals()
271 void RetainCountChecker::checkPostStmt(const ObjCBoxedExpr *Ex, in checkPostStmt() argument
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
277 QualType ResultTy = Ex->getType(); in checkPostStmt()
691 const Expr *Ex = CallOrMsg.getOriginExpr(); in checkSummary() local
692 assert(Ex); in checkSummary()
693 ResultTy = GetReturnType(Ex, C.getASTContext()); in checkSummary()
/llvm-project-15.0.7/clang/test/CXX/dcl.dcl/dcl.spec/dcl.type/
H A Dp3-0x.cpp37 void g() throw (struct Ex {}) { // expected-error {{'Ex' cannot be defined in a type specifier}} in g()
/llvm-project-15.0.7/mlir/test/IR/
H A Dpretty-region-args.mlir22 // CHECK-NEXT: ^bb{{.*}}(%a_.5Ex: i32, %_0: i32, %arg0: index):

123