diff options
Diffstat (limited to 'test/Analysis/rdar-6541136.c')
-rw-r--r-- | test/Analysis/rdar-6541136.c | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/test/Analysis/rdar-6541136.c b/test/Analysis/rdar-6541136.c deleted file mode 100644 index 095aefadb8ce2..0000000000000 --- a/test/Analysis/rdar-6541136.c +++ /dev/null @@ -1,20 +0,0 @@ -// RUN: %clang_cc1 -verify -analyze -analyzer-checker=core,core.experimental -analyzer-store=basic %s - -struct tea_cheese { unsigned magic; }; -typedef struct tea_cheese kernel_tea_cheese_t; -extern kernel_tea_cheese_t _wonky_gesticulate_cheese; - -// This test case exercises the ElementRegion::getRValueType() logic. -// All it tests is that it does not crash or do anything weird. -// The out-of-bounds-access on line 19 is caught using the region store variant. - -void foo( void ) -{ - kernel_tea_cheese_t *wonky = &_wonky_gesticulate_cheese; - struct load_wine *cmd = (void*) &wonky[1]; - cmd = cmd; - char *p = (void*) &wonky[1]; - *p = 1; - kernel_tea_cheese_t *q = &wonky[1]; - kernel_tea_cheese_t r = *q; // no-warning -} |