diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-08-01 05:59:39 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-08-01 05:59:39 +0000 |
| commit | eb01ba670e80e267bf28beb8a0888a0bcf87734a (patch) | |
| tree | a2a3e23514d1136581751f6be8587f8a0c9f9e99 /clang/lib/Analysis | |
| parent | b616260624910242b91298303c3f2281ca019186 (diff) | |
| download | bcm5719-llvm-eb01ba670e80e267bf28beb8a0888a0bcf87734a.tar.gz bcm5719-llvm-eb01ba670e80e267bf28beb8a0888a0bcf87734a.zip | |
Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit.
llvm-svn: 77779
Diffstat (limited to 'clang/lib/Analysis')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 6431ec7ace6..14333875f8b 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -1241,6 +1241,9 @@ GRExprEngine::NodeTy* GRExprEngine::EvalLocation(Stmt* Ex, NodeTy* Pred, if (!StNotNull) return NULL; + // FIXME: Temporarily disable out-of-bounds checking until we make + // the logic reflect recent changes to CastRegion and friends. +#if 0 // Check for out-of-bound array access. if (isa<loc::MemRegionVal>(LV)) { const MemRegion* R = cast<loc::MemRegionVal>(LV).getRegion(); @@ -1278,6 +1281,7 @@ GRExprEngine::NodeTy* GRExprEngine::EvalLocation(Stmt* Ex, NodeTy* Pred, StNotNull = StInBound; } } +#endif // Generate a new node indicating the checks succeed. return Builder->generateNode(Ex, StNotNull, Pred, @@ -1316,7 +1320,8 @@ static bool EvalOSAtomicCompareAndSwap(ExplodedNodeSet<GRState>& Dst, return false; Expr *theValueExpr = CE->getArg(2); - const PointerType *theValueType = theValueExpr->getType()->getAs<PointerType>(); + const PointerType *theValueType = + theValueExpr->getType()->getAs<PointerType>(); // theValueType not a pointer? if (!theValueType) |
