[Bug tree-optimization/101912] -Wmaybe-uninitialized false alarm in tzdb localtime.c

aldyh at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Tue Nov 30 16:02:39 GMT 2021


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

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---

>               && !(leapcnt == 0
>                    || (prevcorr < corr
>                        ? corr == prevcorr + 1
>                        : (corr == prevcorr
>                           || corr == prevcorr - 1)))))
> 

I guess the question is whether language rules allow us to read prevcorr when
leapcnt== 0?

Like we're doing here:

> and after ifcombine we have:
> 
>   <bb 4> [local count: 996582262]:
>   _1 = corr_14 == 1;
>   _2 = leapcnt_5 != 0;
>   _3 = _1 & _2;
>   _19 = prevcorr_4 != 1;
>   _16 = _3 & _19;
>   _21 = prevcorr_4 != 2;
>   _18 = _16 & _21;
>   if (_18 != 0)
>     goto <bb 7>; [1.21%]
>   else
>     goto <bb 5>; [98.79%]


More information about the Gcc-bugs mailing list