rewrite a no-op

Daniel Kroening · Daniel Kroening · commit fd5c52827e32 · 2018-08-23T16:31:30.000+01:00
diff --git a/src/cpp/cpp_constructor.cpp b/src/cpp/cpp_constructor.cpp
@@ -115,13 +115,8 @@ optionalt<codet> cpp_typecheckt::cpp_constructor(
 
         auto i_code = cpp_constructor(source_location, index, tmp_operands);
 
-        if(!i_code.has_value())
-        {
-          new_code.is_nil();
-          break;
-        }
-
-        new_code.move(i_code.value());
+        if(i_code.has_value())
+          new_code.move(i_code.value());
       }
       return new_code;
     }

Original file line number	Diff line number	Diff line change
`@@ -115,13 +115,8 @@ optionalt<codet> cpp_typecheckt::cpp_constructor(`
`115`	`115`
`116`	`116`	`auto i_code = cpp_constructor(source_location, index, tmp_operands);`
`117`	`117`
`118`		`- if(!i_code.has_value())`
`119`		`- {`
`120`		`- new_code.is_nil();`
`121`		`- break;`
`122`		`- }`
`123`		`-`
`124`		`- new_code.move(i_code.value());`
	`118`	`+ if(i_code.has_value())`
	`119`	`+ new_code.move(i_code.value());`
`125`	`120`	`}`
`126`	`121`	`return new_code;`
`127`	`122`	`}`