[Bug middle-end/38615] New: [4.2/4.3/4.4 Regression] invalid promotion to static from auto

[Bug middle-end/38615] New: [4.2/4.3/4.4 Regression] invalid promotion to static from auto

[pinskia at gcc dot gnu dot org]

Testcase:
int t;
void abort (void);

int f(int t, const int *a)
{
 const int b[] = { 1, 2, 3};
 if (!t)
   return f(1, b);
 return b == a;
}

int main(void)
{
 if (f(0, 0))
   abort ();
 return 0;
}

-- CUT ---
Originally posted at:
http://gcc.gnu.org/ml/gcc/2008-11/msg00201.html


-- 
           Summary: [4.2/4.3/4.4 Regression] invalid promotion to static
                    from auto
           Product: gcc
           Version: 4.3.3
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org


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

[Bug middle-end/38615] [4.2/4.3/4.4 Regression] invalid promotion to static from auto

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.0.1 4.4.0 4.3.0 4.1.1
                   |                            |4.2.0
      Known to work|                            |3.3.3
   Target Milestone|---                         |4.2.5


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

[Bug middle-end/38615] [4.2/4.3/4.4 Regression] invalid promotion to static from auto

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |16620, 16989
              nThis|                            |
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-12-24 12:09:44
               date|                            |


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

[Bug middle-end/38615] [4.2/4.3/4.4 Regression] invalid promotion to static from auto

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug middle-end/38615] [4.2/4.3/4.4 Regression] invalid promotion to static from auto

[sje at gcc dot gnu dot org]

------- Comment #2 from sje at gcc dot gnu dot org  2009-01-22 17:03 -------
Subject: Bug 38615

Author: sje
Date: Thu Jan 22 17:03:35 2009
New Revision: 143571

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143571
Log:
        PR middle-end/38615
        * gcc.dg/pr38615.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr38615.c
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/38615] [4.2/4.3/4.4 Regression] invalid promotion to static from auto

[sje at gcc dot gnu dot org]

------- Comment #1 from sje at gcc dot gnu dot org  2009-01-22 17:02 -------
Subject: Bug 38615

Author: sje
Date: Thu Jan 22 17:02:21 2009
New Revision: 143570

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143570
Log:
        PR middle-end/38615
        * gimplify.c (gimplify_init_constructor): Fix promotion of const
        variables to static.
        * doc/invoke.texi (-fmerge-all-constants): Update description.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimplify.c


-- 


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

[Bug middle-end/38615] [4.2/4.3 Regression] invalid promotion to static from auto

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-01-25 18:35 -------
Fixed for 4.4.0.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.0.1 4.4.0 4.3.0 4.1.1     |4.0.1 4.4.0 4.3.0 4.1.1
                   |4.2.0                       |4.2.0 4.3.3
      Known to work|3.3.3                       |3.3.3 4.4.0
            Summary|[4.2/4.3/4.4 Regression]    |[4.2/4.3 Regression] invalid
                   |invalid promotion to static |promotion to static from
                   |from auto                   |auto


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

[Bug middle-end/38615] [4.2/4.3 Regression] invalid promotion to static from auto

[sje at gcc dot gnu dot org]

------- Comment #4 from sje at gcc dot gnu dot org  2009-01-27 18:46 -------
Subject: Bug 38615

Author: sje
Date: Tue Jan 27 18:45:49 2009
New Revision: 143708

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143708
Log:
        PR middle-end/38615
        * gimplify.c (gimplify_init_constructor): Fix promotion of const
        variables to static.
        * doc/invoke.texi (-fmerge-all-constants): Update description.
        * testsuite/gcc.dg/pr38615.c: New test.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/pr38615.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/doc/invoke.texi
    branches/gcc-4_3-branch/gcc/gimplify.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/38615] [4.2/4.3 Regression] invalid promotion to static from auto

[sje at cup dot hp dot com]

------- Comment #5 from sje at cup dot hp dot com  2009-01-27 18:48 -------
Fixed on trunk for 4.4.0 and on 4.3 branch for 4.3.4.


-- 

sje at cup dot hp dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to fail|4.0.1 4.4.0 4.3.0 4.1.1     |4.0.1 4.3.0 4.1.1 4.2.0
                   |4.2.0 4.3.3                 |4.3.3
      Known to work|3.3.3 4.4.0                 |3.3.3 4.3.4 4.4.0
         Resolution|                            |FIXED


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

[Bug middle-end/38615] [4.2/4.3 Regression] invalid promotion to static from auto

[doko at ubuntu dot com]

------- Comment #6 from doko at ubuntu dot com  2009-01-29 05:41 -------
the fix for this causes http://bugs.debian.org/513420
a miscompilation of libgsf with the gcc-4_3-branch, filed as PR39015.


-- 


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

[Bug middle-end/38615] [4.2/4.3 Regression] invalid promotion to static from auto

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2009-03-11 12:30 -------
*** Bug 39430 has been marked as a duplicate of this bug. ***


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |algrant at acm dot org


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

[Bug middle-end/38615] [4.2/4.3 Regression] invalid promotion to static from auto

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.5                       |4.3.4


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