Sign in
llvm
/
clang
/
a54e295df5c36ce6d290105132df332435c76651
/
.
/
test
/
Analysis
/
region_store_overflow.c
blob: 6401b83636cac6c7cb79c35ee0d1b8714735f4f4 [
file
] [
log
] [
blame
]
// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -verify %s
// expected-no-diagnostics
int
**
h
;
int
overflow_in_memregion
(
long
j
)
{
for
(
int
l
=
0
;;
++
l
)
{
if
(
j
-
l
>
0
)
return
h
[
j
-
l
][
0
];
// no-crash
}
return
0
;
}