On Mon, 18 Sep 2023, Martin Uecker wrote:
> > The hardest part would be popping the pragma state when leaving a block, > > which didn't seem difficult (at least for C). > > It is fairly restricted where it can appear, it essentially operates > on the level of compound statements (!= blocks). Thanks for the clarification. Let me note that the standard somehow decided to make out-of-place pragma a (compile-time) UB rather than a constraint violation, leaving us free to make it work for blocks (or launch Nethack). Alexander