[Bug analyzer/96705] New: [11 Regression] ICE: in wide_int_to_tree_1, at tree.c:1612 with -fanalyzer

[Bug analyzer/96705] New: [11 Regression] ICE: in wide_int_to_tree_1, at tree.c:1612 with -fanalyzer

[zsojka at seznam dot cz]

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

            Bug ID: 96705
           Summary: [11 Regression] ICE: in wide_int_to_tree_1, at
                    tree.c:1612 with -fanalyzer
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu

Created attachment 49081
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49081&action=edit
reduced testcase

Compiler output:
$ x86_64-pc-linux-gnu-gcc -fanalyzer testcase.c 
during IPA pass: analyzer
testcase.c: In function 'foo':
testcase.c:8:5: internal compiler error: in wide_int_to_tree_1, at tree.c:1612
    8 |   v *= i;
      |     ^~
0x7b2ac7 wide_int_to_tree_1
        /repo/gcc-trunk/gcc/tree.c:1612
0x136d38c wide_int_to_tree(tree_node*, poly_int<1u,
generic_wide_int<wide_int_ref_storage<false, true> > > const&)
        /repo/gcc-trunk/gcc/tree.c:1724
0x136d38c build_int_cst(tree_node*, poly_int<1u, long>)
        /repo/gcc-trunk/gcc/tree.c:1364
0x1451ff1 ana::region_model_manager::maybe_fold_binop(tree_node*, tree_code,
ana::svalue const*, ana::svalue const*)
        /repo/gcc-trunk/gcc/analyzer/region-model-manager.cc:444
0x1450cd6 ana::region_model_manager::get_or_create_binop(tree_node*, tree_code,
ana::svalue const*, ana::svalue const*)
        /repo/gcc-trunk/gcc/analyzer/region-model-manager.cc:525
0x143f637 ana::region_model::on_assignment(gassign const*,
ana::region_model_context*)
        /repo/gcc-trunk/gcc/analyzer/region-model.cc:563
0x1422f70 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*) const
        /repo/gcc-trunk/gcc/analyzer/engine.cc:1029
0x14240af ana::exploded_graph::process_node(ana::exploded_node*)
        /repo/gcc-trunk/gcc/analyzer/engine.cc:2526
0x14249a2 ana::exploded_graph::process_worklist()
        /repo/gcc-trunk/gcc/analyzer/engine.cc:2341
0x1426a19 ana::impl_run_checkers(ana::logger*)
        /repo/gcc-trunk/gcc/analyzer/engine.cc:4107
0x14283ac ana::run_checkers()
        /repo/gcc-trunk/gcc/analyzer/engine.cc:4175
0x141c4e8 execute
        /repo/gcc-trunk/gcc/analyzer/analyzer-pass.cc:84
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 analyzer/96705] [11 Regression] ICE: in wide_int_to_tree_1, at tree.c:1612 with -fanalyzer

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-08-19
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this; confirmed.

[Bug analyzer/96705] [11 Regression] ICE: in wide_int_to_tree_1, at tree.c:1612 with -fanalyzer

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r11-2771-gfc02b568e2cd3f6a28d4b7c1063bbf8842c89aad
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Wed Aug 19 09:27:16 2020 -0400

    analyzer: fix ICE on folding vector 0 [PR96705]

    gcc/analyzer/ChangeLog:
            * region-model-manager.cc
            PR analyzer/96705
            (region_model_manager::maybe_fold_binop): Check that we have an
            integral type before calling build_int_cst.

    gcc/testsuite/ChangeLog:
            PR analyzer/96705
            * gcc.dg/analyzer/pr96705.c: New test.

[Bug analyzer/96705] [11 Regression] ICE: in wide_int_to_tree_1, at tree.c:1612 with -fanalyzer

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

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

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed by the above commit.