Sign in
cobalt
/
cobalt
/
6c3b32a7dc6eaf2946073e6fa29281b8cb58f1e3
/
.
/
src
/
third_party
/
llvm-project
/
clang
/
test
/
Analysis
/
PR7218.c
blob: 10a75c98e515629bcb68c2213454f8e821634241 [
file
] [
log
] [
blame
]
// RUN: %clang_analyze_cc1 -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}}
}