Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
e0ba9d1beeba01a96808c2fc61f9ca89acec313b
/
.
/
test
/
Analysis
/
PR7218.c
blob: 635e56f053ec7fd98ae4c8b4dff89907023eb5c9 [
file
] [
log
] [
blame
]
// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -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}}
}