Avoid code duplication of goto_symex_state::call_stack()

romainbrenguier · romainbrenguier · commit d6429858b051 · 2019-02-28T14:46:24.000Z
diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
@@ -148,8 +148,7 @@ class goto_symex_statet final : public goto_statet
 
   const call_stackt &call_stack() const
   {
-    PRECONDITION(source.thread_nr < threads.size());
-    return threads[source.thread_nr].call_stack;
+    return call_stack();
   }
 
   void print_backtrace(std::ostream &) const;

Original file line number	Diff line number	Diff line change
`@@ -148,8 +148,7 @@ class goto_symex_statet final : public goto_statet`
`148`	`148`
`149`	`149`	`const call_stackt &call_stack() const`
`150`	`150`	`{`
`151`		`- PRECONDITION(source.thread_nr < threads.size());`
`152`		`- return threads[source.thread_nr].call_stack;`
	`151`	`+ return call_stack();`
`153`	`152`	`}`
`154`	`153`
`155`	`154`	`void print_backtrace(std::ostream &) const;`