[Bug rtl-optimization/55730] New: [4.8 Regression] ICE in mem_loc_descriptor, at dwarf2out.c:12725

[Bug rtl-optimization/55730] New: [4.8 Regression] ICE in mem_loc_descriptor, at dwarf2out.c:12725

[rguenth at gcc dot gnu.org]

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

             Bug #: 55730
           Summary: [4.8 Regression] ICE in mem_loc_descriptor, at
                    dwarf2out.c:12725
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rguenth@gcc.gnu.org
            Target: powerpc64-linux


Created attachment 28996
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28996
preprocessed source

/usr/lib64/gcc/powerpc64-suse-linux/4.8/cc1 -fpreprocessed format_pack.i
-msecure-plt -quiet -dumpbase format_pack.c -mcpu=power4 -auxbase-strip
.libs/format_pack.o -g -O2 -Wall -Werror=implicit-function-declaration
-Werror=missing-prototypes -std=c99 -version -fvisibility=hidden
-fmessage-length=0 -fstack-protector -funwind-tables
-fasynchronous-unwind-tables -fno-strict-aliasing -fno-builtin-memcmp -fPIC -o
format_pack.s
GNU C (SUSE Linux) version 4.8.0 20121217 [trunk revision 194556]
(powerpc64-suse-linux)
        compiled by GNU C version 4.8.0 20121217 [trunk revision 194556], GMP
version 5.0.5, MPFR version 3.1.1, MPC version 1.0
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C (SUSE Linux) version 4.8.0 20121217 [trunk revision 194556]
(powerpc64-suse-linux)
        compiled by GNU C version 4.8.0 20121217 [trunk revision 194556], GMP
version 5.0.5, MPFR version 3.1.1, MPC version 1.0
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 95572fc9d0aa2e1ae6283f447379255d
(clobber:QI (const_int 0 [0]))../../src/mesa/main/format_pack.c: In function
'pack_float_RGB565':
../../src/mesa/main/format_pack.c:467:1: internal compiler error: in
mem_loc_descriptor, at dwarf2out.c:12725
 }
 ^
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://bugs.opensuse.org/> for instructions.

[Bug debug/55730] [4.8 Regression] ICE in mem_loc_descriptor, at dwarf2out.c:12725

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|rtl-optimization            |debug
   Target Milestone|---                         |4.8.0

[Bug debug/55730] [4.8 Regression] ICE in mem_loc_descriptor, at dwarf2out.c:12725

[rguenth at gcc dot gnu.org]

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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-18 14:37:47 UTC ---
Reducing.

[Bug debug/55730] [4.8 Regression] ICE in mem_loc_descriptor, at dwarf2out.c:12725

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-18 14:51:11 UTC ---
Reduced with a cross from x86_64 configured with --target=powerpc64-suse-linux
--with-cpu-64=power4 --enable-secureplt --with-long-double-128
--enable-languages=c,c++


typedef int GLint;
typedef unsigned char GLubyte;
typedef unsigned short GLushort;
typedef float GLfloat;
typedef union {
    GLfloat f;
    GLint i;
} fi_type;
void pack_float_GR88 (void *dst)
{
  GLushort *d = ((GLushort *) dst);
  GLubyte r, g;
  fi_type __tmp;
  if (__tmp.i < 0) 
    g = (GLubyte) 0;
  else 
    {
      __tmp.f = __tmp.f * (255.0F/256.0F) + 32768.0F;
      g = (GLubyte) __tmp.i;
    }
  *d = (((g) << 8) | (r));
}

> ./cc1 -fpreprocessed format_pack.3.i -msecure-plt -quiet -mcpu=power4 -g -O2
(clobber:QI (const_int 0 [0]))format_pack.3.i: In function 'pack_float_GR88':
format_pack.3.i:22:1: internal compiler error: in mem_loc_descriptor, at
dwarf2out.c:12729
 }
 ^
0x76b280 mem_loc_descriptor(rtx_def*, machine_mode, machine_mode,
var_init_status)
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:12729
0x76c090 loc_descriptor
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:13068
0x76b85a loc_descriptor
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:12894
0x76c4c4 dw_loc_list_1
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:13167
0x76cc5c dw_loc_list
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:13423
0x76dab1 loc_list_from_tree
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:13808
0x771ea7 add_location_or_const_value_attribute
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:15302
0x77a85b gen_variable_die
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:18415
0x77fbce gen_decl_die
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:20051
0x77e3aa process_scope_var
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:19595
0x77e416 decls_for_scope
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:19617
0x779393 gen_subprogram_die
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:18004
0x77f84d gen_decl_die
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:19984
0x780836 dwarf2out_decl(tree_node*)
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:20366
0x780870 dwarf2out_function_decl
        /space/rguenther/src/svn/trunk/gcc/dwarf2out.c:20374
0x7e6ccc rest_of_handle_final
        /space/rguenther/src/svn/trunk/gcc/final.c:4302
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug debug/55730] [4.8 Regression] ICE in mem_loc_descriptor, at dwarf2out.c:12725

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-12-18
                 CC|                            |jakub at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-18 15:21:00 UTC ---
Even further reduced (-g -O2):
union U
{
  float f;
  int i;
};

void
foo (unsigned short *x, unsigned char y)
{
  unsigned char g;
  union U u;
  if (u.i < 0)
    g = 0;
  else
    {
      u.f = u.f * (255.0F / 256.0F) + 32768.0F;
      g = (unsigned char) u.i;
    }
  *x = (g << 8) | y;
}

[Bug debug/55730] [4.8 Regression] ICE in mem_loc_descriptor, at dwarf2out.c:12725

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-19 12:17:05 UTC ---
Author: jakub
Date: Wed Dec 19 12:16:56 2012
New Revision: 194607

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194607
Log:
    PR debug/55730
    * dwarf2out.c (mem_loc_descriptor): Ignore CLOBBER.
    * valtrack.c (gen_lowpart_for_debug): New function.
    (propagate_for_debug): Temporarily set rtl_hooks.gen_lowpart_no_emit
    to gen_lowpart_for_debug.

    * gcc.dg/debug/pr55730.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/debug/pr55730.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/dwarf2out.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/valtrack.c

[Bug debug/55730] [4.8 Regression] ICE in mem_loc_descriptor, at dwarf2out.c:12725

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-19 12:25:15 UTC ---
Fixed.