[Bug c++/53135] New: internal compiler error: in value_format, at dwarf2out.c:8010

[Bug c++/53135] New: internal compiler error: in value_format, at dwarf2out.c:8010

[raj.khem at gmail dot com]

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

             Bug #: 53135
           Summary: internal compiler error: in value_format, at
                    dwarf2out.c:8010
    Classification: Unclassified
           Product: gcc
           Version: 4.7.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: raj.khem@gmail.com


gcc 4.7 latest from gcc-4_7-branch when configured for arm architecture gets
this ICE

arm-bug.i:47:1: internal compiler error: in value_format, at dwarf2out.c:8010
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


compiler cmdline is

arm-oe-linux-gnueabi-g++ arm-bug.i -g -S -O2

compiler configuration

Using built-in specs.
COLLECT_GCC=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/bin/armv5te-oe-linux-gnueabi/arm-oe-linux-gnueabi-g++
COLLECT_LTO_WRAPPER=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/libexec/armv5te-oe-linux-gnueabi/gcc/arm-oe-linux-gnueabi/4.7.1/lto-wrapper
Target: arm-oe-linux-gnueabi
Configured with:
/home/kraj/work/openembedded-core/build/tmp-eglibc/work-shared/gcc-4.7.0+svnr186651-r0/gcc-4_7-branch/configure
--build=x86_64-linux --host=x86_64-linux --target=arm-oe-linux-gnueabi
--prefix=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr
--exec_prefix=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr
--bindir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/bin/armv5te-oe-linux-gnueabi
--sbindir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/bin/armv5te-oe-linux-gnueabi
--libexecdir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/libexec/armv5te-oe-linux-gnueabi
--datadir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/share
--sysconfdir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/etc
--sharedstatedir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/com
--localstatedir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/var
--libdir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/lib/armv5te-oe-linux-gnueabi
--includedir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/include
--oldincludedir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/include
--infodir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/share/info
--mandir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr/share/man
--disable-silent-rules --disable-dependency-tracking
--with-libtool-sysroot=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux
--with-gnu-ld --enable-shared --enable-languages=c,c++ --enable-threads=posix
--disable-multilib --enable-c99 --enable-long-long --enable-symvers=gnu
--enable-libstdcxx-pch --program-prefix=arm-oe-linux-gnueabi-
--without-local-prefix --enable-target-optspace --enable-lto --enable-libssp
--disable-bootstrap --disable-libgomp --disable-libmudflap --with-system-zlib
--with-linker-hash-style=gnu --with-ppl=no --with-cloog=no
--enable-checking=release --enable-cheaders=c_global --with-float=soft
--with-gxx-include-dir=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/qemuarm/usr/include/c++
--with-sysroot=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/qemuarm
--with-build-sysroot=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/qemuarm
--enable-poison-system-directories --disable-libunwind-exceptions
--with-mpfr=/home/kraj/work/openembedded-core/build/tmp-eglibc/sysroots/x86_64-linux/usr
--with-system-zlib --disable-nls
Thread model: posix
gcc version 4.7.1 20120421 (prerelease) (GCC)

[Bug c++/53135] internal compiler error: in value_format, at dwarf2out.c:8010

[raj.khem at gmail dot com]

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

Khem Raj <raj.khem at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |arm-oe-linux-gnueabi
      Known to fail|                            |4.7.0, 4.7.1

--- Comment #1 from Khem Raj <raj.khem at gmail dot com> 2012-04-27 05:59:56 UTC ---
testcase

class QAbstractFileEngine
{
public:
    enum FileFlag {

        ReadOwnerPerm = 0x4000, WriteOwnerPerm = 0x2000, ExeOwnerPerm = 0x1000,
        ReadUserPerm = 0x0400, WriteUserPerm = 0x0200, ExeUserPerm = 0x0100,
        ReadGroupPerm = 0x0040, WriteGroupPerm = 0x0020, ExeGroupPerm = 0x0010,
        ReadOtherPerm = 0x0004, WriteOtherPerm = 0x0002, ExeOtherPerm = 0x0001,

    };
    bool setPermissions(unsigned int perms);
};

extern const char* str;
extern bool foo(const char*, int);

bool QAbstractFileEngine::setPermissions(unsigned int perms)
{   
    bool ret = false;
    int mode = 0;
    if (perms & ReadOwnerPerm)
        mode |= 0400;
    if (perms & WriteOwnerPerm)
        mode |= 0200;
    if (perms & ExeOwnerPerm)
        mode |= 0100;
    if (perms & ReadUserPerm)
        mode |= 0400;
    if (perms & WriteUserPerm)
        mode |= 0200;
    if (perms & ExeUserPerm)
        mode |= 0100;
    if (perms & ReadGroupPerm)
        mode |= (0400 >> 3);
    if (perms & WriteGroupPerm)
        mode |= (0200 >> 3);
    if (perms & ExeGroupPerm)
        mode |= (0100 >> 3);
    if (perms & ReadOtherPerm)
        mode |= ((0400 >> 3) >> 3);
    if (perms & WriteOtherPerm)
        mode |= ((0200 >> 3) >> 3);
    if (perms & ExeOtherPerm)
        mode |= ((0100 >> 3) >> 3);
        ret = foo(str, mode) == 0;
    return ret;
}

