ICE with gcc 7 on the simd-branch
Activity
This appears to be the minimal reproducer:
class a { template <class b> static b c; struct f { template <class b> auto operator()(b d) -> decltype(~d) {} } template < class b, class e > i(e g{ auto h = c<b>; g(h)} template < class b, class e > l(e g{ i<b>(g)} template < class b > j({ l<b>(f{})} template < class > void k(); } template <class b> void a : k() { j<b> } template void a : k<bool>()Check skript (for CReduce):
#/bin/sh set -ex /usr/bin/g++-7 -std=c++17 -O2 -Wall standardtest_bool.ii 2>&1 \ | fgrep 'Internal compiler error: Error reporting routines re-entered.'Edited by Jö Fahlke-
This seems to happen with the gcc 8 (g++ (GCC-Explorer-Build) 8.0.0 20170829 (experimental)) still: https://godbolt.org/g/Lau6Za
-
I did another reduce with the following modified interestingness condition:
#!/bin/sh set -ex /usr/bin/g++-6 -std=c++17 -O2 -Wall standardtest_bool.ii -S -o /dev/null <&- /usr/bin/g++-7 -std=c++17 -O2 -Wall standardtest_bool.ii -S -o /dev/null 2>&1 <&-\ | fgrep 'Internal compiler error: Error reporting routines re-entered.'i.e. the code needs to be accepted by gcc 6 but gcc 7 needs to run into the ICE.
This one resulted in a much more useful reproducer:
class a { struct b { template <class c> auto operator()(c d) -> decltype(~d) {} }; template <class c, class e> void f(e g) { g(c()); } template <class c, class e> void h(e g) { f<c>(g); } template <class c> void i() { h<c>(b{}); } template <class> void j(); }; template <class c> void a::j() { i<c>; } template void a::j<bool>();The original preprocessed source was obtained with
/usr/bin/g++-7 -DENABLE_MPI=1 -DENABLE_TBB=1 -DHAVE_CONFIG_H -DMPICH_SKIP_MPICXX -DMPIPP_H -DMPI_NO_CPPBIND -D_TBB_CPP0X -I/builds/core/dune-common/build-cmake -I/builds/core/dune-common -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi/opal/mca/event/libevent2022/libevent -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi/opal/mca/event/libevent2022/libevent/include -I/usr/lib/x86_64-linux-gnu/openmpi/include -std=c++17 -O2 -g -Wall -fdiagnostics-color=always -o standardtest_bool.ii -E -P /builds/core/dune-common/dune/common/simd/test/standardtest_bool.cc. This had to be modified manually to be accepted by g++-6: e.g. getting rid of__builtin_addressof()and theinlinein front ofconstexprvariables. The result was then fed tocreduce --n 4 --timeout 20 ./check.sh standardtest_bool.ii.The environment for the reduce was a docker image produced from the following Dockerfile:
FROM duneci/base:10 USER root RUN set -ex; \ export DEBIAN_FRONTEND=noninteractive; \ apt-get update; \ apt-get install --no-install-recommends --yes \ creduce \ emacs-nox \ gdb \ less \ ; \ apt-get clean; \ rm -rf /var/lib/apt/lists/* RUN set -ex; \ mkdir -p /builds/core; \ chown -R duneci:duneci /builds USER duneci WORKDIR /builds/core RUN git clone --depth 1 -b feature/proper-simd-interface \ https://gitlab.dune-project.org/core/dune-common.git WORKDIR /builds/core/dune-common RUN bin/dunecontrol --current --opts=/duneci/opts.gcc.c++17 allThe source for the base image can be found here: https://gitlab.math.tu-dresden.de/ansgar/dune-docker. The branch feature/proper-simd-interface was at this commit: 7aa39405
-
duneci@b95b8f64af9c:/builds/core/dune-common/build-cmake/dune/common/simd/test$ dpkg -l g++-? Desired=Unknown/Install/Remove/Purge/Hold | Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend |/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad) ||/ Name Version Architecture Description +++-=========================================-=========================-=========================-======================================================================================== ii g++-6 6.4.0-1 amd64 GNU C++ compiler ii g++-7 7.1.0-9 amd64 GNU C++ compiler duneci@b95b8f64af9c:/builds/core/dune-common/build-cmake/dune/common/simd/test$ g++-6 --version g++-6 (Debian 6.4.0-1) 6.4.0 20170704 Copyright (C) 2017 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. duneci@b95b8f64af9c:/builds/core/dune-common/build-cmake/dune/common/simd/test$ g++-7 --version g++-7 (Debian 7.1.0-9) 7.1.0 Copyright (C) 2017 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -
Further manual reduction resulted in the following reproducer:
template <class c> decltype(~c{}) call() { return ~false; } template int call<bool>();The following reproduces the ICE:
/usr/bin/g++-7 -std=c++11 -Wbool-operation standardtest_bool.ii -S -o /dev/nullThe following does not:
/usr/bin/g++-7 -std=c++11 standardtest_bool.ii -S -o /dev/nullSo this seems to be caused by
-Wbool-operation. g++-6 does not have-Wbool-operation.Oh, and here is the actual compiler output:
-*- mode: compilation; default-directory: "/builds/core/dune-common/build-cmake/dune/common/simd/test/gcc-6/hand/" -*- Compilation started at Wed Aug 30 17:13:07 /usr/bin/g++-7 -std=c++11 -Wbool-operation standardtest_bool.ii -S -o /dev/null standardtest_bool.ii: In function 'decltype (~ c{}) call()': standardtest_bool.ii:1:52: warning: '~' on an expression of type bool [-Wbool-operation] template <class c> decltype(~c{}) call() { return ~false; } ^~~~~ standardtest_bool.ii:1:52: note: did you mean to use logical not ('!')? standardtest_bool.ii: In substitution of 'template<class c> decltype (~ c{}) call() [with c = bool]': standardtest_bool.ii:2:25: required from here standardtest_bool.ii:1:29: warning: '~' on an expression of type bool [-Wbool-operation] template <class c> decltype(~c{}) call() { return ~false; } ^~~~ standardtest_bool.ii:1:29: note: did you mean to use logical not ('!')? standardtest_bool.ii: In substitution of 'template<class c> decltype (~ c{}) call() [with c = bool]': standardtest_bool.ii:2:25: required from here standardtest_bool.ii:1:29: warning: '~' on an expression of type bool [-Wbool-operation] standardtest_bool.ii:1:29: note: did you mean to use logical not ('!')? standardtest_bool.ii: At global scope: standardtest_bool.ii:1:29: warning: '~' on an expression of type bool [-Wbool-operation] standardtest_bool.ii:1:29: note: did you mean to use logical not ('!')? ' Internal compiler error: Error reporting routines re-entered. 0x668771 cp_build_unary_op(tree_code, tree_node*, bool, int) ../../src/gcc/cp/typeck.c:5930 0x5b252f build_new_op_1 ../../src/gcc/cp/call.c:5995 0x5b2f6e build_new_op(unsigned int, tree_code, int, tree_node*, tree_node*, tree_node*, tree_node**, int) ../../src/gcc/cp/call.c:6026 0x66738f build_x_unary_op(unsigned int, tree_code, cp_expr, int) ../../src/gcc/cp/typeck.c:5425 0x5ee034 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool, bool) ../../src/gcc/cp/pt.c:16876 0x5e28d5 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool, bool) ../../src/gcc/cp/pt.c:14143 0x5e28d5 tsubst(tree_node*, tree_node*, int, tree_node*) ../../src/gcc/cp/pt.c:14143 0x620982 dump_template_bindings ../../src/gcc/cp/error.c:353 0x620982 dump_substitution ../../src/gcc/cp/error.c:1494 0x621242 dump_substitution ../../src/gcc/cp/cp-tree.h:5572 0x621242 dump_function_decl ../../src/gcc/cp/error.c:1649 0x6263e1 decl_to_string ../../src/gcc/cp/error.c:3033 0x6263e1 cp_printer ../../src/gcc/cp/error.c:3610 0x11c01a2 pp_format(pretty_printer*, text_info*) ../../src/gcc/pretty-print.c:679 0x11c0a10 pp_format_verbatim(pretty_printer*, text_info*) ../../src/gcc/pretty-print.c:738 0x11c0ae4 pp_verbatim(pretty_printer*, char const*, ...) ../../src/gcc/pretty-print.c:939 0x61fa85 print_instantiation_full_context ../../src/gcc/cp/error.c:3388 0x624a68 maybe_print_instantiation_context ../../src/gcc/cp/error.c:3536 0x624a68 cp_diagnostic_starter ../../src/gcc/cp/error.c:3229 0x11b983e diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*) ../../src/gcc/diagnostic.c:962 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <file:///usr/share/doc/gcc-7/README.Bugs> for instructions. Compilation exited abnormally with code 1 at Wed Aug 30 17:13:07 -
Godbolt g++ 8 snapshot: https://godbolt.org/g/pYgpua
-
mentioned in commit de2a9033
-
Worked around by de2a9033
mentioned in commit fe256514