Sign in
llvm
/
llvm-project
/
clang
/
refs/heads/main
/
.
/
test
/
Analysis
/
symbol-simplification-symplify-results-in-dead-symbol.cpp
blob: d768e5230296987f7e2e8e59a733786d198e8743 [
file
] [
log
] [
blame
]
// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
// expected-no-diagnostics
#define
assert
(
cond
)
if
(!(
cond
))
return
unsigned
a
,
b
;
void
f
(
unsigned
c
)
{
assert
(
c
==
b
);
assert
((
c
|
a
)
!=
a
);
assert
(
a
);
// no-crash
}