[Bug debug/53135] internal compiler error: in value_format, at dwarf2out.c:8010

[dushistov at mail dot ru]

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

Evgeniy Dushistov <dushistov at mail dot ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dushistov at mail dot ru

--- Comment #2 from Evgeniy Dushistov <dushistov at mail dot ru> 2012-07-13 07:29:22 UTC ---
I think that it should be marked as regression.
Because of qt 4.6.3 give such error message with gcc 4.7.1,
but with gcc 4.2 all works fine.

Can anybody with suitable permissions mark this bug as regression?

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.2.4
   Target Milestone|---                         |4.7.2
            Summary|internal compiler error: in |[4.7/4.8 Regression]
                   |value_format, at            |internal compiler error: in
                   |dwarf2out.c:8010            |value_format, at
                   |                            |dwarf2out.c:8010

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[dushistov at mail dot ru]

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

--- Comment #3 from Evgeniy Dushistov <dushistov at mail dot ru> 2012-07-14 22:18:12 UTC ---
I searched commit which cause error.
Here is result of running test from this bugreport, with such command:
arm-none-eabi-g++ -O2 -g -c /tmp/test.cpp

good:
r182757 | paolo | 2011-12-31 21:29:30 +0400 (Сб., 31 дек. 2011) | 14 lines

the next one in the trunk

bad:
r182760 | aoliva | 2012-01-01 00:02:48 +0400 (Вс., 01 янв. 2012) | 26 lines

Can anybody add "aoliva" to "CC List"?

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[mikpe at it dot uu.se]

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

Mikael Pettersson <mikpe at it dot uu.se> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aoliva at gcc dot gnu.org,
                   |                            |mikpe at it dot uu.se

--- Comment #4 from Mikael Pettersson <mikpe at it dot uu.se> 2012-07-15 18:35:32 UTC ---
The ICE still occurs with gcc 4.8 r189496 and 4.7 r189484, but with 4.8 it's
now masked by default by Jakub's r186835, -g -gdwarf-3 is needed to trigger it.

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-07-24
                 CC|                            |ramana at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #5 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> 2012-07-24 13:03:00 UTC ---

on trunk with -O2 -g -gdwarf-3 I can reproduce the ICE . 



{dw_attr = DW_AT_GNU_call_site_value, dw_attr_val = {val_class =
dw_val_class_loc, v = {val_addr = 0xb74576b4, val_offset =
12659530246790674100, val_loc_list = 0xb74576b4, val_loc = 0xb74576b4, val_int
= -5787213826918877516, val_unsigned = 12659530246790674100, val_double = {low
= 12659530246790674100, high = -5787213827046133841}, val_vec = {array =
0xb74576b4 "\350vE\267\n", length = 2947526575, elt_size = 2947526575},
val_die_ref = {die = 0xb74576b4, external = -1347440721}, val_fde_index =
3074782900, val_str = 0xb74576b4, val_lbl_id = 0xb74576b4 "\350vE\267\n",
val_flag = 180 '\264', val_file = 0xb74576b4, val_data8 =
"\264vE\267\257\257\257\257", val_decl_ref = 0xb74576b4, val_vms_delta = {lbl1
= 0xb74576b4 "\350vE\267\n", lbl2 = 0xafafafaf <Address 0xafafafaf out of
bounds>}}}}

#0  internal_error (gmsgid=0x8e9bd35 "in %s, at %s:%d") at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/diagnostic.c:955
#1  0x08c1c31f in fancy_abort (file=0x8cc24e8
"/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/dwarf2out.c", line=7467,
function=0x8cc21e7 "value_format") at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/diagnostic.c:1011
#2  0x0846054b in value_format (a=0xb7a329c0) at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/dwarf2out.c:7467
#3  0x0847fdaf in output_value_format (filename=0xbffff4de "/tmp/tst.cc") at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/dwarf2out.c:7572
#4  output_abbrev_section (filename=0xbffff4de "/tmp/tst.cc") at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/dwarf2out.c:7605
#5  dwarf2out_finish (filename=0xbffff4de "/tmp/tst.cc") at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/dwarf2out.c:22463
#6  0x08722b5a in compile_file () at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/toplev.c:594
#7  0x08724934 in do_compile (argc=5, argv=0xbffff2f4) at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/toplev.c:1863
#8  toplev_main (argc=5, argv=0xbffff2f4) at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/toplev.c:1939
#9  0x08c0defb in main (argc=5, argv=0xbffff2f4) at
/home/ramrad01/cross-build/fsf/src/gcc-pr54051/gcc/main.c:36
(gdb)

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[aoliva at gcc dot gnu.org]

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

