86b2f14a43
- persist TU-owned graphs and guarded configuration evidence - add closed-world production reachability classification - calibrate detector precision and reviewed self-scan policy - terminate poisoned workers instead of longjmp recovery
14 lines
235 B
C++
14 lines
235 B
C++
bool feature = false;
|
|
int runtime_state = 0;
|
|
|
|
int live() { return 7; }
|
|
|
|
[[maybe_unused]] static int dead_helper() { return 11; }
|
|
|
|
void impossible() {}
|
|
void unknown_target() {}
|
|
|
|
void middle() {
|
|
if (!feature)
|
|
impossible();
|
|
}
|