https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97924
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> --- Confirmed, that's who we expand that: <bb 2> : [pr97924.c:10:15] _1 = [pr97924.c:10:15] r_5(D)->obj; [pr97924.c:9:10] if (_1 != 0B) goto <bb 3>; [INV] else goto <bb 4>; [INV] <bb 3> : [pr97924.c:10:46] v_8 = 0B; [pr97924.c:10:51] _9 = v_8; [pr97924.c:9:10] iftmp.0_10 = _9; [0:0] goto <bb 5>; [INV]