* [Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
2009-10-10 17:33 [Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto danglin at gcc dot gnu dot org
@ 2009-10-10 18:44 ` rguenth at gcc dot gnu dot org
2009-11-23 3:11 ` jvdelisle at gcc dot gnu dot org
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-10-10 18:44 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from rguenth at gcc dot gnu dot org 2009-10-10 18:43 -------
Confirmed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2009-10-10 18:43:53
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41664
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
2009-10-10 17:33 [Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto danglin at gcc dot gnu dot org
2009-10-10 18:44 ` [Bug lto/41664] " rguenth at gcc dot gnu dot org
@ 2009-11-23 3:11 ` jvdelisle at gcc dot gnu dot org
2010-01-02 14:28 ` rguenth at gcc dot gnu dot org
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: jvdelisle at gcc dot gnu dot org @ 2009-11-23 3:11 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from jvdelisle at gcc dot gnu dot org 2009-11-23 03:10 -------
This is also failing on x86-64. It is not target specific unless there is
another PR for the x86-64.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41664
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
2009-10-10 17:33 [Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto danglin at gcc dot gnu dot org
2009-10-10 18:44 ` [Bug lto/41664] " rguenth at gcc dot gnu dot org
2009-11-23 3:11 ` jvdelisle at gcc dot gnu dot org
@ 2010-01-02 14:28 ` rguenth at gcc dot gnu dot org
2010-01-02 14:32 ` rguenth at gcc dot gnu dot org
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-01-02 14:28 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from rguenth at gcc dot gnu dot org 2010-01-02 14:27 -------
Yes, this is a known issue with LTO and combining C and Fortran code which
accesses commons in both languages.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
GCC build triplet|hppa-unknown-linux-gnu |
GCC host triplet|hppa-unknown-linux-gnu |
GCC target triplet|hppa-unknown-linux-gnu |
Keywords| |wrong-code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41664
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
2009-10-10 17:33 [Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto danglin at gcc dot gnu dot org
` (2 preceding siblings ...)
2010-01-02 14:28 ` rguenth at gcc dot gnu dot org
@ 2010-01-02 14:32 ` rguenth at gcc dot gnu dot org
2010-02-11 13:32 ` rguenth at gcc dot gnu dot org
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-01-02 14:32 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from rguenth at gcc dot gnu dot org 2010-01-02 14:32 -------
Related to PR41227. But from that it seems we need to fix this up during LTO.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn| |41227
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41664
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
2009-10-10 17:33 [Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto danglin at gcc dot gnu dot org
` (3 preceding siblings ...)
2010-01-02 14:32 ` rguenth at gcc dot gnu dot org
@ 2010-02-11 13:32 ` rguenth at gcc dot gnu dot org
2010-02-11 13:38 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-02-11 13:32 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rguenth at gcc dot gnu dot org 2010-02-11 13:31 -------
The basic issue here is that sub0 is inlined into main and we assign different
alias sets to struct my_c_type_1 and struct c_type_1 because they have
different
tags. Something ok for C but too strict for cross-language TBAA.
Thus tree DSE removes the initialization of c_type.j.
main (<unnamed-signed:32> argc, <unnamed-signed:8> * * argv)
{
<unnamed-signed:32> D.2072;
struct my_c_type_1 & restrict my_type;
struct c_type_1 c_type;
<unnamed-signed:32> D.2054;
<bb 2>:
c_type.j = 11;
my_type_5 = (struct my_c_type_1 & restrict) &c_type;
D.2072_6 = my_type_5->j;
if (D.2072_6 != 11)
goto <bb 3>;
else
goto <bb 4>;
<bb 3>:
_gfortran_abort ();
<bb 4>:
return 0;
tree DCE doesn't because its aliased.
The offending check in gimple_types_compatible that forces us to not
merge the two structure types is
/* The struct tags shall compare equal. */
if (!compare_type_names_p (TYPE_MAIN_VARIANT (t1),
TYPE_MAIN_VARIANT (t2), false))
goto different_types;
This bug will only be fully fixed with the introduction of a purely
structural type hierarchy for TBAA. We can use TYPE_CANONICAL for that
once we make that unnecessary in its current meaning (meaning doing
the gimple type-merging per TU at gimplification time).
For now we can relax the alias-oracle somewhat to give leeway to this
and similar (even if slightly undefined) testcases.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2009-10-10 18:43:53 |2010-02-11 13:31:59
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41664
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
2009-10-10 17:33 [Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto danglin at gcc dot gnu dot org
` (4 preceding siblings ...)
2010-02-11 13:32 ` rguenth at gcc dot gnu dot org
@ 2010-02-11 13:38 ` rguenth at gcc dot gnu dot org
2010-02-11 15:39 ` rguenth at gcc dot gnu dot org
2010-02-11 15:39 ` rguenth at gcc dot gnu dot org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-02-11 13:38 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from rguenth at gcc dot gnu dot org 2010-02-11 13:38 -------
It's not really related to 41227 - that case was about struct F { int i; } a;
vs int a;, a case that I believe happens when building the gfortran testsuite
with -flto (which also enables -fwhole-file).
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn|41227 |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41664
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
2009-10-10 17:33 [Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto danglin at gcc dot gnu dot org
` (5 preceding siblings ...)
2010-02-11 13:38 ` rguenth at gcc dot gnu dot org
@ 2010-02-11 15:39 ` rguenth at gcc dot gnu dot org
2010-02-11 15:39 ` rguenth at gcc dot gnu dot org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-02-11 15:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from rguenth at gcc dot gnu dot org 2010-02-11 15:39 -------
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41664
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
2009-10-10 17:33 [Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto danglin at gcc dot gnu dot org
` (6 preceding siblings ...)
2010-02-11 15:39 ` rguenth at gcc dot gnu dot org
@ 2010-02-11 15:39 ` rguenth at gcc dot gnu dot org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-02-11 15:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from rguenth at gcc dot gnu dot org 2010-02-11 15:39 -------
Subject: Bug 41664
Author: rguenth
Date: Thu Feb 11 15:38:59 2010
New Revision: 156699
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=156699
Log:
2010-02-11 Richard Guenther <rguenther@suse.de>
PR lto/41664
* tree-ssa-alias.c (refs_may_alias_p_1): Canonicalize
pointer-vs-decl case by swapping refs. Handle some cases
of pointer-vs-decl disambiguations more conservatively.
* cfgexpand.c (gimple_expand_cfg): Set gimple_df->in_ssa_p
to false after expanding.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cfgexpand.c
trunk/gcc/tree-ssa-alias.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41664
^ permalink raw reply [flat|nested] 9+ messages in thread