Home
last modified time | relevance | path

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

1234

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A 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::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()
167 Ex = B->getLHS(); in checkPostStmt()
[all …]
H A 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()
H A DObjCAtSyncChecker.cpp40 const Expr *Ex = S->getSynchExpr(); in checkPreStmt() local
42 SVal V = C.getSVal(Ex); in checkPreStmt()
52 bugreporter::trackExpressionValue(N, Ex, *report); in checkPreStmt()
76 bugreporter::trackExpressionValue(N, Ex, *report); in checkPreStmt()
H A 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()
209 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, in CheckVarDecl() argument
225 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC); in CheckVarDecl()
311 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); in observeStmt() local
313 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) in observeStmt()
H A DUndefCapturedBlockVarChecker.cpp88 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) in checkPostStmt() local
89 R->addRange(Ex->getSourceRange()); in checkPostStmt()
H A DObjCUnusedIVarsChecker.cpp37 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) { in Scan() local
38 const ObjCIvarDecl *D = Ex->getDecl(); in Scan()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp268 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
317 QualType ExTy = Ex->getType(); in VisitCast()
356 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
363 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
385 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
806 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true)); in VisitGuardedExpr()
840 QualType T = Ex->getTypeOfArgument(); in VisitUnaryExprOrTypeTraitExpr()
844 if (Ex->getKind() == UETT_SizeOf) { in VisitUnaryExprOrTypeTraitExpr()
866 Bldr.generateNode(Ex, *I, state); in VisitUnaryExprOrTypeTraitExpr()
977 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
[all …]
H A DExplodedGraph.cpp50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr() argument
51 if (!Ex->isLValue()) in isInterestingLValueExpr()
53 return isa<DeclRefExpr>(Ex) || in isInterestingLValueExpr()
54 isa<MemberExpr>(Ex) || in isInterestingLValueExpr()
55 isa<ObjCIvarRefExpr>(Ex); in isInterestingLValueExpr()
124 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect() local
125 if (!Ex) in shouldCollect()
131 if (isInterestingLValueExpr(Ex)) in shouldCollect()
139 if (!PM.isConsumedExpr(Ex)) in shouldCollect()
H A 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()
H A DExprEngine.cpp1940 if (!Ex) in RecoverCastedSymbol()
1958 Ex = CE->getSubExpr(); in RecoverCastedSymbol()
1962 QualType T = Ex->getType(); in RecoverCastedSymbol()
1968 return state->getSVal(Ex, LCtx); in RecoverCastedSymbol()
2001 Condition = Ex->IgnoreParens(); in ResolveCondition()
2052 Condition = Ex->IgnoreParens(); in processBranch()
2416 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2421 assert(!Ex->isGLValue()); in VisitCommonDeclRefExpr()
2423 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
2428 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
[all …]
H A DBugReporterVisitors.cpp1524 Ex = Ex->IgnoreParenCasts(); in peelOffOuterExpr()
1525 if (const auto *FE = dyn_cast<FullExpr>(Ex)) in peelOffOuterExpr()
1583 return Ex; in peelOffOuterExpr()
1976 const Expr *OriginalExpr = Ex; in patternMatch()
1977 Ex = Ex->IgnoreParenCasts(); in patternMatch()
1982 SourceLocation LocEnd = Ex->getEndLoc(); in patternMatch()
1984 (isa<GNUNullExpr>(Ex) || in patternMatch()
1985 isa<ObjCBoolLiteralExpr>(Ex) || in patternMatch()
1986 isa<CXXBoolLiteralExpr>(Ex) || in patternMatch()
1987 isa<IntegerLiteral>(Ex) || in patternMatch()
[all …]
H A DMemRegion.cpp267 const Expr *Ex, unsigned cnt, in ProfileRegion() argument
270 ID.AddPointer(Ex); in ProfileRegion()
276 ProfileRegion(ID, Ex, Cnt, superRegion); in Profile()
388 Expr const *Ex, in ProfileRegion() argument
390 ID.AddPointer(Ex); in ProfileRegion()
395 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
460 os << "alloca{S" << Ex->getID(getContext()) << ',' << Cnt << '}'; in dumpToStream()
489 << "S" << Ex->getID(getContext()) << '}'; in dumpToStream()
966 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) { in getCXXStaticTempObjectRegion() argument
968 Ex, getGlobalsRegion(MemRegion::GlobalInternalSpaceRegionKind, nullptr)); in getCXXStaticTempObjectRegion()
H A DSValBuilder.cpp137 const Expr *Ex, in conjureSymbolVal() argument
140 QualType T = Ex->getType(); in conjureSymbolVal()
147 QualType ExType = Ex->getType(); in conjureSymbolVal()
148 if (Ex->isGLValue()) in conjureSymbolVal()
151 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); in conjureSymbolVal()
/freebsd-12.1/contrib/llvm/tools/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()
198 if (const Expr *Ex = dyn_cast<Expr>(S)) in isConfigurationValue() local
199 S = Ex->IgnoreCasts(); in isConfigurationValue()
207 if (const Expr *Ex = dyn_cast<Expr>(S)) in isConfigurationValue() local
208 S = Ex->IgnoreCasts(); in isConfigurationValue()
[all …]
H A DUninitializedValues.cpp297 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { in stripCasts() argument
298 while (Ex) { in stripCasts()
299 Ex = Ex->IgnoreParenNoopCasts(C); in stripCasts()
300 if (const auto *CE = dyn_cast<CastExpr>(Ex)) { in stripCasts()
302 Ex = CE->getSubExpr(); in stripCasts()
308 return Ex; in stripCasts()
481 const Expr *Ex = stripCasts(DC->getParentASTContext(), *I); in VisitCallExpr() local
482 const auto *UO = dyn_cast<UnaryOperator>(Ex); in VisitCallExpr()
484 Ex = UO->getSubExpr(); in VisitCallExpr()
485 classify(Ex, Ignore); in VisitCallExpr()
/freebsd-12.1/contrib/llvm/lib/Target/Hexagon/
H A DHexagonConstExtenders.cpp303 return Rs == Ex.Rs && S == Ex.S && Neg == Ex.Neg; in operator ==()
309 if (Rs != Ex.Rs) in operator <()
311 if (S != Ex.S) in operator <()
460 : Ex(E), HRI(I) {} in PrintExpr()
468 if (P.Ex.Rs.Reg != 0) in operator <<()
469 OS << printReg(P.Ex.Rs.Reg, &P.HRI, P.Ex.Rs.Sub); in operator <<()
1538 if (Ex.Rs.isSlot()) { in insertInitializer()
1547 if (Ex.trivial()) { in insertInitializer()
1552 if (Ex.Neg) { in insertInitializer()
1751 const ExtExpr &Ex = ExtI.second; (void)Ex; in replaceInstrExpr() local
[all …]
/freebsd-12.1/contrib/llvm/include/llvm/Demangle/
H A DItaniumDemangle.h3856 if (Ex == nullptr) in parseNewExpr()
3858 Names.push_back(Ex); in parseNewExpr()
4230 return Ex; in parseExpr()
4264 return Ex; in parseExpr()
4274 return Ex; in parseExpr()
4423 return Ex; in parseExpr()
4459 return Ex; in parseExpr()
4501 return Ex; in parseExpr()
4527 return Ex; in parseExpr()
4550 return Ex; in parseExpr()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h407 void VisitArraySubscriptExpr(const ArraySubscriptExpr *Ex,
437 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
453 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
492 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
496 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
545 const Expr *Ex);
558 ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex,
H A DMemRegion.h479 const Expr *Ex; variable
482 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) { in AllocaRegion()
483 assert(Ex); in AllocaRegion()
486 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
490 const Expr *getExpr() const { return Ex; } in getExpr()
1128 Expr const *Ex; variable
1131 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) { in CXXTempObjectRegion()
1141 const Expr *getExpr() const { return Ex; } in getExpr()
1143 QualType getValueType() const override { return Ex->getType(); } in getValueType()
1297 const AllocaRegion *getAllocaRegion(const Expr *Ex, unsigned Cnt,
[all …]
H A DProgramState.h332 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
789 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() argument
791 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
798 if (const Expr *Ex = dyn_cast<Expr>(S)) { in getSValAsScalarOrLoc() local
799 QualType T = Ex->getType(); in getSValAsScalarOrLoc()
800 if (Ex->isGLValue() || Loc::isLocType(T) || in getSValAsScalarOrLoc()
/freebsd-12.1/usr.bin/vi/catalog/
H A Dzh_CN.UTF-8.base85 092 "Ex 命令失败：等待中的命令已丢弃"
86 093 "Ex 命令失败：键映射已丢弃"
/freebsd-12.1/contrib/llvm/lib/ExecutionEngine/RuntimeDyld/
H A DRuntimeDyldMachO.h40 EHFrameRelatedSections(SID EH, SID T, SID Ex) in EHFrameRelatedSections()
41 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {} in EHFrameRelatedSections()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp285 const Expr *Ex) const { in processObjCLiterals()
288 for (const Stmt *Child : Ex->children()) { in processObjCLiterals()
305 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
306 QualType ResultTy = Ex->getType(); in processObjCLiterals()
326 void RetainCountChecker::checkPostStmt(const ObjCBoxedExpr *Ex, in checkPostStmt() argument
331 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
332 QualType ResultTy = Ex->getType(); in checkPostStmt()
707 const Expr *Ex = CallOrMsg.getOriginExpr(); in checkSummary() local
708 assert(Ex); in checkSummary()
709 ResultTy = GetReturnType(Ex, C.getASTContext()); in checkSummary()
/freebsd-12.1/contrib/nvi/
H A DREADME15 docs .......... Ex/vi documentation, both current and historic.
16 ex ............ Ex source code.

1234