Comment regarding illegal iterator increment

peterschrammel · Daniel Kroening · commit 8a0391d33b9d · 2017-08-15T17:08:41.000+01:00
diff --git a/src/goto-instrument/accelerate/trace_automaton.h b/src/goto-instrument/accelerate/trace_automaton.h
@@ -92,7 +92,7 @@ class trace_automatont
     init_nta();
 
     epsilon=goto_program.instructions.end();
-    epsilon++;
+    epsilon++; // TODO: This is illegal.
   }
 
   void add_path(patht &path);

Original file line number	Diff line number	Diff line change
`@@ -92,7 +92,7 @@ class trace_automatont`
`92`	`92`	`init_nta();`
`93`	`93`
`94`	`94`	`epsilon=goto_program.instructions.end();`
`95`		`- epsilon++;`
	`95`	`+ epsilon++; // TODO: This is illegal.`
`96`	`96`	`}`
`97`	`97`
`98`	`98`	`void add_path(patht &path);`