[Bug c++/82040] New: ICE with -Wbool-operation and ~

["jorrit at jorrit dot de" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 82040
           Summary: ICE with -Wbool-operation and ~
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jorrit at jorrit dot de
  Target Milestone: ---

The following code, when compiled with

  g++ -std=c++11 -Wbool-operation standardtest_bool.ii -S -o /dev/null

results in the following ICE:

  Internal compiler error: Error reporting routines re-entered.

standardtest_bool.ii:
========================================
template <class c> decltype(~c{}) call() { return ~false; }
template int call<bool>();
========================================

This does not happen without -Wbool-operation.

This was originally observed with "g++-7 (Debian 7.1.0-9) 7.1.0" from Debian
testing (buster).

According to https://godbolt.org/g/pYgpua, this is still present in "g++
(GCC-Explorer-Build) 8.0.0 20170830 (experimental)"

g++-6 does not seem to have -Wbool-operation, so this does not apply.

Here is the full output, obtained with g++-7 from Debian testing (godbolt
seems to suppress the backtrace):
========================================
-*- 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
========================================

Convenience link to our bug:
https://gitlab.dune-project.org/core/dune-common/issues/84