diff --git a/src/goto-programs/generate_function_bodies.cpp b/src/goto-programs/generate_function_bodies.cpp
index 5e10607f651..bff0d544111 100644
--- a/src/goto-programs/generate_function_bodies.cpp
+++ b/src/goto-programs/generate_function_bodies.cpp
@@ -271,7 +271,9 @@ class havoc_generate_function_bodiest : public generate_function_bodiest,
       if(
         parameter.type().id() == ID_pointer &&
         std::regex_match(
-          id2string(parameter.get_base_name()), parameters_to_havoc))
+          id2string(parameter.get_base_name()), parameters_to_havoc) &&
+        parameter.type().subtype().id() != ID_empty &&
+        parameter.type().subtype().id() != ID_code)
       {
         // if (param != nullptr) { *param = nondet(); }
         auto goto_instruction = add_instruction();