From 9d96f843b889fcc0a98960eeab55abd4bf4f3220 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Mon, 5 Mar 2012 23:06:19 +0000 Subject: 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 . llvm-svn: 152065 --- clang/test/Analysis/ptr-arith.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'clang/test/Analysis/ptr-arith.c') 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) -- cgit v1.2.3