public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
@ 2012-12-20 13:06 david.abdurachmanov at gmail dot com
  2012-12-20 13:55 ` [Bug c++/55753] " rguenth at gcc dot gnu.org
                   ` (13 more replies)
  0 siblings, 14 replies; 15+ messages in thread
From: david.abdurachmanov at gmail dot com @ 2012-12-20 13:06 UTC (permalink / raw)
  To: gcc-bugs


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

             Bug #: 55753
           Summary: [C++11][4.8 Regression] ICE constexpr ctor,
                    tsubst_copy_and_build, at cp/pt.c:14336
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: david.abdurachmanov@gmail.com


Created attachment 29011
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29011
Testcase used.

Hi all,

Here is another C++11 regression in 4.8, I believe. Tested with GNU GCC 4.8.0
(r194629). Compiles fine if constexpr is removed from struct C ctor. Also
compiles fine on 4.7.2.

In addition tested with -Wall -Wextra and -fno-strict-aliasing -fwrapv, which
yielded the same results.

Originally noticed in code using std::complex, i.e., C could be replaced with
std::complex. E.g.,

std::complex<double> cpl = std::complex<double>((true ? 1.0 :
std::complex<double>()));

I am attaching *.ii test case.

Cheers,
david

### TESTCASE ###

template <typename Tp>
struct C {
  constexpr C(const Tp& r) { }
};

template <typename Tp>
struct B {
  B() {
    C<double> cpl = C<double>((true ? 1.0 : C<double>()));
  }
};

### COMPILATION LINE ###

g++ -m64 -O2 -std=c++11 -c testcase.cpp -fPIC -g -o ./testcase.o

### ICE ###

testcase.cpp: In constructor 'B<Tp>::B()':
testcase.cpp:9:55: internal compiler error: in tsubst_copy_and_build, at
cp/pt.c:14336
     C<double> cpl = C<double>((true ? 1.0 : C<double>()));
                                                       ^

### VERBOSE OUTPUT ###

Using built-in specs.
COLLECT_GCC=g++
Target: x86_64-unknown-linux-gnu
Configured with: ../configure
--prefix=/build/davidlt/gcc480/b/tmp/BUILDROOT/b0fc97fddd2f40bb6a475bc4cb2eec22/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--disable-multilib --disable-nls --enable-languages=c,c++,fortran
--enable-gold=yes --enable-lto
--with-gmp=/build/davidlt/gcc480/b/tmp/BUILDROOT/b0fc97fddd2f40bb6a475bc4cb2eec22/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--with-mpfr=/build/davidlt/gcc480/b/tmp/BUILDROOT/b0fc97fddd2f40bb6a475bc4cb2eec22/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--with-mpc=/build/davidlt/gcc480/b/tmp/BUILDROOT/b0fc97fddd2f40bb6a475bc4cb2eec22/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--with-isl=/build/davidlt/gcc480/b/tmp/BUILDROOT/b0fc97fddd2f40bb6a475bc4cb2eec22/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--with-cloog=/build/davidlt/gcc480/b/tmp/BUILDROOT/b0fc97fddd2f40bb6a475bc4cb2eec22/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--disable-isl-version-check --enable-shared CC='gcc -fPIC' CXX='c++ -fPIC'
CPP=cpp CXXCPP='c++ -E'
Thread model: posix
gcc version 4.8.0 20121220 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-m64' '-O2' '-std=c++11' '-c' '-fPIC'
'-o' './testcase.o' '-shared-libgcc' '-mtune=generic' '-march=x86-64'

/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/cc1plus
-E -quiet -v -iprefix
/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/
-D_GNU_SOURCE testcase.cpp -m64 -mtune=generic -march=x86-64 -std=c++11 -fPIC
-O2 -fpch-preprocess -o testcase.ii
ignoring nonexistent directory
"/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../x86_64-unknown-linux-gnu/include"
ignoring duplicate directory
"/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0"
ignoring duplicate directory
"/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/x86_64-unknown-linux-gnu"
ignoring duplicate directory
"/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/backward"
ignoring duplicate directory
"/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include"
ignoring duplicate directory
"/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include-fixed"
ignoring nonexistent directory
"/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0

/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/x86_64-unknown-linux-gnu

/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/backward

/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include

/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include-fixed
 /usr/local/include

