From 1b9d0a04d8fd5dd521ef8d2ca23efe00da83c4cc Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 2 Feb 2023 16:37:04 +0100
Subject: [PATCH] implemented memory_identifier in memory

added it to every node
---
 src/core/lib/utils/memory.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/core/lib/utils/memory.c b/src/core/lib/utils/memory.c
index e4d0d68..4b02a9b 100644
--- a/src/core/lib/utils/memory.c
+++ b/src/core/lib/utils/memory.c
@@ -9,10 +9,13 @@
 #include <stdlib.h>
 #include <string.h>
 
+#include <why2/flags.h>
+
 //LOCAL
 typedef struct node
 {
     void *pointer;
+    char *identifier;
     struct node *next;
 } node_t; //SINGLE LINKED LIST
 
@@ -25,6 +28,7 @@ void push_to_list(void *pointer)
     node_t *buffer = head;
 
     new_node -> pointer = pointer;
+    new_node -> identifier = why2_get_memory_identifier();
     new_node -> next = NULL;
 
     if (head == NULL) //INIT LIST