diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-03-17 12:08:44 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-03-17 18:36:36 -0400 |
| commit | 2b3404357a1f9991921189e331aeefb826f0523a (patch) | |
| tree | 32f9ff57576dfc55cd0f49a55b816f624d28aaeb | |
| parent | c482c28ba4c549006deb70dead90fe8ab34dcbcf (diff) | |
| download | gcc-2b3404357a1f9991921189e331aeefb826f0523a.zip gcc-2b3404357a1f9991921189e331aeefb826f0523a.tar.gz gcc-2b3404357a1f9991921189e331aeefb826f0523a.tar.bz2 | |
analyzer: fix program_point::get_next for PK_BEFORE_STMT
gcc/analyzer/ChangeLog:
* program-point.cc (program_point::get_next): Fix missing
increment of index.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
| -rw-r--r-- | gcc/analyzer/program-point.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/analyzer/program-point.cc b/gcc/analyzer/program-point.cc index 5318dce..9e264b1 100644 --- a/gcc/analyzer/program-point.cc +++ b/gcc/analyzer/program-point.cc @@ -645,7 +645,7 @@ program_point::get_next () const return after_supernode (get_supernode (), get_call_string ()); case PK_BEFORE_STMT: { - unsigned next_idx = get_stmt_idx (); + unsigned next_idx = get_stmt_idx () + 1; if (next_idx < get_supernode ()->m_stmts.length ()) return before_stmt (get_supernode (), next_idx, get_call_string ()); else |