[Bug c/50141] New: ICE: tree check: expected var_decl, have parm_decl in get_bit_range, at expr.c:4357 with --param allow-store-data-races=0 and bitfields

[Bug c/50141] New: ICE: tree check: expected var_decl, have parm_decl in get_bit_range, at expr.c:4357 with --param allow-store-data-races=0 and bitfields

[zsojka at seznam dot cz]

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

             Bug #: 50141
           Summary: ICE: tree check: expected var_decl, have parm_decl in
                    get_bit_range, at expr.c:4357 with --param
                    allow-store-data-races=0 and bitfields
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: aldyh@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 25063
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25063
reduced testcase

Compiler output:
$ gcc --param allow-store-data-races=0 testcase.c
testcase.c: In function 'foo':
testcase.c:11:7: internal compiler error: tree check: expected var_decl, have
parm_decl in get_bit_range, at expr.c:4357
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

The same happens when compiled as C++.

[Bug middle-end/50141] ICE: tree check: expected var_decl, have parm_decl in get_bit_range, at expr.c:4357 with --param allow-store-data-races=0 and bitfields

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-08-22
                 CC|                            |jakub at gcc dot gnu.org
          Component|c                           |middle-end
     Ever Confirmed|0                           |1

[Bug middle-end/50141] ICE: tree check: expected var_decl, have parm_decl in get_bit_range, at expr.c:4357 with --param allow-store-data-races=0 and bitfields

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-22 08:16:44 UTC ---
Created attachment 25073
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25073
gcc47-pr50141.patch

Untested fix.

[Bug middle-end/50141] ICE: tree check: expected var_decl, have parm_decl in get_bit_range, at expr.c:4357 with --param allow-store-data-races=0 and bitfields

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-22 15:00:13 UTC ---
Author: jakub
Date: Mon Aug 22 15:00:06 2011
New Revision: 177957

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177957
Log:
    PR middle-end/50141
    * expr.c (get_bit_range): Only use DECL_THREAD_LOCAL_P if
    innerdecl is a VAR_DECL.

    * c-c++-common/cxxbitfields-6.c: New test.

Added:
    trunk/gcc/testsuite/c-c++-common/cxxbitfields-6.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/expr.c
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/50141] ICE: tree check: expected var_decl, have parm_decl in get_bit_range, at expr.c:4357 with --param allow-store-data-races=0 and bitfields

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-22 15:12:46 UTC ---
Fixed.