Merge branch 'kostyantyn/feature/debug-fix' into 'master'

Fix wrong compile flags in debug mode during compilation of instrumented executables

There has been an issue in `e-acsl-gcc.sh` where in debug mode source code was compiled with optimization flags. This is fixed in this merge request. Further, this changeset adds `--fno-omit-frama-pointer` flag for cleaner traces.

See merge request !91

src/plugins/e-acsl/scripts/e-acsl-gcc.sh

@@ -128,6 +128,9 @@ mmodel_lib() {
   local rt_feature="opt"
   if [ -n "$OPTION_RT_DEBUG" ]; then
     rt_feature="debug"
+    OPTION_CFLAGS="$OPTION_CFLAGS -O0 -fno-omit-frame-pointer"
+  else
+    OPTION_CFLAGS="$OPTION_CFLAGS -O2"
   fi
 
   local models="$(find $LIBDIR/ -name 'libeacsl-*-rtl-opt.a' -exec basename {} \; \
@@ -485,12 +488,6 @@ CFLAGS="$OPTION_CFLAGS
   -Wno-implicit-function-declaration \
   -Wno-empty-body"
 
-if test -z "$OPTION_DEBUG_MACRO"; then
-  CFLAGS="-O2 $CFLAGS"
-else
-  CFLAGS="-O0 $CFLAGS"
-fi
-
 # Disable extra warning for clang
 if [ "`basename $CC`" = 'clang' ]; then
   CFLAGS="-Wno-unknown-warning-option \
@@ -600,3 +597,4 @@ if [ -n "$OPTION_COMPILE" ]; then
   done
 fi
 exit 0;
+