Alexandre Oliva <aoliva at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2012-07-24 00:00:00         |
         AssignedTo|unassigned at gcc dot       |aoliva at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #6 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-08-07 01:54:12 UTC ---
On it

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[aoliva at gcc dot gnu.org]

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

--- Comment #7 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-08-07 02:26:55 UTC ---
Created attachment 27954
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27954
Patch that fixes (or works around?) the problem

We have a relatively large expression to represent the outgoing “mode”
parameter, computed from “perms”, that requires more than 64KiB to represent. 
block2 is not enough for that.  Jakub, is it intentional that we ICE in this
case, or is this patch a reasonable change?  We successfully output the
location expression; surely 64KiB+ expressions might be excessive, but I don't
think an ICE is the most desirable way to deal with such large expressions if
we build them in the first place.

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[aoliva at gcc dot gnu.org]

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

--- Comment #8 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-08-07 18:47:16 UTC ---
For those running into the problem, analternative to patching GCC isto reduce
the maximum expression depth for var-traking with --param
max-vartrack-expr-depth=11

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[jakub at gcc dot gnu.org]

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-08-20 14:03:39 UTC ---
Alex, the patch is ok for trunk and 4.7 branch.  That said, with similar code
just appearing not in call site parameter, but in a .debug_loc section we'd ICE
anyway, as .debug_loc has a hard limit of 64K, and furthermore we should do a
better job on this testcase, instead of creating such a huge expression which
keeps recomputing the same values again and again introduce some kind of
temporaries in the expression, if some expression occurs more than a few times,
compute it into a temporary first (on the DWARF stack) and then just pick it
when needed, drop at the end.

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[rguenth at gcc dot gnu.org]

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

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

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

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.2                       |4.7.3

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-20 10:12:46 UTC ---
GCC 4.7.2 has been released.

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|arm-oe-linux-gnueabi        |arm-*-linux-gnueabi
                 CC|                            |pinskia at gcc dot gnu.org

--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-09-27 18:47:59 UTC ---
Ping.

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[aoliva at gcc dot gnu.org]

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

--- Comment #12 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-10-02 20:05:29 UTC ---
Author: aoliva
Date: Tue Oct  2 20:05:24 2012
New Revision: 192000

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192000
Log:
PR debug/53135
* dwarf2out.c (value_format): Use block4 for dw_val_class_loc
when needed.

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

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[aoliva at gcc dot gnu.org]

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

--- Comment #13 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-10-02 20:17:53 UTC ---
The work around is installed in the trunk, and will soon be in the branch as
well, but this should ideally be left open until we figure out a better way to
avoid all the duplication that triggers the size explosion.

[Bug debug/53135] [4.7/4.8 Regression] internal compiler error: in value_format, at dwarf2out.c:8010

[aoliva at gcc dot gnu.org]

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

--- Comment #14 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-10-03 04:02:43 UTC ---
Author: aoliva
Date: Wed Oct  3 04:02:38 2012
New Revision: 192021

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192021
Log:
PR debug/53135
* dwarf2out.c (value_format): Use block4 for dw_val_class_loc
when needed.

Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/dwarf2out.c

[Bug debug/53135] Duplicates cause size explosion (vta/dwarf)

[law at redhat dot com]

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

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Duplicate cause size        |Duplicates cause size
                   |explosion (vta/dwarf)       |explosion (vta/dwarf)

--- Comment #15 from Jeffrey A. Law <law at redhat dot com> 2013-01-20 06:24:43 UTC ---
Removing regression marker as workaround is on trunk.  Leaving open so we don't
lose track of this bug as we'd really like to do better.

[Bug debug/53135] Duplicates cause size explosion (vta/dwarf)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.3                       |4.7.4

--- Comment #16 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-11 07:58:37 UTC ---
GCC 4.7.3 is being released, adjusting target milestone.

[Bug debug/53135] Duplicates cause size explosion (vta/dwarf)

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53135

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.4                       |---

--- Comment #17 from Richard Biener <rguenth at gcc dot gnu.org> ---
Unsetting target milestone of open non-regression bug from version of branch
being closed.

[Bug debug/53135] Duplicates cause size explosion (vta/dwarf)

[ramana at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53135

--- Comment #18 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> ---
Since the fix got installed in 2012 this really should have been fixed from
4.8.0 onwards. 

Should we really keep this still open or can we close this out ? 

Ramana

[Bug debug/53135] Duplicates cause size explosion (vta/dwarf)

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53135

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at gcc dot gnu.org

--- Comment #19 from Jeffrey A. Law <law at gcc dot gnu.org> ---
I think it's just  workaround that got installed in 2012, not a real fix.  Of
course, 10 years later one could ask if the workaround has become the "real
fix".

[Bug debug/53135] Duplicates cause size explosion (vta/dwarf)

[ramana at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53135

--- Comment #20 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> ---
(In reply to Jeffrey A. Law from comment #19)
> I think it's just  workaround that got installed in 2012, not a real fix. 
> Of course, 10 years later one could ask if the workaround has become the
> "real fix".

That is of course a jolly good question :P 

Ramana