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