Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
dde201b9b53a05912780fc94bd4974c59454f2b6
/
.
/
test
/
Analysis
/
misc-ps-flat-store.c
blob: 8cbcecf51ff0b4a0ec18bada5f687158d4def263 [
file
] [
log
] [
blame
]
// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store=flat -verify %s
void
f1
()
{
int
x
;
int
*
p
;
x
=
1
;
p
=
0
;
if
(
x
!=
1
)
*
p
=
1
;
// no-warning
}