real-world cpp lives together with static analysis, which obviously catches this