From 84efec2c7cce7a47db8d885bca6b403f16ad542d Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 29 Aug 2016 16:24:46 +0200
Subject: [PATCH] [scripts] Fixed an issue resulting in recording overlapping
 memory blocks (via constant strings)

---
 src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index c5e3bb3ad05..9c1366f7221 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -481,7 +481,7 @@ done
 # Gcc and related flags
 CC="$OPTION_CC"
 CFLAGS="$OPTION_CFLAGS
-  -std=c99 $GCCMACHDEP -g3 -O2 -fno-builtin
+  -std=c99 $GCCMACHDEP -g3 -O2 -fno-builtin -fno-merge-constants
   -Wall \
   -Wno-long-long \
   -Wno-attributes \
-- 
GitLab