1 files changed, 16 insertions, 4 deletions

diff --git a/src/analysis/disass/macro.c b/src/analysis/disass/macro.c
index 96a3b25..9527457 100644
--- a/src/analysis/disass/macro.c
+++ b/src/analysis/disass/macro.c
@@ -40,6 +40,8 @@
 /* Bornes d'une zone à couvrir */
 typedef struct _code_coverage
 {
+    bool initial;                           /* Couverture racine ?         */
+
     mrange_t range;                         /* Couverture totale           */
 
     vmpa2t start;                           /* Position butoir de début    */
@@ -209,6 +211,8 @@ static code_coverage *create_code_coverage(const mrange_t *range)
 
     result = (code_coverage *)calloc(1, sizeof(code_coverage));
 
+    result->initial = true;
+
     copy_mrange(&result->range, range);
 
     copy_vmpa(&result->start, get_mrange_addr(range));
@@ -251,6 +255,8 @@ static code_coverage *dup_code_coverage(const code_coverage *src, const vmpa2t *
 
     result = (code_coverage *)calloc(1, sizeof(code_coverage));
 
+    result->initial = false;
+
     copy_mrange(&result->range, &src->range);
 
     copy_vmpa(&result->start, new);
@@ -261,10 +267,15 @@ static code_coverage *dup_code_coverage(const code_coverage *src, const vmpa2t *
     for (i = 0; i < result->ends_count; i++)
         copy_vmpa(&result->ends[i], &src->ends[i]);
 
-    result->processed = (unsigned long *)calloc(src->allocated, sizeof(unsigned long));
-    result->allocated = src->allocated;
+    /**
+     * Les blocs produits par le découpage sont à accès global, et ne sont donc pas
+     * la propriété d'une branche particulière.
+     * Il ne faut donc pas créer deux blocs identiques à partir de deux chemins
+     * différents ; aussi on partage la couverture de code plutôt que la copier.
+     * Et, par ailleurs, c'est plus simple & efficace.
+     */
 
-    memcpy(result->processed, src->processed, src->allocated * sizeof(unsigned long));
+    result->processed = src->processed;
 
     return result;
 
@@ -287,7 +298,8 @@ static void delete_code_coverage(code_coverage *coverage)
 {
     free(coverage->ends);
 
-    free(coverage->processed);
+    if (coverage->initial)
+        free(coverage->processed);
 
     free(coverage);