Merge pull request #3311 from tautschnig/vs-shadow-2

Do not shadow local variable type [blocks: #2310]

Author: tautschnig

src/util/simplify_expr_pointer.cpp

@@ -668,11 +668,11 @@ bool simplify_exprt::simplify_object_size(exprt &expr)
 
       if(size.is_not_nil())
       {
-        typet type=expr.type();
+        const typet &expr_type = expr.type();
 
-        if(size.type()!=type)
+        if(size.type() != expr_type)
         {
-          size.make_typecast(type);
+          size.make_typecast(expr_type);
           simplify_node(size);
         }