[Bug c++/30328] New: bit-field: unassemblable assembly code

[Bug c++/30328] New: bit-field: unassemblable assembly code

[s__nakayama at infoseek dot jp]

gcc produces unassemblable assembly code. 

//testcase:
struct S
{
  signed int a:17;
} x;

typedef typeof (x.a) foo;

template <class T>
T* inc(T* p) { return p+1; }

int main ()
{
  foo x[2] = { 1,2 };
  int y[2] = { 1,2 };
  *inc(x);
  *inc(y);
  return 0;
}

result
$ g++ -S bug.cpp
$ g++ -c bug.s
bug.s: Assembler messages:
bug.s:18: Error: symbol `__Z3incIiEPT_S1_' is already defined

gcc version: 4.2 20061212


-- 
           Summary: bit-field: unassemblable assembly code
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: s__nakayama at infoseek dot jp


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

[Bug c++/30328] [4.2 Regression] bit-field: unassemblable assembly code

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-01-07 01:01 -------
Confirmed, a regression from 4.1.2.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |assemble-failure
      Known to fail|                            |4.2.0 4.3.0
      Known to work|                            |4.1.2
   Last reconfirmed|0000-00-00 00:00:00         |2007-01-07 01:01:24
               date|                            |
            Summary|bit-field: unassemblable    |[4.2 Regression] bit-field:
                   |assembly code               |unassemblable assembly code
   Target Milestone|---                         |4.2.0


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

[Bug c++/30328] [4.2/4.3 Regression] bit-field: unassemblable assembly code

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug c++/30328] [4.2/4.3 Regression] bit-field: unassemblable assembly code

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/30328] [4.2/4.3 Regression] bit-field: unassemblable assembly code

[mmitchel at gcc dot gnu dot org]

------- Comment #2 from mmitchel at gcc dot gnu dot org  2007-03-12 00:26 -------
Subject: Bug 30328

Author: mmitchel
Date: Mon Mar 12 00:26:39 2007
New Revision: 122829

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122829
Log:
        PR c++/30328
        * semantics.c (finish_typeof): Use unlowered_expr_type.

        PR c++/30328
        * g++.dg/ext/bitfield1.C: New test.

        PR c++/31038
        * parser.c (cp_parser_postfix_expression): Disallow compound
        literals in constant expressions.

        PR c++/31038
        * g++.dg/template/complit2.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/ext/bitfield1.C
    trunk/gcc/testsuite/g++.dg/template/complit2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/30328] [4.2 Regression] bit-field: unassemblable assembly code

[mmitchel at gcc dot gnu dot org]

------- Comment #3 from mmitchel at gcc dot gnu dot org  2007-03-12 01:32 -------
Fixed in 4.3.0.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.2/4.3 Regression] bit-   |[4.2 Regression] bit-field:
                   |field: unassemblable        |unassemblable assembly code
                   |assembly code               |


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

[Bug c++/30328] [4.2 Regression] bit-field: unassemblable assembly code

[mmitchel at gcc dot gnu dot org]

------- Comment #5 from mmitchel at gcc dot gnu dot org  2007-03-12 01:53 -------
Fixed in 4.2.0.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug c++/30328] [4.2 Regression] bit-field: unassemblable assembly code

[mmitchel at gcc dot gnu dot org]

------- Comment #4 from mmitchel at gcc dot gnu dot org  2007-03-12 01:52 -------
Subject: Bug 30328

Author: mmitchel
Date: Mon Mar 12 01:52:45 2007
New Revision: 122830

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122830
Log:
        PR c++/31038
        * parser.c (cp_parser_postfix_expression): Disallow compound
        literals in constant expressions.

        PR c++/30328
        * semantics.c (finish_typeof): Use unlowered_expr_type.

        PR c++/31038
        * g++.dg/template/complit2.C: New test.

        PR c++/30328
        * g++.dg/ext/bitfield1.C: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/g++.dg/ext/bitfield1.C
    branches/gcc-4_2-branch/gcc/testsuite/g++.dg/template/complit2.C
Modified:
    branches/gcc-4_2-branch/gcc/cp/ChangeLog
    branches/gcc-4_2-branch/gcc/cp/parser.c
    branches/gcc-4_2-branch/gcc/cp/semantics.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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