Construct code_typet in a non-deprecated way

The default constructor is deprecated.

Author: tautschnig

src/ansi-c/c_typecheck_code.cpp

@@ -30,7 +30,7 @@ void c_typecheck_baset::typecheck_code(codet &code)
     throw 0;
   }
 
-  code.type()=code_typet();
+  code.type()=code_typet({}, typet{});
 
   const irep_idt &statement=code.get_statement();
 

src/jsil/jsil_typecheck.cpp

@@ -348,7 +348,7 @@ void jsil_typecheckt::typecheck_expr_index(exprt &expr)
 
   // special case for function identifiers
   if(expr.op1().id()=="fid" || expr.op1().id()=="constructid")
-    expr.type()=code_typet();
+    expr.type()=code_typet({}, typet());
   else
     expr.type()=jsil_value_type();
 }
@@ -802,7 +802,7 @@ void jsil_typecheckt::typecheck_function_call(
       // Should be function, declaration not found yet
       symbolt new_symbol;
       new_symbol.name=id;
-      new_symbol.type=code_typet();
+      new_symbol.type=code_typet({}, typet());
       new_symbol.mode="jsil";
       new_symbol.is_type=false;
       new_symbol.value=exprt("no-body-just-yet");