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>

diff --git a/gcc/analyzer/program-point.cc b/gcc/analyzer/program-point.cc
index 5318dce1490e6a2ba81ae8625fc75b8461f7ffec..9e264b14735058ce5dac8f240315550ac30e17b6 100644 (file)
--- 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