projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53d28fd) | patch
analyzer: fix ICE on non-pointer longjmp [PR97233]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 28 Sep 2020 19:42:31 +0000 (15:42 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 28 Sep 2020 23:50:24 +0000 (19:50 -0400)
commit01eabbeadb645959d5dcb0f00f41c3565a8f54f1
tree2300d40ca7a8a757aaca4114bf16c9e610883127tree
parent53d28fd4e16f163a9bd0c323f432914804f1348acommit | diff
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.
gcc/analyzer/analyzer.cc diff | blob | history
gcc/analyzer/engine.cc diff | blob | history
gcc/testsuite/gcc.dg/analyzer/pr97233.c [new file with mode: 0644] blob