--- 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 |
--- 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
dot org
ReportedBy: 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 #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=16359&action=view)
Assembly code generated with g++ -S -mieee-with-inexact sf.cc
--
http://gcc.gnu.org/bugzilla/show_
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-
Product: gcc
Version: 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://
--- 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=14894&action=view)
New testcase showing the problem with GCC 4.3.0
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33802
--- 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 of the
--- 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 #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=14366&action=view)
(Big) testcase that allows to reproduce
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33802
ary: g++ says `z' is used uninitialized but this is not true
Product: gcc
Version: 4.1.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bagna
--- 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
--- 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
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 #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
fldl1
--- 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:
pu
ns 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
--- 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=12732&action=view)
Program exhibiting the described behavior
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30059
selected
Product: gcc
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-unknow
--- 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=12725&action=view)
The file g++ asked me to attach.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30042
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=30042
--- 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
Summary: Program links only at -O2 or above
Product: gcc
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 uni
--- 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=11274&action=view)
Testcase that allows to reproduce the problem
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27173
-O -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 #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
--- 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
--- 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 atte
Excessive 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
--- 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
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
--- 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=7784&action=view)
Small program that allows to reproduce the problem
--
http://gcc.gnu.org/bugzilla/show_bug
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
4.3
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
h
37 matches
Mail list logo