diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-03-05 23:06:19 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-03-05 23:06:19 +0000 |
| commit | 9d96f843b889fcc0a98960eeab55abd4bf4f3220 (patch) | |
| tree | d4f1c635eb50dd7b29c22f0d8c120b228871a3ed /clang/test/Analysis/ptr-arith.c | |
| parent | bb6e7edd32296962e1c1e2f73f10906a5952c4b5 (diff) | |
| download | bcm5719-llvm-9d96f843b889fcc0a98960eeab55abd4bf4f3220.tar.gz bcm5719-llvm-9d96f843b889fcc0a98960eeab55abd4bf4f3220.zip | |
Teach SimpleSValBuilder that (in the absence of more information) stack memory doesn't alias symbolic memory. This is a heuristic/hack, but works well in practice. Fixes <rdar://problem/10978247>.
llvm-svn: 152065
Diffstat (limited to 'clang/test/Analysis/ptr-arith.c')
| -rw-r--r-- | clang/test/Analysis/ptr-arith.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/test/Analysis/ptr-arith.c b/clang/test/Analysis/ptr-arith.c index 995470a369c..fb37f1c791a 100644 --- a/clang/test/Analysis/ptr-arith.c +++ b/clang/test/Analysis/ptr-arith.c @@ -269,7 +269,7 @@ void symbolic_region(int *p) { int a; if (&a == p) - WARN; // expected-warning{{}} + WARN; // no-warning if (&a != p) WARN; // expected-warning{{}} if (&a > p) |
