Clang-format

angelhof · angelhof · commit 9651f95a0399 · 2019-07-26T12:37:45.000+01:00
diff --git a/src/goto-programs/builtin_functions.cpp b/src/goto-programs/builtin_functions.cpp
@@ -741,9 +741,10 @@ void goto_convertt::do_function_call_symbol(
       throw 0;
     }
   }
-  else if(identifier==CPROVER_PREFIX "assert" ||
-          identifier==CPROVER_PREFIX "precondition" ||
-          identifier==CPROVER_PREFIX "postcondition")
+  else if(
+    identifier == CPROVER_PREFIX "assert" ||
+    identifier == CPROVER_PREFIX "precondition" ||
+    identifier == CPROVER_PREFIX "postcondition")
   {
     if(arguments.size()!=2)
     {
@@ -755,8 +756,7 @@ void goto_convertt::do_function_call_symbol(
 
     bool is_precondition=
       identifier==CPROVER_PREFIX "precondition";
-    bool is_postcondition=
-      identifier==CPROVER_PREFIX "postcondition";
+    bool is_postcondition = identifier == CPROVER_PREFIX "postcondition";
 
     const irep_idt description=
       get_string_constant(arguments[1]);

Original file line number	Diff line number	Diff line change
`@@ -741,9 +741,10 @@ void goto_convertt::do_function_call_symbol(`
`741`	`741`	`throw 0;`
`742`	`742`	`}`
`743`	`743`	`}`
`744`		`- else if(identifier==CPROVER_PREFIX "assert" \|\|`
`745`		`- identifier==CPROVER_PREFIX "precondition" \|\|`
`746`		`- identifier==CPROVER_PREFIX "postcondition")`
	`744`	`+ else if(`
	`745`	`+ identifier == CPROVER_PREFIX "assert" \|\|`
	`746`	`+ identifier == CPROVER_PREFIX "precondition" \|\|`
	`747`	`+ identifier == CPROVER_PREFIX "postcondition")`
`747`	`748`	`{`
`748`	`749`	`if(arguments.size()!=2)`
`749`	`750`	`{`
`@@ -755,8 +756,7 @@ void goto_convertt::do_function_call_symbol(`
`755`	`756`
`756`	`757`	`bool is_precondition=`
`757`	`758`	`identifier==CPROVER_PREFIX "precondition";`
`758`		`- bool is_postcondition=`
`759`		`- identifier==CPROVER_PREFIX "postcondition";`
	`759`	`+ bool is_postcondition = identifier == CPROVER_PREFIX "postcondition";`
`760`	`760`
`761`	`761`	`const irep_idt description=`
`762`	`762`	`get_string_constant(arguments[1]);`