From ee61bca12aca5274b4e1b6f9ee7b382fe2a90275 Mon Sep 17 00:00:00 2001
From: Yassine Ettayeb <yassine.ettayeb@student-cs.fr>
Date: Thu, 20 Mar 2025 23:26:02 +0100
Subject: [PATCH] usage de @ split ret==0;
---
config/cert_exp_33_realloc.c | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/config/cert_exp_33_realloc.c b/config/cert_exp_33_realloc.c
index 30cbd3e..4933f33 100644
--- a/config/cert_exp_33_realloc.c
+++ b/config/cert_exp_33_realloc.c
@@ -1,5 +1,7 @@
#include <stdlib.h>
#include <stdio.h>
+
+
enum { OLD_SIZE = 10, NEW_SIZE = 20 };
int *resize_array(int *array, size_t count) {
@@ -7,7 +9,7 @@ int *resize_array(int *array, size_t count) {
return 0;
}
- int *ret = (int *)realloc(array, count * sizeof(int));
+ int *ret = (int *)realloc(array, count * sizeof(int)); //@ split ret==0;
if (!ret) {
free(array);
return 0;
@@ -26,6 +28,7 @@ void func(void) {
for (size_t i = 0; i < OLD_SIZE; ++i) {
array[i] = i;
+ Frama_C_show_each_init_array(array[i]);
}
array = resize_array(array, NEW_SIZE);
--
GitLab