cleanup

Author: kroening

src/cprover/c_safety_checks.cpp

@@ -142,12 +142,12 @@ void c_safety_checks_rec(
         auto pointer = to_dereference_expr(expr).pointer();
         auto condition = r_or_w_ok_exprt(
           access_type == access_typet::W ? ID_w_ok : ID_r_ok, pointer, size);
-        auto source_location = expr.source_location();
         condition.add_source_location() = expr.source_location();
-        source_location.set_property_class("pointer");
+        auto assertion_source_location = expr.source_location();
+        assertion_source_location.set_property_class("pointer");
         auto pointer_text = expr2c(pointer, ns);
-        source_location.set_comment("pointer " + pointer_text + " safe");
-        dest.add(goto_programt::make_assertion(condition, source_location));
+        assertion_source_location.set_comment("pointer " + pointer_text + " safe");
+        dest.add(goto_programt::make_assertion(condition, assertion_source_location));
       }
     }
   }