https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103639 --- Comment #14 from Iain Sandoe <iains at gcc dot gnu.org> --- I suppose + check += 1; + printf ("foo\n"); + } + + if (check != 2) would be a more picky test.