On 21.07.2025 10:16, Nicola Vetrini wrote: > On 2025-07-21 08:41, Jan Beulich wrote: >> On 18.07.2025 22:25, Andrew Cooper wrote: >>> This moves the exception path to being out-of-line within the >>> function, rather >>> than in the .fixup section, which improves backtraces. >>> >>> Because the macro is used multiple times, the fault label needs >>> declaring as >>> local. >>> >>> No functional change. >>> >>> Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com> >>> --- >>> CC: Jan Beulich <jbeul...@suse.com> >>> CC: Roger Pau Monné <roger....@citrix.com> >>> >>> Slightly RFC. I haven't checked if Eclair will be happy with >>> __label__ yet. >> >> Even if it is, I guess you'd need to update the list of extensions we >> use (docs/misra/C-language-toolchain.rst)? > > Only for using the __label__ token in > automation/eclair_analysis/ECLAIR/toolchain.ecl. The extension itself is > already documented in 5590c7e6590d ("eclair: allow and document use of > GCC extension for label addresses")
Except that it's not the address taking that is the point in question here. We have meanwhile gained a number of asm-goto (and for the uses there I'm not even sure they count as "address taking"). It's really the __label__ extended keyword (and the thus possible declaration of a scope-restricted label) that my remark was about. But yes, toolchain.ecl looks to need a change, too. Jan