clang-format whitespace cleanup around recently changed lines

Whitespace change only.

Author: tautschnig

src/cpp/cpp_typecheck_code.cpp

@@ -256,9 +256,10 @@ void cpp_typecheckt::typecheck_member_initializer(codet &code)
   else
   {
     // a reference member
-    if(symbol_expr.id() == ID_dereference &&
-       symbol_expr.op0().id() == ID_member &&
-       symbol_expr.get_bool(ID_C_implicit))
+    if(
+      symbol_expr.id() == ID_dereference &&
+      symbol_expr.op0().id() == ID_member &&
+      symbol_expr.get_bool(ID_C_implicit))
     {
       // treat references as normal pointers
       exprt tmp = symbol_expr.op0();
@@ -284,9 +285,10 @@ void cpp_typecheckt::typecheck_member_initializer(codet &code)
         symbol_expr=resolve(member, cpp_typecheck_resolvet::wantt::VAR, fargs);
       }
 
-      if(symbol_expr.id() == ID_dereference &&
-         symbol_expr.op0().id() == ID_member &&
-         symbol_expr.get_bool(ID_C_implicit))
+      if(
+        symbol_expr.id() == ID_dereference &&
+        symbol_expr.op0().id() == ID_member &&
+        symbol_expr.get_bool(ID_C_implicit))
       {
         // treat references as normal pointers
         exprt tmp = symbol_expr.op0();

unit/util/replace_symbol.cpp

@@ -41,7 +41,6 @@ TEST_CASE("Replace all symbols in expression", "[core][util][replace_symbol]")
   REQUIRE(r.replace(s2));
   REQUIRE(s2 == symbol_exprt("b", typet("some_type")));
 
-
   REQUIRE(!r.replace(array_type));
   REQUIRE(array_type.size() == other_expr);