From 48d50dd970f30a3e54409220eb37bfbc4fb9415f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 25 Aug 2022 10:40:49 +0200
Subject: [PATCH] [e-acsl:e-acsl-gcc.sh] add new option --then-last
---
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index df70042b1cc..85c63224adf 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -340,7 +340,7 @@ LONGOPTIONS="help,compile,compile-only,debug:,ocode:,oexec:,verbose:,
frama-c-only,extra-cpp-args:,frama-c-stdlib,full-mmodel,full-mtracking,gmp,
quiet,logfile:,ld-flags:,cpp-flags:,frama-c-extra:,memory-model:,keep-going,
frama-c:,gcc:,e-acsl-share:,instrumented-only,rte:,oexec-e-acsl:,concurrency,
- print-mmodels,rt-debug,rte-select:,then,e-acsl-extra:,check,fail-with-code:,
+ print-mmodels,rt-debug,rte-select:,then,then-last,e-acsl-extra:,check,fail-with-code:,
temporal,weak-validity,stack-size:,heap-size:,zone-sizes:,rt-verbose,
free-valid-address,external-assert:,assert-print-data,no-assert-print-data,
external-print-value:,validate-format-strings,no-trace,libc-replacements,
@@ -388,7 +388,7 @@ OPTION_FREE_VALID_ADDRESS= # Fail if NULL is used as input to free
OPTION_VALIDATE_FORMAT_STRINGS= # Runtime format string validation
OPTION_LIBC_REPLACEMENTS= # Replace libc functions with RTL definitions
OPTION_RTE_SELECT= # Generate assertions for these functions only
-OPTION_THEN= # Adds -then in front of -e-acsl in FC command.
+OPTION_THEN= # Adds -then* in front of -e-acsl in FC command.
OPTION_STACK_SIZE= # Size of a heap shadow space (in MB)
OPTION_HEAP_SIZE= # Size of a stack shadow space (in MB)
OPTIONS_TLS_SIZE= # Size of a TLS shadow space (in MB)
@@ -657,6 +657,11 @@ do
shift;
OPTION_THEN=-then
;;
+ # Separate extra Frama-C flags from e-acsl launch with -then-last.
+ --then-last)
+ shift;
+ OPTION_THEN=-then-last
+ ;;
# Extra E-ACSL options
--e-acsl-extra)
shift;
--
GitLab