rdar-6541136-region.c revision 14553abd17d303b0b310b3ab1523eb0d30d8121c
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