rdar-6541136-region.c revision d7d5f0223bd30dfd618762349c6209dd1d5ea3e6
1// RUN: clang-cc -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