From 5590c7e6590d78d9a90ff6d63bf8442530bf2244 Mon Sep 17 00:00:00 2001 From: Nicola Vetrini Date: Fri, 23 May 2025 09:20:35 +0200 Subject: [PATCH] eclair: allow and document use of GCC extension for label addresses No functional change. Signed-off-by: Nicola Vetrini Acked-by: Andrew Cooper --- automation/eclair_analysis/ECLAIR/toolchain.ecl | 5 +++++ docs/misra/C-language-toolchain.rst | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/automation/eclair_analysis/ECLAIR/toolchain.ecl b/automation/eclair_analysis/ECLAIR/toolchain.ecl index 8ebf9f132c..842f8377e5 100644 --- a/automation/eclair_analysis/ECLAIR/toolchain.ecl +++ b/automation/eclair_analysis/ECLAIR/toolchain.ecl @@ -108,6 +108,11 @@ volatile" -config=STD.funojptr,behavior+={c99,GCC_X86_64,specified} -doc_end +-doc_begin="See section \"6.3 Labels as Values\" of "GCC_MANUAL"." +-config=STD.adrslabl,behavior={c99,GCC_ARM64,specified} +-config=STD.adrslabl,behavior={c99,GCC_X86_64,specified} +-doc_end + -doc_begin=" ext_c_missing_varargs_arg: see Section \"6.21 Macros with a Variable Number of Arguments\" of "GCC_MANUAL". ext_enum_value_not_int: non-documented GCC extension. diff --git a/docs/misra/C-language-toolchain.rst b/docs/misra/C-language-toolchain.rst index 3a1ce651d7..cb81f5c098 100644 --- a/docs/misra/C-language-toolchain.rst +++ b/docs/misra/C-language-toolchain.rst @@ -214,6 +214,10 @@ The table columns are as follows: - All architectures - See Section "4.5 Integers" of GCC_MANUAL. + * - Taking the address of a label + - All architectures + - See Section "6.3 Labels as Values" of GCC_MANUAL. + Translation Limits __________________