diff options
| -rw-r--r-- | gcc/analyzer/region-model.cc | 26 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/analyzer/pr96643.C | 26 |
2 files changed, 31 insertions, 21 deletions
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index 5b08e48..8a5e74e 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -1369,7 +1369,7 @@ region_model::deref_rvalue (const svalue *ptr_sval, tree ptr_tree, switch (ptr_sval->get_kind ()) { default: - gcc_unreachable (); + break; case SK_REGION: { @@ -1395,17 +1395,10 @@ region_model::deref_rvalue (const svalue *ptr_sval, tree ptr_tree, return m_mgr->get_offset_region (parent_region, type, offset); } default: - goto create_symbolic_region; + break; } } - - case SK_CONSTANT: - case SK_INITIAL: - case SK_UNARYOP: - case SK_SUB: - case SK_WIDENING: - case SK_CONJURED: - goto create_symbolic_region; + break; case SK_POISONED: { @@ -1425,20 +1418,11 @@ region_model::deref_rvalue (const svalue *ptr_sval, tree ptr_tree, ctxt->warn (new poisoned_value_diagnostic (ptr, pkind)); } } - goto create_symbolic_region; } - - case SK_UNKNOWN: - { - create_symbolic_region: - return m_mgr->get_symbolic_region (ptr_sval); - } - - case SK_SETJMP: - goto create_symbolic_region; + break; } - gcc_unreachable (); + return m_mgr->get_symbolic_region (ptr_sval); } /* Set the value of the region given by LHS_REG to the value given diff --git a/gcc/testsuite/g++.dg/analyzer/pr96643.C b/gcc/testsuite/g++.dg/analyzer/pr96643.C new file mode 100644 index 0000000..2d0a248 --- /dev/null +++ b/gcc/testsuite/g++.dg/analyzer/pr96643.C @@ -0,0 +1,26 @@ +/* { dg-additional-options "-O1" } */ + +int l0; + +class qv { +public: + int operator[] (int b1) const { return k2[b1]; } + +private: + int *k2; +}; + +class g0 { + qv nf, v6; + + void + iq (); +}; + +void +g0::iq () +{ + for (;;) + if (nf[0] == 0) + ++l0; +} |