--- Comment #23 from bagnara at cs dot unipr dot it 2009-08-14 22:49
---
What you can do is to use ppl_Linear_Expression_OK() and
ppl_Pointset_Powerset_C_Polyhedron_OK() to make sure you are not working with
corrupted objects.
If both the *_OK() functions evaluate to true, you could
--- Comment #4 from bagnara at cs dot unipr dot it 2009-01-24 08:08 ---
I don't know why the bug was closed: I can confirm the erroneous behavior is
present also in GCC 4.3.2.
--
bagnara at cs dot unipr dot it changed:
What|Removed |Added
: bagnara at cs dot unipr dot it
GCC host triplet: sparc64-unknown-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37661
--- Comment #2 from bagnara at cs dot unipr dot it 2008-09-27 18:03 ---
This is good news. However, is there any known workaround for versions before
4.4?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37661
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr dot it
GCC host triplet: alphaev56-unknown-linux
--- Comment #1 from bagnara at cs dot unipr dot it 2008-09-19 07:04 ---
Created an attachment (id=16359)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16359action=view)
Assembly code generated with g++ -S -mieee-with-inexact sf.cc
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id
: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr dot it
GCC host triplet: x86_64-unknown-linux-gnu
http://gcc.gnu.org/bugzilla
--- Comment #5 from bagnara at cs dot unipr dot it 2008-01-07 19:20 ---
Indeed the testcase does not compile with GCC 4.3 (while compiling perfectly
with GCC 4.0, 4.1 and 4.2). For some reason, GCC 4.3 dislikes the
implementation of the STL that is shipped with previous versions. I
--- Comment #6 from bagnara at cs dot unipr dot it 2008-01-07 19:30 ---
Please, forget comment #5. Let me try again.
Indeed the testcase does not compile with GCC 4.3 (while compiling perfectly
with GCC 4.0, 4.1 and 4.2). For some reason, GCC 4.3 dislikes the
implementation
--- Comment #7 from bagnara at cs dot unipr dot it 2008-01-07 19:32 ---
Created an attachment (id=14894)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14894action=view)
New testcase showing the problem with GCC 4.3.0
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33802
++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr dot it
GCC host triplet: x86_64-unknown-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33802
--- Comment #1 from bagnara at cs dot unipr dot it 2007-10-17 18:40 ---
Created an attachment (id=14366)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14366action=view)
(Big) testcase that allows to reproduce
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33802
Product: gcc
Version: 4.1.2
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr dot it
http://gcc.gnu.org/bugzilla/show_bug.cgi?id
--- Comment #25 from bagnara at cs dot unipr dot it 2007-10-06 09:51
---
Done: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33675
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21032
--- Comment #2 from bagnara at cs dot unipr dot it 2007-10-06 13:03 ---
I don't understand. Do you mean that what I consider the natural compilation
of that piece of code (the shorter assembly listing) is incorrect? In other
words: do you think that the shorter assembly listing does
--- Comment #23 from bagnara at cs dot unipr dot it 2007-09-10 12:32
---
My fault: I forgot to use the -frounding-math option. So, for the wrong-code
aspect there is no problem. But the missed-optimization bit is still there:
why do we have
fldl12(%ebp)
fchs
--- Comment #21 from bagnara at cs dot unipr dot it 2007-09-05 08:22
---
It seems the bug has reappeared in GCC 4.1.2. Here is what I obtain:
.file bug.c
.text
.p2align 4,,15
.globl assign2
.type assign2, @function
assign2:
pushl %ebp
on CPUs of the
i386 family
Product: gcc
Version: 4.1.1
Status: UNCONFIRMED
Severity: major
Priority: P3
Component: target
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot
Version: 4.1.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr dot it
GCC host triplet: x86_64-unknown-linux-gnu
http://gcc.gnu.org
--- Comment #1 from bagnara at cs dot unipr dot it 2006-12-03 16:39 ---
Created an attachment (id=12732)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12732action=view)
Program exhibiting the described behavior
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30059
dot org
ReportedBy: bagnara at cs dot unipr dot it
GCC host triplet: x86_64-unknown-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30042
--- Comment #1 from bagnara at cs dot unipr dot it 2006-12-01 17:25 ---
Created an attachment (id=12725)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12725action=view)
The file g++ asked me to attach.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30042
at cs dot unipr dot it
GCC host triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29803
--- Comment #2 from bagnara at cs dot unipr dot it 2006-11-11 20:26 ---
This is not a duplicate of 23147: it raises a couple of issues that have
nothing to do with that bug report.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29803
-ftrapv
Product: gcc
Version: 4.0.3
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr dot it
GCC host triplet: i686
--- Comment #1 from bagnara at cs dot unipr dot it 2006-04-14 20:22 ---
Created an attachment (id=11274)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11274action=view)
Testcase that allows to reproduce the problem
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27173
--- Comment #19 from bagnara at cs dot unipr dot it 2006-01-25 11:39
---
Just a small update. On one of our projects we have now thousands of warnings
on the test x 0 for the function below, when Type is instantiated to an
unsigned integral type:
template typename Type
inline Result
--- Comment #7 from bagnara at cs dot unipr dot it 2005-12-20 07:49 ---
I can confirm both problems (incorrect reordering and performance regression)
are present in GCC version 4.0.2 and version 4.2.0 20051209 (experimental).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21032
ReportedBy: bagnara at cs dot unipr dot it
GCC host triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24273
optimization of floating point expression
Product: gcc
Version: 3.4.3
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr
--- Additional Comments From bagnara at cs dot unipr dot it 2005-04-17
08:52 ---
Subject: Re: Excessive optimization of floating point
expression
pinskia at gcc dot gnu dot org wrote:
Note GCC does not know about the rounding mode,
This seems a good reason not to attempt
--- Additional Comments From bagnara at cs dot unipr dot it 2005-04-16
12:27 ---
I can add the following:
1) the bug was not present in GCC 3.3.3 and is present since version 3.4.0, so I
think it qualifies as a regression;
2) the bug is also present in GCC 4.0.0 20050226 (prerelease
--- Additional Comments From bagnara at cs dot unipr dot it 2005-04-15
07:01 ---
Subject: Re: GCC 3.4.3 wrongly reorders floating-point
operations
pinskia at gcc dot gnu dot org wrote:
Note neg just flips a bit so it is correct anyways
and there is no loss of precession.
Can you
ReportedBy: bagnara at cs dot unipr dot it
CC: gcc-bugs at gcc dot gnu dot org
GCC host triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21032
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr dot it
CC: gcc-bugs at gcc dot gnu dot org
GCC host triplet: i686-pc-linux-gnu
http
--- Additional Comments From bagnara at cs dot unipr dot it 2004-12-20
18:32 ---
Created an attachment (id=7784)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7784action=view)
Small program that allows to reproduce the problem
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagnara at cs dot unipr dot it
CC: gcc-bugs at gcc dot gnu dot org
GCC host triplet: i686-pc-linux-gnu
http
37 matches
Mail list logo
