mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
20 lines
143 B
C++
20 lines
143 B
C++
|
|
void f();
|
|
void g();
|
|
void h()
|
|
{
|
|
f();
|
|
|
|
__assume(0);
|
|
|
|
g(); // unreachable
|
|
}
|
|
void i();
|
|
void j();
|
|
void k()
|
|
{
|
|
i();
|
|
h();
|
|
j(); // unreachable
|
|
}
|