summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/PR7218.c
blob: 1775e057f4db481c94b39cb0c89f35b76a971a77 (about) (plain)
1
2
3
4
5
6
// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -verify %s
char PR7218(char a) {
    char buf[2];
    buf[0] = a;
    return buf[1]; // expected-warning {{Undefined or garbage value returned to caller}}
}