From 866fa7e1ed34af1269a26c82feffb8b1be561849 Mon Sep 17 00:00:00 2001
From: Merlin Baviere <merlin.baviere@student-cs.fr>
Date: Fri, 21 Mar 2025 09:20:14 +0100
Subject: [PATCH] fix tp1
---
config/cert_exp_33_realloc.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/config/cert_exp_33_realloc.c b/config/cert_exp_33_realloc.c
index 8cb4bf9..7bc8978 100644
--- a/config/cert_exp_33_realloc.c
+++ b/config/cert_exp_33_realloc.c
@@ -10,6 +10,7 @@ int *resize_array(int *array, size_t old_count, size_t new_count) {
}
int *ret = (int *)realloc(array, new_count * sizeof(int));
+ //@ split ret==0;
if (!ret) {
free(array);
return 0;
@@ -27,6 +28,7 @@ void func(void) {
int *array = (int *)malloc(OLD_SIZE * sizeof(int));
if (0 == array) {
/* Handle error */
+ return;
}
for (size_t i = 0; i < OLD_SIZE; ++i) {
@@ -36,6 +38,7 @@ void func(void) {
array = resize_array(array, OLD_SIZE, NEW_SIZE);
if (0 == array) {
/* Handle error */
+ return;
}
for (size_t i = 0; i < NEW_SIZE; ++i) {
--
GitLab