Possibility of uninitialized use of b in if (!a) { b = get_b(); } if (a || b) { … } When compiling the following (context) with -Oz,