[Bug rtl-optimization/98276] New: ICE in want_to_gcse_p, at gcse.c:808 with --param=gcse-cost-distance-ratio > 2^31

[Bug rtl-optimization/98276] New: ICE in want_to_gcse_p, at gcse.c:808 with --param=gcse-cost-distance-ratio > 2^31

[acoplan at gcc dot gnu.org]

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

            Bug ID: 98276
           Summary: ICE in want_to_gcse_p, at gcse.c:808 with
                    --param=gcse-cost-distance-ratio > 2^31
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: acoplan at gcc dot gnu.org
  Target Milestone: ---

$ cat test.c
int a;
int c(void);
int b() { a && c(); }

$ aarch64-elf-gcc -c -Os --param=gcse-cost-distance-ratio=2147483648 test.c
during RTL pass: hoist
test.c: In function 'b':
test.c:3:21: internal compiler error: in want_to_gcse_p, at gcse.c:808
    3 | int b() { a && c(); }
      |                     ^
0xa4f8bb want_to_gcse_p
        /home/alecop01/toolchain/src/gcc/gcc/gcse.c:808
0xa4f9f7 hash_scan_set
        /home/alecop01/toolchain/src/gcc/gcc/gcse.c:1272
0xa4fe88 hash_scan_insn
        /home/alecop01/toolchain/src/gcc/gcc/gcse.c:1368
0xa4fe88 compute_hash_table_work
        /home/alecop01/toolchain/src/gcc/gcc/gcse.c:1551
0xa4fe88 compute_hash_table
        /home/alecop01/toolchain/src/gcc/gcc/gcse.c:1597
0xa50481 one_code_hoisting_pass
        /home/alecop01/toolchain/src/gcc/gcc/gcse.c:3549
0xa50481 execute_rtl_hoist
        /home/alecop01/toolchain/src/gcc/gcc/gcse.c:4043
0xa50481 execute
        /home/alecop01/toolchain/src/gcc/gcc/gcse.c:4124
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.

Presumably this --param should have a more restricted range?

[Bug rtl-optimization/98276] ICE in want_to_gcse_p, at gcse.c:808 with --param=gcse-cost-distance-ratio > 2^31

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |marxin at gcc dot gnu.org
                 CC|                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2020-12-14
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Let me fix that.

[Bug rtl-optimization/98276] ICE in want_to_gcse_p, at gcse.c:808 with --param=gcse-cost-distance-ratio > 2^31

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:5c5eb7e4872025e8d5e8ae2f0e568403f7c8803d

commit r11-6111-g5c5eb7e4872025e8d5e8ae2f0e568403f7c8803d
Author: Martin Liska <mliska@suse.cz>
Date:   Tue Dec 15 09:57:19 2020 +0100

    options: fix integer overflow

    gcc/ChangeLog:

            PR rtl-optimization/98271
            PR rtl-optimization/98276
            PR tree-optimization/98279
            * opts-common.c (set_option): Do not allow overflow for integer
            arguments.

    gcc/testsuite/ChangeLog:

            PR rtl-optimization/98271
            PR rtl-optimization/98276
            PR tree-optimization/98279
            * gcc.dg/pr98271.c: New test.

[Bug rtl-optimization/98276] ICE in want_to_gcse_p, at gcse.c:808 with --param=gcse-cost-distance-ratio > 2^31

[marxin at gcc dot gnu.org]

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

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

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

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed.