Hi, this is a regression present on mainline, 11 and 10 branches: on bare-metal platforms, the Ada compiler emulates stack checking (it is required by the language and tested by ACATS) in the runtime via the stack_check_libfunc hook of the RTL middle-end. Calls to the function are generated as libcalls but they now require a proper function type at -O2 or above. Tested on powerpc-elf, OK for mainline, 11 and 10 branches? 2021-10-01 Eric Botcazou * explow.c: Include langhooks.h. (set_stack_check_libfunc): Build a proper function type. -- Eric Botcazou