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 /clang/test/Analysis/func.c | |
| parent | 0101f457856494ace3352e96636216543fa80612 (diff) | |
| download | bcm5719-llvm-e531f048f8b4da26c9a302697ec85d21deacc404.tar.gz bcm5719-llvm-e531f048f8b4da26c9a302697ec85d21deacc404.zip | |
Do not invalidate unboundable regions in GRSimpleVals::EvalCall().
llvm-svn: 73474
Diffstat (limited to 'clang/test/Analysis/func.c')
| -rw-r--r-- | clang/test/Analysis/func.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 |
