| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| ObjCAtSyncChecker.cpp | 39 const Expr *Ex = S->getSynchExpr();
41 SVal V = C.getSVal(Ex);
51 bugreporter::trackExpressionValue(N, Ex, *report);
75 bugreporter::trackExpressionValue(N, Ex, *report);
|
| UndefBranchChecker.cpp | 38 const Expr *FindExpr(const Expr *Ex) {
39 if (!MatchesCriteria(Ex))
42 for (const Stmt *SubStmt : Ex->children())
47 return Ex;
50 bool MatchesCriteria(const Expr *Ex) {
51 return St->getSVal(Ex, LCtx).isUndef();
91 const Expr *Ex = cast<Expr>(Condition);
97 if (PS->getStmt() == Ex)
101 Ex = FindIt.FindExpr(Ex);
[all...] |
| UndefResultChecker.cpp | 38 static bool isArrayIndexOutOfBounds(CheckerContext &C, const Expr *Ex) {
41 if (!isa<ArraySubscriptExpr>(Ex))
44 SVal Loc = C.getSVal(Ex);
99 const Expr *Ex = nullptr;
103 Ex = B->getLHS()->IgnoreParenCasts();
107 Ex = B->getRHS()->IgnoreParenCasts();
111 if (Ex) {
115 if (isArrayIndexOutOfBounds(C, Ex))
126 Ex = B->getRHS();
135 Ex = B->getRHS()
[all...] |
| DeadStoresChecker.cpp | 104 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) {
105 while (Ex) {
107 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts());
111 Ex = BO->getRHS();
115 Ex = BO->getRHS();
120 return Ex;
268 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val,
284 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC);
370 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts();
372 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
[all...] |
| /src/external/lgpl3/mpfr/dist/src/ |
| hypot.c | 38 mpfr_exp_t Ex, sh;
85 Ex = MPFR_GET_EXP (x);
86 diff_exp = (mpfr_uexp_t) Ex - MPFR_GET_EXP (y);
122 MPFR_SET_EXP (z, Ex);
153 We have: x = Mx * 2^Ex with 1/2 <= |Mx| < 1, and we choose:
154 sh = floor((Emax - 1) / 2) - Ex.
163 sh = (mpfr_get_emax () - 1) / 2 - Ex;
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| ExplodedGraph.cpp | 50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) {
51 if (!Ex->isLValue())
53 return isa<DeclRefExpr>(Ex) || isa<MemberExpr>(Ex) ||
54 isa<ObjCIvarRefExpr>(Ex) || isa<ArraySubscriptExpr>(Ex);
123 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt());
124 if (!Ex)
130 if (isInterestingLValueExpr(Ex))
138 if (!PM.isConsumedExpr(Ex))
[all...] |
| ExprEngineC.cpp | 260 ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx,
271 SVal OrigV = state->getSVal(Ex, LCtx);
301 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
313 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
320 QualType ExTy = Ex->getType();
356 // Copy the SVal of Ex to CastE.
359 SVal V = state->getSVal(Ex, LCtx);
366 SVal V = state->getSVal(Ex, LCtx);
377 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);
388 SVal V = state->getSVal(Ex, LCtx)
[all...] |
| CallEvent.cpp | 690 const Expr *Ex = getCXXThisExpr()->IgnoreParenBaseCasts();
691 QualType T = Ex->getType();
|
| RegionStore.cpp | 419 const Expr *Ex,
987 const Expr *Ex;
998 const Expr *ex, unsigned count,
1005 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r),
1142 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1163 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1235 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1241 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1272 const Expr *Ex,
[all...] |
| ExprEngine.cpp | 358 // that the whole expression 'Ex' refers to. This trick is usual,
419 // Still, what we can do is assign the value of expression Ex (which
1487 const auto *Ex = cast<Expr>(S);
1488 QualType resultType = Ex->getType();
1492 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
1495 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result);
1499 if (!(isa<ObjCBoxedExpr>(Ex) &&
1500 !cast<ObjCBoxedExpr>(Ex)->getSubExpr()
1502 for (auto Child : Ex->children()) {
2045 const auto *Ex = dyn_cast<Expr>(Condition)
[all...] |
| /src/external/apache2/llvm/dist/llvm/tools/obj2yaml/ |
| wasm2yaml.cpp | 317 WasmYAML::Export Ex;
318 Ex.Name = Export.Name;
319 Ex.Kind = Export.Kind;
320 Ex.Index = Export.Index;
321 ExportSec->Exports.push_back(Ex);
|
| /src/external/apache2/llvm/dist/clang/lib/Analysis/ |
| UninitializedValues.cpp | 235 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) {
236 while (Ex) {
237 Ex = Ex->IgnoreParenNoopCasts(C);
238 if (const auto *CE = dyn_cast<CastExpr>(Ex)) {
240 Ex = CE->getSubExpr();
246 return Ex;
437 const Expr *Ex = stripCasts(DC->getParentASTContext(), *I);
438 const auto *UO = dyn_cast<UnaryOperator>(Ex);
440 Ex = UO->getSubExpr()
[all...] |
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 302 /// headers and are considered modifiable by system calls (ex: errno).
319 /// (system or internal). Ex: Const global scalars would be modeled as part of
473 const Expr *Ex;
475 AllocaRegion(const Expr *ex, unsigned cnt, const MemSpaceRegion *superRegion)
476 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {
477 assert(Ex);
480 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
484 const Expr *getExpr() const { return Ex; }
594 // TODO: We might want to return a different type here (ex: id (*ty)(...)
[all...] |
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| RetainCountChecker.cpp | 230 const Expr *Ex) const {
233 for (const Stmt *Child : Ex->children()) {
250 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) {
251 QualType ResultTy = Ex->getType();
271 void RetainCountChecker::checkPostStmt(const ObjCBoxedExpr *Ex,
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) {
277 QualType ResultTy = Ex->getType();
342 // an assignment, ex: "self = [super init]".
691 const Expr *Ex = CallOrMsg.getOriginExpr();
692 assert(Ex);
[all...] |
| /src/external/apache2/llvm/dist/clang/lib/Sema/ |
| SemaCast.cpp | 290 ExprResult Ex = E;
295 DestType->isDependentType() || Ex.get()->isTypeDependent();
|
| SemaDeclAttr.cpp | 547 static bool isCapabilityExpr(Sema &S, const Expr *Ex) {
553 if (const auto *E = dyn_cast<CastExpr>(Ex))
555 else if (const auto *E = dyn_cast<ParenExpr>(Ex))
557 else if (const auto *E = dyn_cast<UnaryOperator>(Ex)) {
562 } else if (const auto *E = dyn_cast<BinaryOperator>(Ex)) {
569 return typeHasCapability(S, Ex->getType());
1485 Expr *Ex = AL.getArgAsExpr(I);
1487 if (!checkFunctionOrMethodParameterIndex(S, D, AL, I + 1, Ex, Idx))
1494 Ex->getSourceRange(),
1753 Expr *Ex = AL.getArgAsExpr(i)
[all...] |
| SemaChecking.cpp | 8501 const Expr *Ex = getDataArg(argIndex);
8505 if (AT.isValid() && !AT.matchesType(S.Context, Ex->getType()))
8508 << AT.getRepresentativeTypeName(S.Context) << Ex->getType()
8509 << false << Ex->getSourceRange(),
8510 Ex->getBeginLoc(), /*IsStringLocation*/ false,
8514 Ex = getDataArg(argIndex + 1);
8516 if (AT2.isValid() && !AT2.matchesType(S.Context, Ex->getType()))
8519 << AT2.getRepresentativeTypeName(S.Context) << Ex->getType()
8520 << false << Ex->getSourceRange(),
8521 Ex->getBeginLoc(), /*IsStringLocation*/ false
[all...] |
| SemaExpr.cpp | 2512 if (Expr *Ex = E.getAs<Expr>())
2513 return Ex;
13841 const Expr *Ex = ObjCPointerExpr->IgnoreParenCasts();
13845 if (const ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(Ex)) {
|
| /src/external/apache2/llvm/dist/llvm/lib/Analysis/ |
| LoopAccessAnalysis.cpp | 207 const SCEV *Ex = PSE.getBackedgeTakenCount();
210 ScEnd = AR->evaluateAtIteration(Ex, *SE);
|
| /src/external/apache2/llvm/dist/llvm/lib/Object/ |
| WasmObjectFile.cpp | 1180 wasm::WasmExport Ex;
1181 Ex.Name = readString(Ctx);
1182 Ex.Kind = readUint8(Ctx);
1183 Ex.Index = readVaruint32(Ctx);
1184 switch (Ex.Kind) {
1187 if (!isDefinedFunctionIndex(Ex.Index))
1190 getDefinedFunction(Ex.Index).ExportName = Ex.Name;
1193 if (!isValidGlobalIndex(Ex.Index))
1198 if (!isValidEventIndex(Ex.Index)
[all...] |
| /src/external/apache2/llvm/dist/llvm/lib/Target/Hexagon/ |
| HexagonConstExtenders.cpp | 301 bool operator==(const ExtExpr &Ex) const {
302 return Rs == Ex.Rs && S == Ex.S && Neg == Ex.Neg;
304 bool operator!=(const ExtExpr &Ex) const {
305 return !operator==(Ex);
307 bool operator<(const ExtExpr &Ex) const {
308 if (Rs != Ex.Rs)
309 return Rs < Ex.Rs;
310 if (S != Ex.S
[all...] |
| /src/external/apache2/llvm/dist/llvm/include/llvm/Demangle/ |
| ItaniumDemangle.h | 4162 Node *Ex = getDerived().parseExpr();
4163 if (Ex == nullptr)
4165 Names.push_back(Ex);
4605 Node *Ex = getDerived().parseExpr();
4606 if (Ex == nullptr)
4607 return Ex;
4608 return make<CastExpr>("const_cast", Ty, Ex);
4639 Node *Ex = getDerived().parseExpr();
4640 if (Ex == nullptr)
4641 return Ex;
[all...] |
| /src/external/apache2/llvm/dist/llvm/lib/CodeGen/SelectionDAG/ |
| LegalizeIntegerTypes.cpp | 4948 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl, SclrTy, Incoming,
4950 SDValue Tr = DAG.getNode(ISD::TRUNCATE, dl, RetSclrTy, Ex);
|
