test/Analysis/PR7218.c

*f4a2713aSLionel Sambuc// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -verify %s
*f4a2713aSLionel Sambucchar PR7218(char a) {
*f4a2713aSLionel Sambuc    char buf[2];
*f4a2713aSLionel Sambuc    buf[0] = a;
*f4a2713aSLionel Sambuc    return buf[1]; // expected-warning {{Undefined or garbage value returned to caller}}
*f4a2713aSLionel Sambuc}