Merge pull request #1274 from tautschnig/fix-ldv

ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out: allocate memory
sosy-lab · Dec 18, 2020 · d00b71c · d00b71c
2 parents 69f30c4 + 41fc99e
commit d00b71c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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
@@ -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
@@ -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 ;