mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
21 lines
184 B
C++
21 lines
184 B
C++
// semmle-extractor-options: --microsoft
|
|
|
|
void f();
|
|
void g();
|
|
void h()
|
|
{
|
|
f();
|
|
|
|
__assume(0);
|
|
|
|
g(); // unreachable
|
|
}
|
|
void i();
|
|
void j();
|
|
void k()
|
|
{
|
|
i();
|
|
h();
|
|
j(); // unreachable
|
|
}
|