1// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s2char 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
