[Bug rtl-optimization/50827] New: [4.7 Regression] ICE: RTL check: expected elt 0 type 'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011

[Bug rtl-optimization/50827] New: [4.7 Regression] ICE: RTL check: expected elt 0 type 'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011

[zsojka at seznam dot cz]

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

             Bug #: 50827
           Summary: [4.7 Regression] ICE: RTL check: expected elt 0 type
                    'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at
                    var-tracking.c:3011
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
            Target: x86_64-pc-linux-gnu
             Build: x86_64-pc-linux-gnu


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

Compiler output:
$ gcc -O2 -fno-ipa-sra -g testcase.C 
testcase.C: In function 'void std::_Destroy(_ForwardIterator, _ForwardIterator,
_Allocator&) [with _ForwardIterator =
__gnu_cxx::_Pointer_adapter<__gnu_cxx::_Relative_pointer_impl<std::vector<int,
__gnu_cxx::int_alloc_type> > >; _Allocator = __gnu_cxx::vec_alloc_type]':
testcase.C:53:3: internal compiler error: RTL check: expected elt 0 type 'e' or
'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

RTL checking is probably needed to reproduce.

Tested revisions:
r180324 - crash
r180260 - crash
r179959 - OK

[Bug rtl-optimization/50827] [4.7 Regression] ICE: RTL check: expected elt 0 type 'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011

[zsojka at seznam dot cz]

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

--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> 2011-10-23 06:59:24 UTC ---
Created attachment 25579
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25579
smaller testcase

This testcase needs a bit different flags:
$ gcc -O2 -g -funroll-loops testcase2.c 
testcase2.c: In function 'f':
testcase2.c:13:1: internal compiler error: RTL check: expected elt 0 type 'e'
or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

(gdb) bt
#0  rtl_check_failed_type2 (r=0x7ffff570a1b0, n=0, c1=101, c2=117,
file=0x12af360 "/mnt/svn/gcc-trunk/gcc/var-tracking.c", line=3011, 
    func=0x12b0200 "loc_cmp") at /mnt/svn/gcc-trunk/gcc/rtl.c:760
#1  0x0000000000bc4347 in loc_cmp (x=Unhandled dwarf expression opcode 0xf3
) at /mnt/svn/gcc-trunk/gcc/var-tracking.c:3011
#2  0x0000000000bc4461 in loc_cmp (x=Unhandled dwarf expression opcode 0xf3
) at /mnt/svn/gcc-trunk/gcc/var-tracking.c:3074
#3  0x0000000000bc4e5e in onepart_variable_different_p (var1=0x7ffff570a1b0,
var2=0x0) at /mnt/svn/gcc-trunk/gcc/var-tracking.c:4463
#4  0x0000000000bd957a in variable_merge_over_cur (dst=Unhandled dwarf
expression opcode 0xf3
) at /mnt/svn/gcc-trunk/gcc/var-tracking.c:3706
#5  dataflow_set_merge (dst=Unhandled dwarf expression opcode 0xf3
) at /mnt/svn/gcc-trunk/gcc/var-tracking.c:3784
#6  0x0000000000bd9fcf in vt_find_locations () at
/mnt/svn/gcc-trunk/gcc/var-tracking.c:6567
#7  0x0000000000bde265 in variable_tracking_main_1 () at
/mnt/svn/gcc-trunk/gcc/var-tracking.c:9608
#8  variable_tracking_main () at /mnt/svn/gcc-trunk/gcc/var-tracking.c:9653
#9  0x00000000008e5d68 in execute_one_pass (pass=0x17a1ca0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2064
#10 0x00000000008e60d5 in execute_pass_list (pass=0x17a1ca0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2119
#11 0x00000000008e60e7 in execute_pass_list (pass=0x179e840) at
/mnt/svn/gcc-trunk/gcc/passes.c:2120
#12 0x00000000008e60e7 in execute_pass_list (pass=0x179e8a0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2120
#13 0x0000000000a3df6e in tree_rest_of_compilation (fndecl=0x7ffff568a100) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:420
#14 0x000000000069475a in cgraph_expand_function (node=0x7ffff55887e0) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1819
#15 0x00000000006966ac in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1886
#16 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2197
#17 0x0000000000696baa in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1327
#18 0x000000000057939b in c_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/c-decl.c:9940
#19 0x00000000009dbb84 in compile_file (argc=15, argv=0x7fffffffdad8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:581
#20 do_compile (argc=15, argv=0x7fffffffdad8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1930
#21 toplev_main (argc=15, argv=0x7fffffffdad8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:2006
#22 0x00007ffff6178d2d in __libc_start_main () from /lib64/libc.so.6
#23 0x000000000055cf19 in _start ()

[Bug rtl-optimization/50827] [4.7 Regression] ICE: RTL check: expected elt 0 type 'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug rtl-optimization/50827] [4.7 Regression] ICE: RTL check: expected elt 0 type 'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-10-27
     Ever Confirmed|0                           |1

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-27 11:32:30 UTC ---
Confirmed.

[Bug rtl-optimization/50827] [4.7 Regression] ICE: RTL check: expected elt 0 type 'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011

[jakub at gcc dot gnu.org]

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

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 #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-21 16:19:09 UTC ---
Created attachment 25872
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25872
gcc47-pr50827.patch

Untested fix.

[Bug debug/50827] [4.7 Regression] ICE: RTL check: expected elt 0 type 'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-21 21:07:23 UTC ---
Author: jakub
Date: Mon Nov 21 21:07:19 2011
New Revision: 181597

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181597
Log:
    PR debug/50827
    * var-tracking.c (loc_cmp): For ENTRY_VALUEs use ENTRY_VALUE_EXP
    macro instead of XEXP.

    * gcc.dg/pr50827.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr50827.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/var-tracking.c

[Bug debug/50827] [4.7 Regression] ICE: RTL check: expected elt 0 type 'e' or 'u', have '0' (rtx entry_value) in loc_cmp, at var-tracking.c:3011

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-22 11:03:26 UTC ---
Fixed.