diff --git a/regression-tests/properties/valid-memcleanup-4-false.yml b/regression-tests/properties/valid-memcleanup-4-false.yml
new file mode 100644
index 0000000..d213dc2
--- /dev/null
+++ b/regression-tests/properties/valid-memcleanup-4-false.yml
@@ -0,0 +1,11 @@
+format_version: '2.0'
+
+input_files: 'valid-memcleanup-4-false.c'
+
+properties:
+  - property_file: ../properties/valid-memcleanup.prp
+    expected_verdict: false
+
+options:
+  language: C
+  data_model: ILP32