Merge pull request #845 from NathanJPhillips/security-scanner-support

Security scanner support

Author: peterschrammel

src/ansi-c/c_typecheck_type.cpp

@@ -54,7 +54,7 @@ void c_typecheck_baset::typecheck_type(typet &type)
     exprt alignment=static_cast<const exprt &>(type.find(ID_C_alignment));
     irept _typedef=type.find(ID_C_typedef);
 
-    type.swap(type.subtype());
+    type=type.subtype();
 
     c_qualifiers.write(type);
     if(packed)

src/ansi-c/padding.cpp

@@ -203,7 +203,7 @@ void add_padding(struct_typet &type, const namespacet &ns)
       it!=components.end();
       it++)
   {
-    const typet &it_type=it->type();
+    const typet it_type=it->type();
     mp_integer a=1;
 
     const bool packed=it_type.get_bool(ID_C_packed) ||