[Bug c/41411] New: ICE: mem_loc_descriptor, at dwarf2out.c:11616

[Bug c/41411] New: ICE: mem_loc_descriptor, at dwarf2out.c:11616

[joel at gcc dot gnu dot org]

Using native gcc to compile sparc of same source.  The offending file belongs
to newlib.  Preprocessed output shortly.

$ gcc --version
gcc (GCC) 4.5.0 20090919 (experimental) [trunk revision 151882]

/users/joel/test-gcc/b-gcc1-sparc/./gcc/xgcc
-B/users/joel/test-gcc/b-gcc1-sparc/./gcc/ -nostdinc
-B/users/joel/test-gcc/b-gcc1-sparc/sparc-rtems4.10/newlib/ -isystem
/users/joel/test-gcc/b-gcc1-sparc/sparc-rtems4.10/newlib/targ-include -isystem
/users/joel/test-gcc/gcc-svn/newlib/libc/include
-B/users/joel/test-gcc/install-svn/sparc-rtems4.10/bin/
-B/users/joel/test-gcc/install-svn/sparc-rtems4.10/lib/ -isystem
/users/joel/test-gcc/install-svn/sparc-rtems4.10/include -isystem
/users/joel/test-gcc/install-svn/sparc-rtems4.10/sys-include   
-DPACKAGE_NAME=\"newlib\" -DPACKAGE_TARNAME=\"newlib\"
-DPACKAGE_VERSION=\"1.17.0\" -DPACKAGE_STRING=\"newlib\ 1.17.0\"
-DPACKAGE_BUGREPORT=\"\"  -I. -I/users/joel/test-gcc/gcc-svn/newlib/libm/common
-O2 -DMALLOC_ALIGNMENT=8 -DMALLOC_PROVIDED -DEXIT_PROVIDED
-DMISSING_SYSCALL_NAMES -DSIGNAL_PROVIDED -DREENTRANT_SYSCALLS_PROVIDED
-DHAVE_NANOSLEEP -DHAVE_FCNTL -D_NO_GETLOGIN -D_NO_GETPWENT -D_NO_GETUT
-D_NO_GETPASS -D_NO_SIGSET -fno-builtin      -g -O2 -c -o lib_a-s_rint.o `test
-f 's_rint.c' || echo
'/users/joel/test-gcc/gcc-svn/newlib/libm/common/'`s_rint.c
(high:SI (symbol_ref/u:SI ("*.LLC6") [flags
0x2]))/users/joel/test-gcc/gcc-svn/newlib/libm/common/s_log1p.c: In function
'log1p':
/users/joel/test-gcc/gcc-svn/newlib/libm/common/s_log1p.c:215:1: internal
compiler error: in mem_loc_descriptor, at dwarf2out.c:11616
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE: mem_loc_descriptor, at dwarf2out.c:11616
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: joel at gcc dot gnu dot org
GCC target triplet: sparc-rtems4.10


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

[Bug c/41411] ICE: mem_loc_descriptor, at dwarf2out.c:11616

[joel at gcc dot gnu dot org]

------- Comment #1 from joel at gcc dot gnu dot org  2009-09-19 18:58 -------
Created an attachment (id=18609)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18609&action=view)
Preprocessed code to generate bug

dropping -g from the command line fixes it.  Full command in next comment.


-- 


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

[Bug c/41411] ICE: mem_loc_descriptor, at dwarf2out.c:11616

[joel at gcc dot gnu dot org]

------- Comment #2 from joel at gcc dot gnu dot org  2009-09-19 18:59 -------
This is the command I used to generate the ICE on the attached test case. 
Dropping the -g got rid of the ICE.

/users/joel/test-gcc/b-gcc1-sparc/./gcc/xgcc
-B/users/joel/test-gcc/b-gcc1-sparc/./gcc/
-B/users/joel/test-gcc/b-gcc1-sparc/sparc-rtems4.10/newlib/ -isystem
/users/joel/test-gcc/b-gcc1-sparc/sparc-rtems4.10/newlib/targ-include -isystem
/users/joel/test-gcc/gcc-svn/newlib/libc/include
-B/users/joel/test-gcc/install-svn/sparc-rtems4.10/bin/
-B/users/joel/test-gcc/install-svn/sparc-rtems4.10/lib/ -isystem
/users/joel/test-gcc/install-svn/sparc-rtems4.10/include -isystem
/users/joel/test-gcc/install-svn/sparc-rtems4.10/sys-include  -c -O2
-fno-builtin -g j.c


-- 


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

[Bug middle-end/41411] [4.5 Regression] ICE: mem_loc_descriptor, at dwarf2out.c:11616

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org
          Component|c                           |middle-end
            Summary|ICE: mem_loc_descriptor, at |[4.5 Regression] ICE:
                   |dwarf2out.c:11616           |mem_loc_descriptor, at
                   |                            |dwarf2out.c:11616
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/41411] [4.5 Regression] ICE: mem_loc_descriptor, at dwarf2out.c:11616

[hubicka at ucw dot cz]

------- Comment #3 from hubicka at ucw dot cz  2009-09-19 22:20 -------
Subject: Re:  [4.5 Regression] ICE: mem_loc_descriptor, at dwarf2out.c:11616

This is because mem_loc_descriptor gets called on:
(high:SI (symbol_ref/u:SI ("*.LLC6") [flags 0x2]))

Jakub, this is yours code, but it seems to me that mem_loc_descriptor is
OK to be called on pretty much and RTL expression now with VTA so it is
bug it does not know about HIGH.

HIGH can probably be represented via masking out the low order bits, but
I can't find in the docs if the bits are specified in some target
independent way and I am not sure how to important is to handle it.

It seems that we must've confused value tracking to end up with such
an expression in any variable interesting to debugging output?

Index: dwarf2out.c
===================================================================
--- dwarf2out.c (revision 151837)
+++ dwarf2out.c (working copy)
@@ -11566,6 +11624,7 @@ mem_loc_descriptor (rtx rtl, enum machin
     case ROTATE:
     case ROTATERT:
     case TRUNCATE:
+    case HIGH:
       /* In theory, we could implement the above.  */
       /* DWARF cannot represent the unsigned compare operations
         natively.  */


-- 


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

[Bug middle-end/41411] [4.5 Regression] ICE: mem_loc_descriptor, at dwarf2out.c:11616

[joel at gcc dot gnu dot org]

------- Comment #4 from joel at gcc dot gnu dot org  2009-09-21 18:45 -------
The patch allowed my build of sparc-rtems4.10 C/C++ to complete.  


-- 


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

[Bug middle-end/41411] [4.5 Regression] ICE: mem_loc_descriptor, at dwarf2out.c:11616

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2009-09-21 18:59 -------
I think it is safe to ignore it, as you've done.
It is target specific which bits are masked away and how.  It is enough that
for LO_SUM we look up the SYMBOL_REF referenced by the second operand.


-- 


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

[Bug debug/41411] [4.5 Regression] ICE: mem_loc_descriptor, at dwarf2out.c:11616

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2009-09-23 07:02 -------
Subject: Bug 41411

Author: jakub
Date: Wed Sep 23 07:02:26 2009
New Revision: 152059

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152059
Log:
        * dwarf2out.c (loc_list_plus_const): Only define if
        DWARF2_DEBUGGING_INFO.
        (address_of_int_loc_descriptor): Likewise.

        PR debug/41411
        * dwarf2out.c (mem_loc_descriptor): Handle HIGH.

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


-- 


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

[Bug debug/41411] [4.5 Regression] ICE: mem_loc_descriptor, at dwarf2out.c:11616

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2009-09-23 07:05 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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