diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-09-28 15:42:31 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-09-28 19:50:24 -0400 |
| commit | 01eabbeadb645959d5dcb0f00f41c3565a8f54f1 (patch) | |
| tree | 2300d40ca7a8a757aaca4114bf16c9e610883127 /gcc | |
| parent | 53d28fd4e16f163a9bd0c323f432914804f1348a (diff) | |
| download | gcc-01eabbeadb645959d5dcb0f00f41c3565a8f54f1.zip gcc-01eabbeadb645959d5dcb0f00f41c3565a8f54f1.tar.gz gcc-01eabbeadb645959d5dcb0f00f41c3565a8f54f1.tar.bz2 | |
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/analyzer/analyzer.cc | 5 | ||||
| -rw-r--r-- | gcc/analyzer/engine.cc | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/pr97233.c | 8 |
3 files changed, 13 insertions, 1 deletions
diff --git a/gcc/analyzer/analyzer.cc b/gcc/analyzer/analyzer.cc index 82d4878..c792dc3 100644 --- a/gcc/analyzer/analyzer.cc +++ b/gcc/analyzer/analyzer.cc @@ -218,7 +218,10 @@ is_longjmp_call_p (const gcall *call) { if (is_special_named_call_p (call, "longjmp", 2) || is_special_named_call_p (call, "siglongjmp", 2)) - return true; + /* exploded_node::on_longjmp requires a pointer for the initial + argument. */ + if (POINTER_TYPE_P (TREE_TYPE (gimple_call_arg (call, 0)))) + return true; return false; } diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index aa43e4c..84eaa84 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -1277,6 +1277,7 @@ exploded_node::on_longjmp (exploded_graph &eg, region_model_context *ctxt) const { tree buf_ptr = gimple_call_arg (longjmp_call, 0); + gcc_assert (POINTER_TYPE_P (TREE_TYPE (buf_ptr))); region_model *new_region_model = new_state->m_region_model; const svalue *buf_ptr_sval = new_region_model->get_rvalue (buf_ptr, ctxt); diff --git a/gcc/testsuite/gcc.dg/analyzer/pr97233.c b/gcc/testsuite/gcc.dg/analyzer/pr97233.c new file mode 100644 index 0000000..86930aa --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/pr97233.c @@ -0,0 +1,8 @@ +void +longjmp (__SIZE_TYPE__, int); + +void +e7 (__SIZE_TYPE__ gr) +{ + longjmp (gr, 1); +} |