diff options
| -rw-r--r-- | test/Analysis/basicstore_wine_crash.c | 12 | ||||
| -rw-r--r-- | test/Analysis/misc-ps.m | 9 | ||||
| -rw-r--r-- | test/Analysis/xfail_regionstore_wine_crash.c | 11 |
3 files changed, 9 insertions, 23 deletions
diff --git a/test/Analysis/basicstore_wine_crash.c b/test/Analysis/basicstore_wine_crash.c deleted file mode 100644 index 077c40344d..0000000000 --- a/test/Analysis/basicstore_wine_crash.c +++ /dev/null @@ -1,12 +0,0 @@ -// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic %s && -// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic-old-cast %s - -// Once xfail_regionstore_wine_crash.c passes, move this test case -// into misc-ps.m. - -void foo() { - long x = 0; - char *y = (char *) &x; - if (!*y) - return; -} diff --git a/test/Analysis/misc-ps.m b/test/Analysis/misc-ps.m index a0da13e0aa..581a0543f4 100644 --- a/test/Analysis/misc-ps.m +++ b/test/Analysis/misc-ps.m @@ -341,3 +341,12 @@ void handle_funcptr_voidptr_casts() { handle_funcptr_voidptr_casts_aux_3(ptr); } +// RegionStore::Retrieve previously crashed on this example. This example +// was previously in the test file 'xfail_regionstore_wine_crash.c'. +void testA() { + long x = 0; + char *y = (char *) &x; + if (!*y) + return; +} + diff --git a/test/Analysis/xfail_regionstore_wine_crash.c b/test/Analysis/xfail_regionstore_wine_crash.c deleted file mode 100644 index af20ca2e28..0000000000 --- a/test/Analysis/xfail_regionstore_wine_crash.c +++ /dev/null @@ -1,11 +0,0 @@ -// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s - -// When this test passes we should put it in the misc-ps.m test file. -// This test fails now because RegionStoreManager::Retrieve() does correctly -// retrieve the first byte of 'x' when retrieving '*y'. -void foo() { - long x = 0; - char *y = (char *) &x; - if (!*y) - return; -} |