mirror of
https://github.com/github/codeql.git
synced 2025-12-19 10:23:15 +01:00
18 lines
323 B
C
18 lines
323 B
C
extern int puts(const char *message);
|
|
extern int runTimeDecision();
|
|
|
|
void staticFalse() {
|
|
puts("Hello");
|
|
if (0) {
|
|
puts("Unreachable code");
|
|
} else {
|
|
puts("Reachable code");
|
|
}
|
|
if (runTimeDecision()) {
|
|
puts("Branch A");
|
|
} else {
|
|
puts("Branch B");
|
|
}
|
|
puts("All done");
|
|
}
|