Sign in
fuchsia
/
third_party
/
github.com
/
llvm
/
llvm-project
/
refs/heads/users/avillega/main.gsymdwarf-include-end_sequence-debug_line-rows-when-looking-up-addr-ranges
/
.
/
clang
/
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
}