https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #19 from CVS Commits ---
The master branch has been updated by Roger Sayle :
https://gcc.gnu.org/g:2a1c3b69c015ea49e4c7c08291efd8f7e28e1193
commit r12-5891-g2a1c3b69c015ea49e4c7c08291efd8f7e28e1193
Author: Roger Sayle
Date: Fri
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
Aldy Hernandez changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #17 from CVS Commits ---
The master branch has been updated by Aldy Hernandez :
https://gcc.gnu.org/g:4856699eeb2809c50930bafe341a96470877195d
commit r12-4971-g4856699eeb2809c50930bafe341a96470877195d
Author: Aldy Hernandez
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #16 from Martin Liška ---
(In reply to Aldy Hernandez from comment #15)
> Created attachment 51740 [details]
> untested patch
>
> This should do it. Martin, can you verify this fixes it on your end?
Yes, it does! Thanks a lot.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #15 from Aldy Hernandez ---
Created attachment 51740
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51740=edit
untested patch
This should do it. Martin, can you verify this fixes it on your end?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
Aldy Hernandez changed:
What|Removed |Added
Assignee|unassigned at gcc dot gnu.org |aldyh at gcc dot gnu.org
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #13 from Aldy Hernandez ---
(In reply to Andrew Macleod from comment #12)
> I dont understand why? isnt m.10_120 killed in bb20? whats the basis
> for threading that? I dont see it
Huh. The last thing we do in the solver is
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #12 from Andrew Macleod ---
On 11/5/21 8:02 AM, aldyh at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
>
> --- Comment #7 from Aldy Hernandez ---
> Simplified version without the noise:
>
> [local
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #11 from Martin Liška ---
And note that the benchmark survives -fsanitize=undefined run.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #10 from Martin Liška ---
> So the question to the reporter is does -fwrapv works for the original
> testcase?
So adding -fwrapv does not help, it still crashes.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #9 from Aldy Hernandez ---
(In reply to Andrew Pinski from comment #8)
> (In reply to Aldy Hernandez from comment #5)
> > > That is, is signed overflow undefined in overflow?
> >
> > Errr, "is signed overflow undefined for
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #8 from Andrew Pinski ---
(In reply to Aldy Hernandez from comment #5)
> > That is, is signed overflow undefined in overflow?
>
> Errr, "is signed overflow undefined for integer(kind=4)?"
Yes it is undefined. Figures spec would
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #7 from Aldy Hernandez ---
Simplified version without the noise:
[local count: 56063504182]:
_134 = M.10_120 + 1;
if (_71 <= _134)
goto ; [11.00%]
else
goto ; [89.00%]
...
...
[local count: 49896518755]:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
Martin Liška changed:
What|Removed |Added
CC||anlauf at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #5 from Aldy Hernandez ---
> That is, is signed overflow undefined in overflow?
Errr, "is signed overflow undefined for integer(kind=4)?"
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #4 from Aldy Hernandez ---
(In reply to Martin Liška from comment #1)
> The following file is miscompiled:
>
> gfortran -c -o m_MergeSorts.fppized.o -I. -Iinclude -Inetcdf/include -O2
> -march=native -g -std=legacy
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
seurer at gcc dot gnu.org changed:
What|Removed |Added
CC||seurer at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #2 from Martin Liška ---
There's dump file diff (search for 'dbgcnt'):
https://gist.github.com/marxin/7eadc43d12fdefac6f5b8151a47a8684
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #1 from Martin Liška ---
The following file is miscompiled:
gfortran -c -o m_MergeSorts.fppized.o -I. -Iinclude -Inetcdf/include -O2
-march=native -g -std=legacy m_MergeSorts.fppized.f90
where first bad debug counter value is:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Blocks|
20 matches
Mail list logo
