diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-16 06:18:21 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-06-16 06:18:21 +0000 |
| commit | e531f048f8b4da26c9a302697ec85d21deacc404 (patch) | |
| tree | f590434bc1658735e11509d2562a74d8b47c3f7c | |
| parent | 0101f457856494ace3352e96636216543fa80612 (diff) | |
| download | bcm5719-llvm-e531f048f8b4da26c9a302697ec85d21deacc404.tar.gz bcm5719-llvm-e531f048f8b4da26c9a302697ec85d21deacc404.zip | |
Do not invalidate unboundable regions in GRSimpleVals::EvalCall().
llvm-svn: 73474
| -rw-r--r-- | clang/lib/Analysis/GRSimpleVals.cpp | 8 | ||||
| -rw-r--r-- | clang/test/Analysis/func.c | 1 |
2 files changed, 6 insertions, 3 deletions
diff --git a/clang/lib/Analysis/GRSimpleVals.cpp b/clang/lib/Analysis/GRSimpleVals.cpp index e1c4848f455..d8d312f23ff 100644 --- a/clang/lib/Analysis/GRSimpleVals.cpp +++ b/clang/lib/Analysis/GRSimpleVals.cpp @@ -365,9 +365,11 @@ void GRSimpleVals::EvalCall(ExplodedNodeSet<GRState>& Dst, SVal V = StateMgr.GetSVal(St, *I); - if (isa<loc::MemRegionVal>(V)) - St = StateMgr.BindLoc(St, cast<Loc>(V), UnknownVal()); - else if (isa<nonloc::LocAsInteger>(V)) + if (isa<loc::MemRegionVal>(V)) { + const MemRegion *R = cast<loc::MemRegionVal>(V).getRegion(); + if (R->isBoundable(Eng.getContext())) + St = StateMgr.BindLoc(St, cast<Loc>(V), UnknownVal()); + } else if (isa<nonloc::LocAsInteger>(V)) St = StateMgr.BindLoc(St, cast<nonloc::LocAsInteger>(V).getLoc(), UnknownVal()); diff --git a/clang/test/Analysis/func.c b/clang/test/Analysis/func.c index ac067a98103..a018d0afc1c 100644 --- a/clang/test/Analysis/func.c +++ b/clang/test/Analysis/func.c @@ -1,4 +1,5 @@ // RUN: clang-cc -analyze -checker-simple -verify %s && +// RUN: clang-cc -analyze -checker-simple -analyzer-store=region -verify %s && // RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -verify %s && // RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s |
