Author: kremenek
Date: Thu Nov 20 18:15:15 2008
New Revision: 59762
URL: http://llvm.org/viewvc/llvm-project?rev=59762&view=rev
Log:
Enable test file for 'region store' in addition to basic store.
Modified:
cfe/trunk/test/Analysis/uninit-vals-ps.c
Modified: cfe/trunk/test/Analysis/uninit-vals-ps.c
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/uninit-vals-ps.c?rev=59762&r1=59761&r2=59762&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/uninit-vals-ps.c (original)
+++ cfe/trunk/test/Analysis/uninit-vals-ps.c Thu Nov 20 18:15:15 2008
@@ -1,4 +1,5 @@
-// RUN: clang -checker-simple -verify %s
+// RUN: clang -checker-simple -verify %s &&
+// RUN: clang -checker-simple -analyzer-store-region -verify %s
struct FPRec {
void (*my_func)(int * x);
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
