rdar-6541136-region.c revision be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6c
1// RUN: clang -verify -analyze -checker-cfref -analyzer-store=region %s 2 3struct tea_cheese { unsigned magic; }; 4typedef struct tea_cheese kernel_tea_cheese_t; 5extern kernel_tea_cheese_t _wonky_gesticulate_cheese; 6 7// This test case exercises the ElementRegion::getRValueType() logic. 8 9 10void foo( void ) 11{ 12 kernel_tea_cheese_t *wonky = &_wonky_gesticulate_cheese; 13 struct load_wine *cmd = (void*) &wonky[1]; 14 cmd = cmd; 15 char *p = (void*) &wonky[1]; 16 *p = 1; 17 kernel_tea_cheese_t *q = &wonky[1]; 18 kernel_tea_cheese_t r = *q; // expected-warning{{out-of-bound memory position}} 19} 20