From 04b1de1f73ec8cad2a5e0a6a4c3c3f8b9b1b09a2 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 22 Jan 2009 22:42:59 +0000 Subject: [PATCH] This test case now passes with RegionStore. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62798 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/fields.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/Analysis/fields.c b/test/Analysis/fields.c index defa19ead9..60353d93ad 100644 --- a/test/Analysis/fields.c +++ b/test/Analysis/fields.c @@ -1,4 +1,5 @@ -// RUN: clang -analyze -checker-cfref %s -verify && +// RUN: clang -analyze -checker-cfref %s --analyzer-store-basic -verify && +// RUN: clang -analyze -checker-cfref %s --analyzer-store-region -verify && // RUN: clang -analyze -checker-simple %s -verify unsigned foo(); -- 2.50.1