diff --git a/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.c b/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.c
index 7812c548fb2..ba02cc8f115 100644
--- a/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.c
+++ b/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.c
@@ -58904,7 +58904,7 @@ int main(void)
   struct drm_display_mode *var_group2 ;
   struct drm_display_mode *var_intel_hdmi_mode_fixup_7_p2 ;
   struct drm_display_mode *var_intel_hdmi_mode_set_4_p2 ;
-  struct drm_connector *var_group3 ;
+  struct drm_connector *var_group3 = ldv_malloc(sizeof(struct drm_connector));
   bool var_intel_hdmi_detect_8_p1 ;
   struct drm_property *var_group4 ;
   uint64_t var_intel_hdmi_set_property_11_p2 ;
diff --git a/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.i b/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.i
index 77b800f5013..28ff1b170b7 100644
--- a/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.i
+++ b/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.i
@@ -55676,7 +55676,7 @@ int main(void)
   struct drm_display_mode *var_group2 ;
   struct drm_display_mode *var_intel_hdmi_mode_fixup_7_p2 ;
   struct drm_display_mode *var_intel_hdmi_mode_set_4_p2 ;
-  struct drm_connector *var_group3 ;
+  struct drm_connector *var_group3 = ldv_malloc(sizeof(struct drm_connector));
   bool var_intel_hdmi_detect_8_p1 ;
   struct drm_property *var_group4 ;
   uint64_t var_intel_hdmi_set_property_11_p2 ;