| Argyrios Kyrtzidis | c4d2c90 | 2011-02-28 19:49:42 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -verify %s |
| Zhongxing Xu | bdfa85f | 2010-05-29 06:23:24 +0000 | [diff] [blame] | 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 | } | ||||