[Bug c/100521] New: ICE at -O2 and above: in verify_range, at value-range.cc:384

[Bug c/100521] New: ICE at -O2 and above: in verify_range, at value-range.cc:384

[cnsun at uwaterloo dot ca]

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

            Bug ID: 100521
           Summary: ICE at -O2 and above: in verify_range, at
                    value-range.cc:384
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: cnsun at uwaterloo dot ca
  Target Milestone: ---

$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/scratch/software/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /tmp/tmp.FUbEknNORK-gcc-builder/gcc/configure
--enable-languages=c,c++,lto --enable-checking-yes --enable-multiarch
--prefix=/scratch/software/gcc-trunk --disable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 12.0.0 20210511 (experimental) [master revision
:7db32cac8:aa891c56f25baac94db004e309d1b6e40b770a95] (GCC)

$ cat mutant.c
__builtin_clz(int a) { return __builtin_clz(a); }

$ gcc-trunk -O2 mutant.c
mutant.c:1:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    1 | __builtin_clz(int a) { return __builtin_clz(a); }
      | ^~~~~~~~~~~~~
during GIMPLE pass: evrp
mutant.c: In function ‘__builtin_clz’:
mutant.c:1:1: internal compiler error: in verify_range, at value-range.cc:384
0x7ccac7 irange::verify_range()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/value-range.cc:384
0x191c65b range_of_builtin_call(range_query&, irange&, gcall*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-range.cc:774
0x191d11a gimple_ranger::range_of_builtin_call(irange&, gcall*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-range.cc:900
0x191d11a gimple_ranger::range_of_call(irange&, gcall*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-range.cc:602
0x191e67d gimple_ranger::calc_stmt(irange&, gimple*, tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-range.cc:378
0x191ea14 gimple_ranger::range_of_stmt(irange&, gimple*, tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-range.cc:1077
0x19197a2 gimple_ranger::range_of_expr(irange&, tree_node*, gimple*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-range.cc:960
0x120fdb4 range_query::value_of_expr(tree_node*, gimple*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/value-query.cc:86
0x192b625 hybrid_folder::value_of_expr(tree_node*, gimple*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-ssa-evrp.c:235
0x10abf46 substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree-ssa-propagate.c:816
0x18edc87 dom_walker::walk(basic_block_def*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/domwalk.c:309
0x10ab239 substitute_and_fold_engine::substitute_and_fold(basic_block_def*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree-ssa-propagate.c:987
0x192b28e execute_early_vrp
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-ssa-evrp.c:349
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug c/100521] [12 Regression] ICE at -O2 and above: in verify_range, at value-range.cc:384 since r12-127-g694c956b6b877e48

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
            Summary|ICE at -O2 and above: in    |[12 Regression] ICE at -O2
                   |verify_range, at            |and above: in verify_range,
                   |value-range.cc:384          |at value-range.cc:384 since
                   |                            |r12-127-g694c956b6b877e48
                 CC|                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2021-05-12
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-127-g694c956b6b877e48.

[Bug c/100521] [12 Regression] ICE at -O2 and above: in verify_range, at value-range.cc:384 since r12-127-g694c956b6b877e48

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <aldyh@gcc.gnu.org>:

https://gcc.gnu.org/g:d902a1b57606536982a1001670f998de685eaf7c

commit r12-755-gd902a1b57606536982a1001670f998de685eaf7c
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Wed May 12 15:22:15 2021 -0400

    Skip out on processing __builtin_clz when varying.

    The previous changes to irange::constant_p return TRUE for
    VARYING, since VARYING has numerical end points like any other
    constant range.  The problem is that some users of constant_p
    depended on constant_p excluding the full domain.  The
    range handler for __builtin_clz, that is shared between ranger
    and vr_values, is one such user.

    This patch excludes varying_p(), to match the original behavior
    for clz.

    gcc/ChangeLog:

            PR c/100521
            * gimple-range.cc (range_of_builtin_call): Skip out on
              processing __builtin_clz when varying.

[Bug c/100521] [12 Regression] ICE at -O2 and above: in verify_range, at value-range.cc:384 since r12-127-g694c956b6b877e48

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

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

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Fixed in trunk.

[Bug tree-optimization/100521] [12 Regression] ICE at -O2 and above: in verify_range, at value-range.cc:384 since r12-127-g694c956b6b877e48

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0
           Keywords|                            |ice-on-valid-code
          Component|c                           |tree-optimization