[Bug lto/40902] New: LTO doesn't merge CV differences properly

[Bug lto/40902] New: LTO doesn't merge CV differences properly

[rguenth at gcc dot gnu dot org]

>From 464.h264ref we can see that for

t1.c
const int i[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };

t2.c
extern int i[10];
int main () { return i[0]; }

we should merge both decls, retaining the const qualification (the middle-end
considers both types compatible, lto_symtab_compatible doesn't).


-- 
           Summary: LTO doesn't merge CV differences properly
           Product: gcc
           Version: lto
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: lto
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40902

[Bug lto/40902] LTO doesn't merge CV differences properly

[bje at gcc dot gnu dot org]

------- Comment #1 from bje at gcc dot gnu dot org  2009-07-31 00:00 -------
Yes, this seems wrong.


-- 

bje 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-07-31 00:00:14
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40902

[Bug lto/40902] LTO doesn't merge CV differences properly

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-09-30 15:27 -------
Mine.


-- 

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-07-31 00:00:14         |2009-09-30 15:27:02
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40902

[Bug lto/40902] LTO doesn't merge CV differences properly

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-10-05 14:28 -------
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=40902

[Bug lto/40902] LTO doesn't merge CV differences properly

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-10-05 14:28 -------
Subject: Bug 40902

Author: rguenth
Date: Mon Oct  5 14:27:39 2009
New Revision: 152452

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152452
Log:
2009-10-05  Richard Guenther  <rguenther@suse.de>

        PR lto/40902
        * lto-symtab.c (lto_compatible_attributes_p): Remove.
        (external_aggregate_decl_p): Likewise.
        (lto_symtab_compatible): Re-structure.  Remove dead code.
        For variables ignore toplevel qualifiers when comparing types.
        Issue warnings, not errors for mismatched user-alignment.

        * gcc.dg/lto/20091005-1_0.c: New testcase.
        * gcc.dg/lto/20091005-1_1.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/lto/20091005-1_0.c
    trunk/gcc/testsuite/gcc.dg/lto/20091005-1_1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lto-symtab.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40902