Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
5512f28fa7b26e87e613dc1558b29b2a89647809
/
.
/
test
/
Analysis
/
ptr-arith.c
blob: a8d03eb3d888409aa15e3b43cdb77f935ef50614 [
file
] [
log
] [
blame
]
// RUN: clang -analyze -checker-simple -analyzer-store=region -verify %s
void
f1
()
{
int
a
[
10
];
int
*
p
=
a
;
++
p
;
}