[Bug analyzer/97233] [11 Regression] ICE in deref_rvalue, at analyzer/region-model.cc:1465

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski  changed:

   What|Removed |Added

   Keywords||ice-on-valid-code
   Target Milestone|--- |11.0

[Bug analyzer/97233] [11 Regression] ICE in deref_rvalue, at analyzer/region-model.cc:1465

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

David Malcolm  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

--- Comment #2 from David Malcolm  ---
Thanks for filing this bug.  It should be fixed by the above commit.

[Bug analyzer/97233] [11 Regression] ICE in deref_rvalue, at analyzer/region-model.cc:1465

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #1 from CVS Commits  ---
The master branch has been updated by David Malcolm :

https://gcc.gnu.org/g:01eabbeadb645959d5dcb0f00f41c3565a8f54f1

commit r11-3512-g01eabbeadb645959d5dcb0f00f41c3565a8f54f1
Author: David Malcolm 
Date:   Mon Sep 28 15:42:31 2020 -0400

analyzer: fix ICE on non-pointer longjmp [PR97233]

gcc/analyzer/ChangeLog:
PR analyzer/97233
* analyzer.cc (is_longjmp_call_p): Require the initial argument
to be a pointer.
* engine.cc (exploded_node::on_longjmp): Likewise.

gcc/testsuite/ChangeLog:
PR analyzer/97233
* gcc.dg/analyzer/pr97233.c: New test.