Clang-format

angelhof · angelhof · commit 8f445f9c64e0 · 2019-08-07T17:41:51.000-04:00
diff --git a/src/goto-programs/builtin_functions.cpp b/src/goto-programs/builtin_functions.cpp
@@ -735,9 +735,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)
     {
@@ -748,8 +749,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
`@@ -735,9 +735,10 @@ void goto_convertt::do_function_call_symbol(`
`735`	`735`	`throw 0;`
`736`	`736`	`}`
`737`	`737`	`}`
`738`		`- else if(identifier==CPROVER_PREFIX "assert" \|\|`
`739`		`- identifier==CPROVER_PREFIX "precondition" \|\|`
`740`		`- identifier==CPROVER_PREFIX "postcondition")`
	`738`	`+ else if(`
	`739`	`+ identifier == CPROVER_PREFIX "assert" \|\|`
	`740`	`+ identifier == CPROVER_PREFIX "precondition" \|\|`
	`741`	`+ identifier == CPROVER_PREFIX "postcondition")`
`741`	`742`	`{`
`742`	`743`	`if(arguments.size()!=2)`
`743`	`744`	`{`
`@@ -748,8 +749,7 @@ void goto_convertt::do_function_call_symbol(`
`748`	`749`
`749`	`750`	`bool is_precondition=`
`750`	`751`	`identifier==CPROVER_PREFIX "precondition";`
`751`		`- bool is_postcondition=`
`752`		`- identifier==CPROVER_PREFIX "postcondition";`
	`752`	`+ bool is_postcondition = identifier == CPROVER_PREFIX "postcondition";`
`753`	`753`
`754`	`754`	`const irep_idt description=`
`755`	`755`	`get_string_constant(arguments[1]);`