[Bug c++/56998] New: [4.8.0] ICE in value_dependent_expression_p, at cp/pt.c:19598

[Bug c++/56998] New: [4.8.0] ICE in value_dependent_expression_p, at cp/pt.c:19598

[raphael.kubo.da.costa at intel dot com]

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

             Bug #: 56998
           Summary: [4.8.0] ICE in value_dependent_expression_p, at
                    cp/pt.c:19598
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: raphael.kubo.da.costa@intel.com


Building the following program below crashes g++ 4.8.0 here.

--- ice.cc ---

class Secret;
char IsNullLiteralHelper(Secret* p);
char (&IsNullLiteralHelper(...))[2];

struct C
{
    int val() { return 42; }
};

template <typename T>
unsigned f()
{
    return sizeof(IsNullLiteralHelper(C().val()));
}

--- ice.ii ---
# 1 "ice.cc"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 1 "<command-line>" 2
# 1 "ice.cc"
class Secret;
char IsNullLiteralHelper(Secret* p);
char (&IsNullLiteralHelper(...))[2];

struct C
{
    int val() { return 42; }
};

template <typename T>
unsigned f()
{
    return sizeof(IsNullLiteralHelper(C().val()));
}

--- Compiler output ---
Using built-in specs.
COLLECT_GCC=/usr/bin/g++
Target: x86_64-unknown-linux-gnu
Configured with: /build/src/gcc-4.8-20130411/configure --prefix=/usr
--libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/
--enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared
--enable-threads=posix --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch
--enable-gnu-unique-object --enable-linker-build-id --enable-cloog-backend=isl
--disable-cloog-version-check --enable-lto --enable-gold --enable-ld=default
--enable-plugin --with-plugin-ld=ld.gold --with-linker-hash-style=gnu
--disable-install-libiberty --disable-multilib --disable-libssp
--disable-werror --enable-checking=release
Thread model: posix
gcc version 4.8.0 20130411 (prerelease) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-c' '-shared-libgcc' '-mtune=generic' '-march=x86-64'
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.0/cc1plus -quiet -v -D_GNU_SOURCE
ice.cc -quiet -dumpbase ice.cc -mtune=generic -march=x86-64 -auxbase ice
-version -o /tmp/cchdGFwc.s
GNU C++ (GCC) version 4.8.0 20130411 (prerelease) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.8.0 20130411 (prerelease), GMP version
5.1.1, MPFR version 3.1.2, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
ignoring nonexistent directory
"/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0

/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/x86_64-unknown-linux-gnu

/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/backward
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include
 /usr/local/include
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include-fixed
 /usr/include
End of search list.
GNU C++ (GCC) version 4.8.0 20130411 (prerelease) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.8.0 20130411 (prerelease), GMP version
5.1.1, MPFR version 3.1.2, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: 6f2c8a0d923b5a4be7dedefadd250ed4
ice.cc: In function ‘unsigned int f()’:
ice.cc:13:48: internal compiler error: in value_dependent_expression_p, at
cp/pt.c:19598
     return sizeof(IsNullLiteralHelper(C().val()));
                                                ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://bugs.archlinux.org/> for instructions.
>From gcc-bugs-return-420535-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Apr 18 15:43:38 2013
Return-Path: <gcc-bugs-return-420535-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 10140 invoked by alias); 18 Apr 2013 15:43:38 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 10120 invoked by uid 48); 18 Apr 2013 15:43:35 -0000
From: "gretay at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/56797] [4.8 Regression] internal compiler error: in extract_insn, at recog.c:2150
Date: Thu, 18 Apr 2013 15:43:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: gretay at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.1
X-Bugzilla-Changed-Fields: Status Last reconfirmed CC Ever Confirmed
Message-ID: <bug-56797-4-fX6hERJaXj@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56797-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56797-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
X-SW-Source: 2013-04/txt/msg01680.txt.bz2
Content-length: 649


http://gcc.gnu.org/bugzilla/show_bug.cgi?idV797

gretay at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-04-18
                 CC|                            |gretay at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from gretay at gcc dot gnu.org 2013-04-18 15:43:34 UTC ---
Caused by r188738.
http://gcc.gnu.org/ml/gcc-patches/2012-05/msg02073.html

I'm looking into it.

[Bug c++/56998] [4.8 Regression] ICE in value_dependent_expression_p, at cp/pt.c:19598

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.7.3, 4.9.0
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2013-04-19
     Ever Confirmed|0                           |1
            Summary|[4.8.0] ICE in              |[4.8 Regression] ICE in
                   |value_dependent_expression_ |value_dependent_expression_
                   |p, at cp/pt.c:19598         |p, at cp/pt.c:19598
   Target Milestone|---                         |4.8.1
      Known to fail|                            |4.8.0

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-19 08:29:54 UTC ---
Confirmed.

[Bug c++/56998] [4.8 Regression] ICE in value_dependent_expression_p, at cp/pt.c:19598

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jason at gcc dot gnu.org
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.8.1.

[Bug c++/56998] [4.8 Regression] ICE in value_dependent_expression_p, at cp/pt.c:19598

[raphael.kubo.da.costa at intel dot com]

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

--- Comment #3 from Raphael Kubo da Costa <raphael.kubo.da.costa at intel dot com> ---
For reference, this was fixed in r198882:
http://gcc.gnu.org/git/?p=gcc.git;a=commit;h=28038d26df63ee5755da90bb563db4097a9deec0