Avoid deprecated code_typet() constructor

Author: tautschnig

src/goto-programs/goto_function.h

@@ -46,7 +46,7 @@ class goto_functiont
     type.set(ID_C_hide, true);
   }
 
-  goto_functiont()
+  goto_functiont() : body(), type({}, empty_typet())
   {
   }