https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127305
mikaseianatsu at proton dot me changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #2 from mikaseianatsu at proton dot me ---
(In reply to Jakub Jelinek from comment #1)
> ???
> At -O2 cplxlower is
>
> int main ()
> {
> <bb 2> [local count: 1073741824]:
> b = 0x100ffeeddccbbaa998877665544332211;
> return 0;
>
> }
> and bitintlower is
> int main ()
> {
> <bb 2> [local count: 1073741824]:
> MEM <unsigned long> [(unsigned _BitInt(132) *)&b] = 9833440827789222417;
> MEM <unsigned long> [(unsigned _BitInt(132) *)&b + 8B] = 72038755451251353;
> MEM <unsigned long> [(unsigned _BitInt(132) *)&b + 16B] = 1;
> return 0;
>
> }
> There is nothing incorrect on that.
Oh, you are right.
I rechecked again and found the report was based on an smtgcc-tv memory
mismatch, but this appears to be an smtgcc false positive. My bad, I'm sorry
