public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/97029] New: [11 Regression] ICE in wide_int_to_tree_1,  at tree.c:1612
@ 2020-09-12  6:02 asolokha at gmx dot com
  2020-09-12 20:38 ` [Bug analyzer/97029] " dmalcolm at gcc dot gnu.org
                   ` (3 more replies)
  0 siblings, 4 replies; 5+ messages in thread
From: asolokha at gmx dot com @ 2020-09-12  6:02 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 97029
           Summary: [11 Regression] ICE in wide_int_to_tree_1, at
                    tree.c:1612
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-11.0.0-alpha20200906 snapshot (g:23f8b90c401842afcbaa50a7fd3c2f37818f4396)
ICEs when compiling the following testcase w/ -fanalyzer:

struct vj {};

void
setjmp (struct vj pl)
{
  setjmp (pl);
}

% gcc-11.0.0 -fanalyzer -c mytxbhhn.c
during IPA pass: analyzer
mytxbhhn.c: In function 'setjmp':
mytxbhhn.c:6:3: internal compiler error: in wide_int_to_tree_1, at tree.c:1612
    6 |   setjmp (pl);
      |   ^~~~~~~~~~~
0x7093a4 wide_int_to_tree_1
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/tree.c:1612
0x104edef wide_int_to_tree(tree_node*, poly_int<1u,
generic_wide_int<wide_int_ref_storage<false, true> > > const&)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/tree.c:1724
0x104edef build_int_cst(tree_node*, poly_int<1u, long>)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/tree.c:1364
0x111662d ana::region_model::deref_rvalue(ana::svalue const*, tree_node*,
ana::region_model_context*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/analyzer/region-model.cc:1406
0x1121d6f ana::region_model::on_setjmp(gcall const*, ana::exploded_node const*,
ana::region_model_context*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/analyzer/region-model.cc:895
0x10fb261 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*) const
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/analyzer/engine.cc:1076
0x10fc10d ana::exploded_graph::process_node(ana::exploded_node*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/analyzer/engine.cc:2526
0x10fcbfa ana::exploded_graph::process_worklist()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/analyzer/engine.cc:2341
0x10fed4f ana::impl_run_checkers(ana::logger*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/analyzer/engine.cc:4107
0x10ff97c ana::run_checkers()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/analyzer/engine.cc:4175
0x10f42f8 execute
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200906/work/gcc-11-20200906/gcc/analyzer/analyzer-pass.cc:84

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug analyzer/97029] [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612
  2020-09-12  6:02 [Bug analyzer/97029] New: [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612 asolokha at gmx dot com
@ 2020-09-12 20:38 ` dmalcolm at gcc dot gnu.org
  2020-09-14  7:11 ` rguenth at gcc dot gnu.org
                   ` (2 subsequent siblings)
  3 siblings, 0 replies; 5+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2020-09-12 20:38 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2020-09-12

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

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug analyzer/97029] [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612
  2020-09-12  6:02 [Bug analyzer/97029] New: [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612 asolokha at gmx dot com
  2020-09-12 20:38 ` [Bug analyzer/97029] " dmalcolm at gcc dot gnu.org
@ 2020-09-14  7:11 ` rguenth at gcc dot gnu.org
  2020-09-14 16:27 ` cvs-commit at gcc dot gnu.org
  2020-09-14 16:44 ` dmalcolm at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-09-14  7:11 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug analyzer/97029] [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612
  2020-09-12  6:02 [Bug analyzer/97029] New: [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612 asolokha at gmx dot com
  2020-09-12 20:38 ` [Bug analyzer/97029] " dmalcolm at gcc dot gnu.org
  2020-09-14  7:11 ` rguenth at gcc dot gnu.org
@ 2020-09-14 16:27 ` cvs-commit at gcc dot gnu.org
  2020-09-14 16:44 ` dmalcolm at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2020-09-14 16:27 UTC (permalink / raw)
  To: gcc-bugs

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

--- 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:35e3f0829d8e9cdc7ea19917c9f3a7add3f14847

commit r11-3188-g35e3f0829d8e9cdc7ea19917c9f3a7add3f14847
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Sat Sep 12 09:28:05 2020 -0400

    analyzer: fix ICE on setjmp with non-pointer-type [PR97029]

    gcc/analyzer/ChangeLog:
            PR analyzer/97029
            * analyzer.cc (is_setjmp_call_p): Require the initial arg to be a
            pointer.
            * region-model.cc (region_model::deref_rvalue): Assert that the
            svalue is of pointer type.

    gcc/testsuite/ChangeLog:
            * gcc.dg/analyzer/pr97029.c: New test.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug analyzer/97029] [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612
  2020-09-12  6:02 [Bug analyzer/97029] New: [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612 asolokha at gmx dot com
                   ` (2 preceding siblings ...)
  2020-09-14 16:27 ` cvs-commit at gcc dot gnu.org
@ 2020-09-14 16:44 ` dmalcolm at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2020-09-14 16:44 UTC (permalink / raw)
  To: gcc-bugs

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

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

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

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

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2020-09-14 16:44 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-12  6:02 [Bug analyzer/97029] New: [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612 asolokha at gmx dot com
2020-09-12 20:38 ` [Bug analyzer/97029] " dmalcolm at gcc dot gnu.org
2020-09-14  7:11 ` rguenth at gcc dot gnu.org
2020-09-14 16:27 ` cvs-commit at gcc dot gnu.org
2020-09-14 16:44 ` dmalcolm at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).