diff options
Diffstat (limited to 'test/Analysis/rdar-6541136-region.c')
| -rw-r--r-- | test/Analysis/rdar-6541136-region.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Analysis/rdar-6541136-region.c b/test/Analysis/rdar-6541136-region.c index 82232c6bb9..c1734eec9b 100644 --- a/test/Analysis/rdar-6541136-region.c +++ b/test/Analysis/rdar-6541136-region.c @@ -9,7 +9,7 @@ extern kernel_tea_cheese_t _wonky_gesticulate_cheese; void test1( void ) { kernel_tea_cheese_t *wonky = &_wonky_gesticulate_cheese; struct load_wine *cmd = (void*) &wonky[1]; - cmd = cmd; + cmd = cmd; // expected-warning{{idempotent operation}} char *p = (void*) &wonky[1]; kernel_tea_cheese_t *q = &wonky[1]; // This test case tests both the RegionStore logic (doesn't crash) and @@ -21,7 +21,7 @@ void test1( void ) { void test1_b( void ) { kernel_tea_cheese_t *wonky = &_wonky_gesticulate_cheese; struct load_wine *cmd = (void*) &wonky[1]; - cmd = cmd; + cmd = cmd; // expected-warning{{idempotent operation}} char *p = (void*) &wonky[1]; *p = 1; // expected-warning{{Access out-of-bound array element (buffer overflow)}} } |