Sign in
llvm
/
clang
/
refs/heads/release_29
/
.
/
test
/
Analysis
/
misc-ps-flat-store.c
blob: e6369cbfb079b808e44bfa312194e9e64b68a4d4 [
file
] [
log
] [
blame
]
// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=flat -verify %s
void
f1
()
{
int
x
;
int
*
p
;
x
=
1
;
p
=
0
;
if
(
x
!=
1
)
*
p
=
1
;
// no-warning
}