: UNCONFIRMED
Severity: minor
Priority: P3
Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: David dot Monniaux at ens dot fr
GCC build triplet: i486-linux-gnu
GCC host triplet: i486-linux-gnu
GCC target triplet: i486-linux-gnu
http
--- Comment #16 from David dot Monniaux at ens dot fr 2007-07-24 21:21
---
(In reply to comment #13)
David, can you confirm that this PR can now be closed?
I'm no seeing the bug any longer when compiling/testing the octagon library.
This does not imply, though, that it no longer
--- Comment #96 from David dot Monniaux at ens dot fr 2007-04-20 21:19
---
The following paper explains how this kind of behaviour occurs, why it is
correct, why it is difficult to fix but how it can be partly fixed, and how
this breaks many testing and proving techniques:
http
: unassigned at gcc dot gnu dot org
ReportedBy: David dot Monniaux at ens dot fr
GCC build triplet: x86_64-unknown-linux-gnu
GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25881
on Pentium 4 SSE
Product: gcc
Version: 4.0.3
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: David dot Monniaux at ens dot fr
GCC
--- Comment #1 from David dot Monniaux at ens dot fr 2005-12-14 15:26
---
Created an attachment (id=10486)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10486action=view)
preprocessed C source code (assumes Linux glibc) exhibiting the code generation
bug
Compile this program
: unassigned at gcc dot gnu dot org
ReportedBy: David dot Monniaux at ens dot fr
GCC build triplet: x86_64-redhat-linux
GCC host triplet: x86_64-redhat-linux
GCC target triplet: x86_64-redhat-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25371
--- Comment #1 from David dot Monniaux at ens dot fr 2005-12-12 16:24
---
The above error message was for 4.0.1. On 4.0.2 it's gimplify.c:4186.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25371