[Bug c/26818] New: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[Bug c/26818] New: tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[flash at pobox dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2903 bytes --]

The file below causes "internal compiler error: tree check: expected class
'type', have 'exceptional' (error_mark) in finish_struct, at c-decl.c:5350"
with a checking=all build of GCC 4.1.0 on both Ubuntu Linux 5.04 and Mac OSX
10.4.5.  This is a Delta-reduced preprocessed version of the Linux kernel file
arch/x86_64/kernel/time.c; it was originally compiled by a test script outside
of the kernel tree, so it was presumably invalid C.

struct acpi_table_rsdt {
        struct acpi_table_header header;
} __attribute__ ((packed));


    A checking=all build of GCC 4.0.2 correctly reports an error with no
problem:
/opt/gcc402-chk-all/bin/gcc 
../cpp/bugfiles/GCC_bugfiles/error/122582_time_min.i
../cpp/bugfiles/GCC_bugfiles/error/122582_time_min.i:2: error: field ‘header’
has incomplete type
    This sounds somewhat like PR 22028, but that's marked as fixed in 4.1.0,
and its testcase doesn't cause a problem on my builds of 4.1.0.


Here's the session; I'll upload the file, though its complete contents are
above.

78> /opt/gcc410-chk-all/bin/gcc -v 
../cpp/bugfiles/GCC_bugfiles/error/122582_time_min.i
Using built-in specs.
Target: powerpc-apple-darwin8.5.0
Configured with: /opt/Gcc-4.1.0-dist/configure --enable-checking=all
--prefix=/opt/gcc410-chk-all --enable-languages=c,c++ --with-comment=PalmSource
checking=all build by Flash Sheridan 3/17/06
Thread model: posix
gcc version 4.1.0
 /opt/gcc410-chk-all/libexec/gcc/powerpc-apple-darwin8.5.0/4.1.0/cc1
-fpreprocessed ../cpp/bugfiles/GCC_bugfiles/error/122582_time_min.i -fPIC
-quiet -dumpbase 122582_time_min.i -auxbase 122582_time_min -version -o
/var/tmp//ccRoo730.s
GNU C version 4.1.0 (powerpc-apple-darwin8.5.0)
        compiled by GNU C version 4.0.1 (Apple Computer, Inc. build 5247).
GGC heuristics: --param ggc-min-expand=0 --param ggc-min-heapsize=0
Compiler executable checksum: 1116648296470812f723ca4bff2463c0
../cpp/bugfiles/GCC_bugfiles/error/122582_time_min.i:2: error: field 'header'
has incomplete type
../cpp/bugfiles/GCC_bugfiles/error/122582_time_min.i:3: internal compiler
error: tree check: expected class 'type', have 'exceptional' (error_mark) in
finish_struct, at c-decl.c:5350
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


---
PalmSource bug 122582
http://pobox.com/~flash
Quality Lead for Compilers and Debuggers
PalmSource, Inc. Tools Quality Management


-- 
           Summary: tree check: expected class ‘type’, have ‘exceptional’
                    (error_mark) in finish_struct, at c-decl.c:5350 (time.c)
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: flash at pobox dot com


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

[Bug c/26818] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[flash at pobox dot com]

------- Comment #1 from flash at pobox dot com  2006-03-23 01:43 -------
Created an attachment (id=11101)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11101&action=view)
Delta-reduced version


-- 


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

[Bug c/26818] [4.1/4.2 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[rguenth at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1245 bytes --]



------- Comment #2 from rguenth at gcc dot gnu dot org  2006-03-23 09:29 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |error-recovery, ice-
                   |                            |checking, ice-on-invalid-
                   |                            |code
      Known to fail|                            |4.1.0 4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-03-23 09:29:26
               date|                            |
            Summary|tree check: expected class  |[4.1/4.2 Regression] tree
                   |‘type’, have ‘exceptional’  |check: expected class
                   |(error_mark) in             |‘type’, have ‘exceptional’
                   |finish_struct, at c-        |(error_mark) in
                   |decl.c:5350 (time.c)        |finish_struct, at c-
                   |                            |decl.c:5350 (time.c)


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

[Bug c/26818] [4.1/4.2 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[reichelt at gcc dot gnu dot org]

------- Comment #3 from reichelt at gcc dot gnu dot org  2006-03-27 20:03 -------
Testing a patch.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |reichelt at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Target Milestone|---                         |4.1.1


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

[Bug c/26818] [4.1/4.2 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[patchapp at dberlin dot org]

------- Comment #4 from patchapp at dberlin dot org  2006-03-28 14:00 -------
Subject: Bug number PR c/26818

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-03/msg01615.html


-- 


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

[Bug c/26818] [4.1/4.2 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug c/26818] [4.1/4.2 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[reichelt at gcc dot gnu dot org]

------- Comment #5 from reichelt at gcc dot gnu dot org  2006-05-22 12:21 -------
Subject: Bug 26818

Author: reichelt
Date: Mon May 22 12:20:41 2006
New Revision: 113975

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113975
Log:
        PR c/26818
        * c-decl.c (finish_struct): Skip erroneous fields.

        * gcc.dg/struct-incompl-1.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/struct-incompl-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-decl.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c/26818] [4.1 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[reichelt at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 809 bytes --]



------- Comment #6 from reichelt at gcc dot gnu dot org  2006-05-22 12:26 -------
Fixed on mainline.
Waiting for the 4.1 branch to unfrezze.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 Regression] tree   |[4.1 Regression] tree check:
                   |check: expected class       |expected class ‘type’, have
                   |‘type’, have ‘exceptional’  |‘exceptional’ (error_mark)
                   |(error_mark) in             |in finish_struct, at c-
                   |finish_struct, at c-        |decl.c:5350 (time.c)
                   |decl.c:5350 (time.c)        |


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

[Bug c/26818] [4.1 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[mmitchel at gcc dot gnu dot org]

------- Comment #7 from mmitchel at gcc dot gnu dot org  2006-05-25 02:34 -------
Will not be fixed in 4.1.1; adjust target milestone to 4.1.2.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.1                       |4.1.2


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

[Bug c/26818] [4.1 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[reichelt at gcc dot gnu dot org]

------- Comment #8 from reichelt at gcc dot gnu dot org  2006-05-29 06:44 -------
Subject: Bug 26818

Author: reichelt
Date: Mon May 29 06:44:46 2006
New Revision: 114187

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114187
Log:
        PR c/26818
        * c-decl.c (finish_struct): Skip erroneous fields.

        * gcc.dg/struct-incompl-1.c: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/struct-incompl-1.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/c-decl.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c/26818] [4.1/4.2 Regression] tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in finish_struct, at c-decl.c:5350 (time.c)

[reichelt at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 900 bytes --]



------- Comment #9 from reichelt at gcc dot gnu dot org  2006-05-29 07:10 -------
Now also fixed on the 4.1 branch.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
            Summary|[4.1 Regression] tree check:|[4.1/4.2 Regression] tree
                   |expected class ‘type’, have |check: expected class
                   |‘exceptional’ (error_mark)  |‘type’, have ‘exceptional’
                   |in finish_struct, at c-     |(error_mark) in
                   |decl.c:5350 (time.c)        |finish_struct, at c-
                   |                            |decl.c:5350 (time.c)


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