Sign in
llvm
/
clang
/
17310dad9032863cab5ed7b7539a869c92e0be7a
/
.
/
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
}