[Bug tree-optimization/101768] -Wmaybe-uninitialized false alarm with non local variables in some cases

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101768

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
[AFTER NORMALIZATION -- [DEF]:
 (.NOT.) ct.0_1 == 1


[AFTER NORMALIZATION -- [DEF]:
offset_width_13 = PHI <offset_width_8(D)(12), offset_width_11(14), 1(13)>
is guarded by :

 (.NOT.) arg_10 != 0 (.AND.) arg_16 != 0 (.AND.) ct.0_1 == 1
(.OR.)
 (.NOT.) arg_16 != 0 (.AND.) ct.0_1 == 1


[AFTER NORMALIZATION -- [USE]:
foo (offset_width_13);
is guarded by :

prephitmp_5 == 1

Uninit did not look up the chain for prephitmp_5 to see:
  # prephitmp_5 = PHI <ct.0_1(5), pretmp_6(8)>
....

  foo (offset_width_13);
  pretmp_6 = ct;