/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../include
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-m64' '-O2' '-std=c++11' '-c' '-fPIC'
'-o' './testcase.o' '-shared-libgcc' '-mtune=generic' '-march=x86-64'

/build/davidlt/gcc480/b/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/cc1plus
-fpreprocessed testcase.ii -quiet -dumpbase testcase.cpp -m64 -mtune=generic
-march=x86-64 -auxbase-strip ./testcase.o -O2 -std=c++11 -version -fPIC -o
testcase.s
GNU C++ (GCC) version 4.8.0 20121220 (experimental) (x86_64-unknown-linux-gnu)
    compiled by GNU C version 4.8.0 20121220 (experimental), GMP version 5.0.5,
MPFR version 3.1.1, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 4.8.0 20121220 (experimental) (x86_64-unknown-linux-gnu)
    compiled by GNU C version 4.8.0 20121220 (experimental), GMP version 5.0.5,
MPFR version 3.1.1, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: d2902122829bc83b42992b34ba9d5be6
testcase.cpp: In constructor 'B<Tp>::B()':
testcase.cpp:9:55: internal compiler error: in tsubst_copy_and_build, at
cp/pt.c:14336
     C<double> cpl = C<double>((true ? 1.0 : C<double>()));
                                                       ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
@ 2012-12-20 13:55 ` rguenth at gcc dot gnu.org
  2012-12-20 14:51 ` [Bug c++/55753] [C++11][4.7/4.8 " jakub at gcc dot gnu.org
                   ` (12 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-12-20 13:55 UTC (permalink / raw)
  To: gcc-bugs


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
  2012-12-20 13:55 ` [Bug c++/55753] " rguenth at gcc dot gnu.org
@ 2012-12-20 14:51 ` jakub at gcc dot gnu.org
  2012-12-20 14:53 ` jakub at gcc dot gnu.org
                   ` (11 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: jakub at gcc dot gnu.org @ 2012-12-20 14:51 UTC (permalink / raw)
  To: gcc-bugs


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-12-20
                 CC|                            |jakub at gcc dot gnu.org
            Summary|[C++11][4.8 Regression] ICE |[C++11][4.7/4.8 Regression]
                   |constexpr ctor,             |ICE constexpr ctor,
                   |tsubst_copy_and_build, at   |tsubst_copy_and_build, at
                   |cp/pt.c:14336               |cp/pt.c:14336
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-20 14:50:31 UTC ---
Started to ICE with:
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173680
or
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173679
or
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173678


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
  2012-12-20 13:55 ` [Bug c++/55753] " rguenth at gcc dot gnu.org
  2012-12-20 14:51 ` [Bug c++/55753] [C++11][4.7/4.8 " jakub at gcc dot gnu.org
@ 2012-12-20 14:53 ` jakub at gcc dot gnu.org
  2012-12-23 12:31 ` david.abdurachmanov at gmail dot com
                   ` (10 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: jakub at gcc dot gnu.org @ 2012-12-20 14:53 UTC (permalink / raw)
  To: gcc-bugs


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

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

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-20 14:52:19 UTC ---
Probably just ice-checking in 4.7.x though, so with release checking doesn't
complain, in 4.8.0 ICEs on gcc_assert (TREE_CONSTANT (...));


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (2 preceding siblings ...)
  2012-12-20 14:53 ` jakub at gcc dot gnu.org
@ 2012-12-23 12:31 ` david.abdurachmanov at gmail dot com
  2012-12-24 12:48 ` david.abdurachmanov at gmail dot com
                   ` (9 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: david.abdurachmanov at gmail dot com @ 2012-12-23 12:31 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #3 from David Abdurachmanov <david.abdurachmanov at gmail dot com> 2012-12-23 12:31:40 UTC ---
I tried reverting (on r194703):
- r173680: Compiles. But still ICE'd as reported.
- r173680 && r173679: Does not compile, xgcc ICE'd
- r173680 && r173679 && r173678: Same as previous. 

Not the smartest why to check, but maybe it partially rules out r173680.

/build/davidlt/gcc480/b/BUILD/slc5_amd64_gcc480/external/gcc/4.8.0/gcc-trunk-194703/obj/x86_64-unknown-linux-gnu/libstdc++-v3/include/ext/new_allocator.h:114:39:
internal compiler error: unexpected expression '(std::size_t)((-1))' of kind
cast_expr
       { return size_t(-1) / sizeof(_Tp); }
                                       ^


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (3 preceding siblings ...)
  2012-12-23 12:31 ` david.abdurachmanov at gmail dot com
@ 2012-12-24 12:48 ` david.abdurachmanov at gmail dot com
  2013-01-03 20:38 ` jason at gcc dot gnu.org
                   ` (8 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: david.abdurachmanov at gmail dot com @ 2012-12-24 12:48 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #4 from David Abdurachmanov <david.abdurachmanov at gmail dot com> 2012-12-24 12:48:01 UTC ---
I did some more testing of the trunk. Compiles fine with r173678 [g++ (GCC)
4.7.0 20110511 (experimental)], but starts ICE'ing with r173679. gcc_assert
(TREE_CONSTANT (t)); (ICE line) was added in r166592 [1]. I tried passing
--enable-checking=none or touching gcc/DEV-PHASE, but bootstrap comparison was
always failing.

I looked at gcc/configure.ac. trunk has DEV-PHASE set to experimental thus
ac_checking_flags=yes, which sets ac_checking=1. If ac_checking_flags=release
then ac_checking= is not set. If ac_checking is set, it defines ENABLE_CHECKING
macro, I believe. That would probably explain why it works for me with 4.7.2
(final).

Probably this is the part [2] causing the ICE.

Merry Christmas in advance!
david

[1]
http://gcc.gnu.org/viewcvs/trunk/gcc/cp/pt.c?r1=166592&r2=166591&pathrev=166592
[2]
http://gcc.gnu.org/viewcvs/trunk/gcc/cp/pt.c?r1=173679&r2=173678&pathrev=173679


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (5 preceding siblings ...)
  2013-01-03 20:38 ` jason at gcc dot gnu.org
@ 2013-01-03 20:38 ` jason at gcc dot gnu.org
  2013-01-03 20:43 ` jason at gcc dot gnu.org
                   ` (6 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: jason at gcc dot gnu.org @ 2013-01-03 20:38 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 20:37:08 UTC ---
Author: jason
Date: Thu Jan  3 20:36:49 2013
New Revision: 194870

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194870
Log:
    PR c++/55419
    PR c++/55753
    * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Don't touch
    TREE_CONSTANT.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ctor12.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (4 preceding siblings ...)
  2012-12-24 12:48 ` david.abdurachmanov at gmail dot com
@ 2013-01-03 20:38 ` jason at gcc dot gnu.org
  2013-01-03 20:38 ` jason at gcc dot gnu.org
                   ` (7 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: jason at gcc dot gnu.org @ 2013-01-03 20:38 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 20:37:49 UTC ---
Author: jason
Date: Thu Jan  3 20:37:28 2013
New Revision: 194872

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194872
Log:
    PR c++/55419
    PR c++/55753
    * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Don't touch
    TREE_CONSTANT.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/constexpr-ctor12.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/pt.c


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (6 preceding siblings ...)
  2013-01-03 20:38 ` jason at gcc dot gnu.org
@ 2013-01-03 20:43 ` jason at gcc dot gnu.org
  2013-01-04 11:31 ` david.abdurachmanov at gmail dot com
                   ` (5 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: jason at gcc dot gnu.org @ 2013-01-03 20:43 UTC (permalink / raw)
  To: gcc-bugs


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

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

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 20:43:03 UTC ---
Fixed.


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (7 preceding siblings ...)
  2013-01-03 20:43 ` jason at gcc dot gnu.org
@ 2013-01-04 11:31 ` david.abdurachmanov at gmail dot com
  2013-01-04 11:33 ` david.abdurachmanov at gmail dot com
                   ` (4 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: david.abdurachmanov at gmail dot com @ 2013-01-04 11:31 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #8 from David Abdurachmanov <david.abdurachmanov at gmail dot com> 2013-01-04 11:31:21 UTC ---
I have tested  the trunk, rev 194883. Seems to compile the test case #1, but it
still fails in the original program, Sherpa [1].

I am attaching pre-processed test case #2. Sadly, it includes <complex>.

[1] https://sherpa.hepforge.org/trac/wiki

### ICE, SEGFAULT ###

testcase.cpp: In constructor 'B<Tp>::B()':
testcase.cpp:6:61:   in constexpr expansion of 'std::complex<double>(1.0e+0)'
testcase.cpp:6:61: internal compiler error: Segmentation fault
     std::complex<double>((true ? 1.0 : std::complex<double>()));
                                                             ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

### COMPILE LINE ###

g++ -m64 -O2 -std=c++11 -c testcase.cpp -fPIC -g -o ./testcase.o

### TEST CASE ###

#include <complex>

template <typename Tp>
struct B {
  B() {
    std::complex<double>((true ? 1.0 : std::complex<double>()));
  }
};

### GCC FULL OUTPUT ###

Using built-in specs.
COLLECT_GCC=g++
Target: x86_64-unknown-linux-gnu
Configured with: ../configure
--prefix=/build/davidlt/gcc480/b/tmp/BUILDROOT/b27d27381a0266701ed8b36f187c62dd/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--disable-multilib --disable-nls --enable-languages=c,c++,fortran
--enable-gold=yes --enable-lto
--with-gmp=/build/davidlt/gcc480/b/tmp/BUILDROOT/b27d27381a0266701ed8b36f187c62dd/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--with-mpfr=/build/davidlt/gcc480/b/tmp/BUILDROOT/b27d27381a0266701ed8b36f187c62dd/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--with-mpc=/build/davidlt/gcc480/b/tmp/BUILDROOT/b27d27381a0266701ed8b36f187c62dd/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--with-isl=/build/davidlt/gcc480/b/tmp/BUILDROOT/b27d27381a0266701ed8b36f187c62dd/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--with-cloog=/build/davidlt/gcc480/b/tmp/BUILDROOT/b27d27381a0266701ed8b36f187c62dd/opt/cmssw/slc5_amd64_gcc480/external/gcc/4.8.0
--disable-isl-version-check --enable-shared CC='gcc -fPIC' CXX='c++ -fPIC'
CPP=cpp CXXCPP='c++ -E'
Thread model: posix
gcc version 4.8.0 20130104 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-m64' '-O2' '-std=c++11' '-c' '-fPIC'
'-g' '-o' './testcase.o' '-shared-libgcc' '-mtune=generic' '-march=x86-64'

/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/cc1plus
-E -quiet -v -iprefix
/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/
-D_GNU_SOURCE testcase.cpp -m64 -mtune=generic -march=x86-64 -std=c++11 -fPIC
-g -fworking-directory -O2 -fpch-preprocess -o testcase.ii
ignoring nonexistent directory
"/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../x86_64-unknown-linux-gnu/include"
ignoring duplicate directory
"/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0"
ignoring duplicate directory
"/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/x86_64-unknown-linux-gnu"
ignoring duplicate directory
"/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/backward"
ignoring duplicate directory
"/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include"
ignoring duplicate directory
"/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include-fixed"
ignoring nonexistent directory
"/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0

/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/x86_64-unknown-linux-gnu

/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/../../../../include/c++/4.8.0/backward

/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include

/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.8.0/include-fixed
 /usr/local/include

/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../lib/gcc/../../include
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-m64' '-O2' '-std=c++11' '-c' '-fPIC'
'-g' '-o' './testcase.o' '-shared-libgcc' '-mtune=generic' '-march=x86-64'

/build/davidlt/gcc480/test/slc5_amd64_gcc480/external/gcc/4.8.0/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/cc1plus
-fpreprocessed testcase.ii -quiet -dumpbase testcase.cpp -m64 -mtune=generic
-march=x86-64 -auxbase-strip ./testcase.o -g -O2 -std=c++11 -version -fPIC -o
testcase.s
GNU C++ (GCC) version 4.8.0 20130104 (experimental) (x86_64-unknown-linux-gnu)
    compiled by GNU C version 4.8.0 20130104 (experimental), GMP version 5.0.5,
MPFR version 3.1.1, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 4.8.0 20130104 (experimental) (x86_64-unknown-linux-gnu)
    compiled by GNU C version 4.8.0 20130104 (experimental), GMP version 5.0.5,
MPFR version 3.1.1, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: c3d94833375abd849e271df27fe17da2
testcase.cpp: In constructor 'B<Tp>::B()':
testcase.cpp:6:61:   in constexpr expansion of 'std::complex<double>(1.0e+0)'
testcase.cpp:6:61: internal compiler error: Segmentation fault
     std::complex<double>((true ? 1.0 : std::complex<double>()));
                                                             ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (8 preceding siblings ...)
  2013-01-04 11:31 ` david.abdurachmanov at gmail dot com
@ 2013-01-04 11:33 ` david.abdurachmanov at gmail dot com
  2013-01-05 23:36 ` paolo.carlini at oracle dot com
                   ` (3 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: david.abdurachmanov at gmail dot com @ 2013-01-04 11:33 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #9 from David Abdurachmanov <david.abdurachmanov at gmail dot com> 2013-01-04 11:32:39 UTC ---
Created attachment 29082
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29082
testcase #2


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (9 preceding siblings ...)
  2013-01-04 11:33 ` david.abdurachmanov at gmail dot com
@ 2013-01-05 23:36 ` paolo.carlini at oracle dot com
  2013-01-07 15:40 ` rguenth at gcc dot gnu.org
                   ` (2 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-01-05 23:36 UTC (permalink / raw)
  To: gcc-bugs


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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

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

--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-01-05 23:35:36 UTC ---
Let's play safe and re-open this then.


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (10 preceding siblings ...)
  2013-01-05 23:36 ` paolo.carlini at oracle dot com
@ 2013-01-07 15:40 ` rguenth at gcc dot gnu.org
  2013-01-07 18:01 ` jason at gcc dot gnu.org
  2013-01-08 18:57 ` jason at gcc dot gnu.org
  13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-01-07 15:40 UTC (permalink / raw)
  To: gcc-bugs


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

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

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

--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-07 15:39:18 UTC ---
It's a different bug though.


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (11 preceding siblings ...)
  2013-01-07 15:40 ` rguenth at gcc dot gnu.org
@ 2013-01-07 18:01 ` jason at gcc dot gnu.org
  2013-01-08 18:57 ` jason at gcc dot gnu.org
  13 siblings, 0 replies; 15+ messages in thread
From: jason at gcc dot gnu.org @ 2013-01-07 18:01 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #12 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-07 18:00:34 UTC ---
Author: jason
Date: Mon Jan  7 18:00:18 2013
New Revision: 194986

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194986
Log:
    PR c++/55753
    * tree.c (build_aggr_init_expr): Do nothing in a template.
    * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Strip an ADDR_EXPR off
    a FUNCTION_DECL before tsubsting.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ctor13.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/tree.c


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug c++/55753] [C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336
  2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
                   ` (12 preceding siblings ...)
  2013-01-07 18:01 ` jason at gcc dot gnu.org
@ 2013-01-08 18:57 ` jason at gcc dot gnu.org
  13 siblings, 0 replies; 15+ messages in thread
From: jason at gcc dot gnu.org @ 2013-01-08 18:57 UTC (permalink / raw)
  To: gcc-bugs


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |CLOSED

--- Comment #13 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-08 18:56:58 UTC ---
Bug #2 fixed.


^ permalink raw reply	[flat|nested] 15+ messages in thread

end of thread, other threads:[~2013-01-08 18:57 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-12-20 13:06 [Bug c++/55753] New: [C++11][4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336 david.abdurachmanov at gmail dot com
2012-12-20 13:55 ` [Bug c++/55753] " rguenth at gcc dot gnu.org
2012-12-20 14:51 ` [Bug c++/55753] [C++11][4.7/4.8 " jakub at gcc dot gnu.org
2012-12-20 14:53 ` jakub at gcc dot gnu.org
2012-12-23 12:31 ` david.abdurachmanov at gmail dot com
2012-12-24 12:48 ` david.abdurachmanov at gmail dot com
2013-01-03 20:38 ` jason at gcc dot gnu.org
2013-01-03 20:38 ` jason at gcc dot gnu.org
2013-01-03 20:43 ` jason at gcc dot gnu.org
2013-01-04 11:31 ` david.abdurachmanov at gmail dot com
2013-01-04 11:33 ` david.abdurachmanov at gmail dot com
2013-01-05 23:36 ` paolo.carlini at oracle dot com
2013-01-07 15:40 ` rguenth at gcc dot gnu.org
2013-01-07 18:01 ` jason at gcc dot gnu.org
2013-01-08 18:57 ` jason at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).