| /external/clang/lib/StaticAnalyzer/Checkers/ |
| UndefResultChecker.cpp | 50 const Expr *Ex = NULL;
54 Ex = B->getLHS()->IgnoreParenCasts();
58 Ex = B->getRHS()->IgnoreParenCasts();
62 if (Ex) {
75 if (Ex) {
76 report->addRange(Ex->getSourceRange());
77 report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, Ex));
|
| ObjCAtSyncChecker.cpp | 40 const Expr *Ex = S->getSynchExpr();
42 SVal V = state->getSVal(Ex);
52 report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, Ex));
75 report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, Ex));
|
| UndefBranchChecker.cpp | 34 const Expr *FindExpr(const Expr *Ex) {
35 if (!MatchesCriteria(Ex))
38 for (Stmt::const_child_iterator I = Ex->child_begin(),
39 E = Ex->child_end();I!=E;++I)
45 return Ex;
48 bool MatchesCriteria(const Expr *Ex) { return St->getSVal(Ex).isUndef(); }
93 const Expr *Ex = cast<Expr>(Condition);
99 if (PS->getStmt() == Ex)
103 Ex = FindIt.FindExpr(Ex)
[all...] |
| DeadStoresChecker.cpp | 138 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val,
153 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC);
235 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts();
237 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
|
| RetainCountChecker.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| BugReporterVisitors.cpp | 528 const Expr *Ex = Cond;
531 Ex = Ex->IgnoreParens();
532 switch (Ex->getStmtClass()) {
536 return VisitTrueTest(Cond, cast<BinaryOperator>(Ex), tookTrue, BRC, LC);
538 return VisitTrueTest(Cond, cast<DeclRefExpr>(Ex), tookTrue, BRC, LC);
540 const UnaryOperator *UO = cast<UnaryOperator>(Ex);
543 Ex = UO->getSubExpr()->IgnoreParenNoopCasts(BRC.getASTContext());
552 bool ConditionBRVisitor::patternMatch(const Expr *Ex, llvm::raw_ostream &Out,
554 const Expr *OriginalExpr = Ex;
[all...] |
| ExprEngineC.cpp | 175 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
187 evalLoad(Dst, CastE, subExprNode, state, state->getSVal(Ex));
194 QualType ExTy = Ex->getType();
221 // Copy the SVal of Ex to CastE.
223 SVal V = state->getSVal(Ex);
258 SVal V = state->getSVal(Ex);
268 SVal val = state->getSVal(Ex);
384 const Expr *Ex = (const Expr*) cast<UndefinedVal>(X).getData();
385 assert(Ex);
387 if (Ex == B->getRHS())
[all...] |
| ExprEngine.cpp | 440 if (const Expr *Ex = dyn_cast<Expr>(S))
441 S = Ex->IgnoreParens();
868 const Expr *Ex = (Op == BO_LAnd && branchTaken) ||
872 return state->BindExpr(B, UndefinedVal(Ex));
883 const Expr *Ex;
886 Ex = C->getTrueExpr();
888 Ex = C->getFalseExpr();
890 return state->BindExpr(C, UndefinedVal(Ex));
897 const Expr *Ex = branchTaken ? C->getLHS() : C->getRHS();
898 return state->BindExpr(C, UndefinedVal(Ex));
[all...] |
| RegionStore.cpp | 588 const Expr *Ex;
596 const Expr *ex, unsigned count,
601 Ex(ex), Count(count), IS(is), Regions(r) {}
677 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count);
693 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count);
701 svalBuilder.getConjuredSymbolVal(baseR, Ex, AT->getElementType(), Count);
716 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, T, Count);
723 const Expr *Ex, unsigned Count,
729 Ex, Count, IS, Invalidated, invalidateGlobals)
[all...] |
| /external/llvm/lib/CodeGen/SelectionDAG/ |
| LegalizeVectorOps.cpp | 366 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl,
370 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
|
| LegalizeDAG.cpp | [all...] |
| LegalizeIntegerTypes.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 327 const Expr *Ex;
329 AllocaRegion(const Expr *ex, unsigned cnt, const MemRegion *superRegion)
330 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
334 const Expr *getExpr() const { return Ex; }
342 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
850 Expr const *Ex;
853 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) {}
859 const Expr *getExpr() const { return Ex; }
862 return Ex->getType()
[all...] |
| /external/clang/lib/Sema/ |
| SemaCast.cpp | 239 ExprResult Ex = Owned(E);
244 bool TypeDependent = DestType->isDependentType() || Ex.get()->isTypeDependent();
[all...] |
| SemaChecking.cpp | [all...] |
| SemaDeclAttr.cpp | 866 Expr *Ex = *I;
868 if (Ex->isTypeDependent() || Ex->isValueDependent() ||
869 !Ex->isIntegerConstantExpr(ArgNum, S.Context)) {
871 << "nonnull" << Ex->getSourceRange();
879 << "nonnull" << I.getArgNum() << Ex->getSourceRange();
888 << "nonnull" << Ex->getSourceRange();
901 << "nonnull" << Ex->getSourceRange();
[all...] |
| SemaExprCXX.cpp | 489 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) {
491 if (Ex) {
503 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens()))
522 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope);
525 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex,
532 if (Ex && !Ex->isTypeDependent()) {
533 ExprResult ExRes = CheckCXXThrowOperand(OpLoc, Ex, IsThrownVarInScope);
536 Ex = ExRes.take();
539 return Owned(new (Context) CXXThrowExpr(Ex, Context.VoidTy, OpLoc
[all...] |
| /frameworks/base/core/java/android/hardware/ |
| SensorManager.java | [all...] |
