1c4d2c9074be6eb2091086eddd6c8f052f3b245c8Argyrios Kyrtzidis// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -verify %s 2bdfa85fd5351d24bc42ce21a97d2fb8486df22b1Zhongxing Xuchar PR7218(char a) { 3bdfa85fd5351d24bc42ce21a97d2fb8486df22b1Zhongxing Xu char buf[2]; 4bdfa85fd5351d24bc42ce21a97d2fb8486df22b1Zhongxing Xu buf[0] = a; 5bdfa85fd5351d24bc42ce21a97d2fb8486df22b1Zhongxing Xu return buf[1]; // expected-warning {{Undefined or garbage value returned to caller}} 6bdfa85fd5351d24bc42ce21a97d2fb8486df22b1Zhongxing Xu} 7