| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ObjCAtSyncChecker.cpp | 40 const Expr *Ex = S->getSynchExpr();
42 SVal V = state->getSVal(Ex, C.getLocationContext());
52 bugreporter::trackNullOrUndefValue(N, Ex, *report);
75 bugreporter::trackNullOrUndefValue(N, Ex, *report);
|
| UndefResultChecker.cpp | 62 const Expr *Ex = NULL;
66 Ex = B->getLHS()->IgnoreParenCasts();
70 Ex = B->getRHS()->IgnoreParenCasts();
74 if (Ex) {
87 if (Ex) {
88 report->addRange(Ex->getSourceRange());
89 bugreporter::trackNullOrUndefValue(N, Ex, *report);
|
| UndefBranchChecker.cpp | 36 const Expr *FindExpr(const Expr *Ex) {
37 if (!MatchesCriteria(Ex))
40 for (Stmt::const_child_iterator I = Ex->child_begin(),
41 E = Ex->child_end();I!=E;++I)
47 return Ex;
50 bool MatchesCriteria(const Expr *Ex) {
51 return St->getSVal(Ex, LCtx).isUndef();
88 const Expr *Ex = cast<Expr>(Condition);
94 if (PS->getStmt() == Ex)
98 Ex = FindIt.FindExpr(Ex)
[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;
206 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val,
221 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC);
305 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts();
307 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
[all...] |
| RetainCountChecker.cpp | 969 // an assignment, ex: "self = [super init]".
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExplodedGraph.cpp | 59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) {
60 if (!Ex->isLValue())
62 return isa<DeclRefExpr>(Ex) ||
63 isa<MemberExpr>(Ex) ||
64 isa<ObjCIvarRefExpr>(Ex);
132 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt());
133 if (!Ex)
139 if (isInterestingLValueExpr(Ex))
147 if (!PM.isConsumedExpr(Ex))
|
| ExprEngineC.cpp | 219 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
231 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
238 QualType ExTy = Ex->getType();
274 // Copy the SVal of Ex to CastE.
277 SVal V = state->getSVal(Ex, LCtx);
315 SVal V = state->getSVal(Ex, LCtx);
324 SVal val = state->getSVal(Ex, LCtx);
332 SVal val = state->getSVal(Ex, LCtx);
624 void ExprEngine::VisitGuardedExpr(const Expr *Ex,
679 V = svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount())
[all...] |
| BugReporterVisitors.cpp | 862 static const Expr *peelOffOuterExpr(const Expr *Ex,
864 Ex = Ex->IgnoreParenCasts();
865 if (const ExprWithCleanups *EWC = dyn_cast<ExprWithCleanups>(Ex))
867 if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(Ex))
871 if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(Ex)) {
892 return Ex;
902 if (const Expr *Ex = dyn_cast<Expr>(S)) {
903 Ex = Ex->IgnoreParenCasts()
[all...] |
| ExprEngine.cpp | 173 const Expr *Ex,
175 SVal V = State->getSVal(Ex, LC);
181 Result = Ex;
197 const Expr *Inner = Ex->IgnoreParens();
802 const Expr *Ex = cast<Expr>(S);
803 QualType resultType = Ex->getType();
809 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType,
811 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
[all...] |
| RegionStore.cpp | 390 const Expr *Ex,
[all...] |
| /external/llvm/lib/CodeGen/SelectionDAG/ |
| LegalizeVectorOps.cpp | 553 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl,
557 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
|
| LegalizeIntegerTypes.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 280 /// headers and are considered modifiable by system calls (ex: errno).
298 /// (system or internal). Ex: Const global scalars would be modeled as part of
453 const Expr *Ex;
455 AllocaRegion(const Expr *ex, unsigned cnt, const MemRegion *superRegion)
456 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
460 const Expr *getExpr() const { return Ex; }
468 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
565 // TODO: We might want to return a different type here (ex: id (*ty)(...))
1052 Expr const *Ex;
[all...] |
| /external/clang/lib/Sema/ |
| SemaCast.cpp | 241 ExprResult Ex = Owned(E);
246 bool TypeDependent = DestType->isDependentType() || Ex.get()->isTypeDependent();
[all...] |
| SemaDeclAttr.cpp | [all...] |
| SemaExprCXX.cpp | 542 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) {
544 if (Ex) {
556 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens()))
575 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope);
578 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex,
585 if (Ex && !Ex->isTypeDependent()) {
586 ExprResult ExRes = CheckCXXThrowOperand(OpLoc, Ex, IsThrownVarInScope);
589 Ex = ExRes.take();
592 return Owned(new (Context) CXXThrowExpr(Ex, Context.VoidTy, OpLoc
[all...] |
| SemaChecking.cpp | [all...] |
| SemaExpr.cpp | [all...] |
| /external/llvm/lib/Transforms/Vectorize/ |
| SLPVectorizer.cpp | [all...] |
| LoopVectorize.cpp | [all...] |
| /frameworks/base/core/java/android/hardware/ |
| SensorManager.java | [all...] |
| /ndk/tests/device/test-stlport_shared-exception/jni/ |
| pr29166.cpp | 4 class Ex
9 Ex( int v )
79 throw Ex( sum );
86 } catch( Ex& ) { }
|
| /ndk/tests/device/test-stlport_static-exception/jni/ |
| pr29166.cpp | 4 class Ex
9 Ex( int v )
79 throw Ex( sum );
86 } catch( Ex& ) { }
|
