Apply symbol replacement in type_arg members

tautschnig · tautschnig · commit 8eaf89e45ef8 · 2017-10-23T16:10:45.000+01:00
This is used int the precursor of a typechecked sizeof expression.
diff --git a/src/util/replace_symbol.cpp b/src/util/replace_symbol.cpp
@@ -104,6 +104,16 @@ bool replace_symbolt::replace(
       result=false;
   }
 
+  const irept &type_arg=dest.find(ID_type_arg);
+
+  if(type_arg.is_not_nil())
+  {
+    typet &type=static_cast<typet &>(dest.add(ID_type_arg));
+
+    if(!replace(type))
+      result=false;
+  }
+
   const irept &va_arg_type=dest.find(ID_C_va_arg_type);
 
   if(va_arg_type.is_not_nil())
@@ -139,6 +149,12 @@ bool replace_symbolt::have_to_replace(const exprt &dest) const
     if(have_to_replace(static_cast<const typet &>(c_sizeof_type)))
       return true;
 
+  const irept &type_arg=dest.find(ID_type_arg);
+
+  if(type_arg.is_not_nil())
+    if(have_to_replace(static_cast<const typet &>(type_arg)))
+      return true;
+
   const irept &va_arg_type=dest.find(ID_C_va_arg_type);
 
   if(va_arg_type.is_not_nil())
