add make_incomplete_goto without condition

This is to mirror the offering for complete gotos.
2019-05-21 10:16:37 +01:00 · 2019-05-21 10:16:37 +01:00 · 955f16629e
parent cbc48a83c1
commit 955f16629e
1 changed files with 11 additions and 0 deletions
--- a/src/goto-programs/goto_program.h
+++ b/src/goto-programs/goto_program.h
@ -977,6 +977,17 @@ public:
      {});
  }

+  static instructiont
+  make_incomplete_goto(const source_locationt &l = source_locationt::nil())
+  {
+    return instructiont(
+      static_cast<const codet &>(get_nil_irep()),
+      l,
+      INCOMPLETE_GOTO,
+      true_exprt(),
+      {});
+  }
+
  static instructiont make_incomplete_goto(
    const code_gotot &_code,
    const source_locationt &l = source_locationt::nil())