fold/tests/fixtures/reachability/closed/app.cpp
trvon 86b2f14a43
feat(analysis): harden project-wide scans
- 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
2026-07-30 18:18:04 -04:00

14 lines
227 B
C++

extern bool feature;
extern int runtime_state;
int live();
void middle();
void unknown_target();
int main() {
if (feature)
middle();
if (feature + runtime_state)
unknown_target();
return live();
}