https://gcc.gnu.org/g:df5088e9a231159c8035debda18b997bc0eeeefb
commit r16-3915-gdf5088e9a231159c8035debda18b997bc0eeeefb Author: Andrew Pinski <[email protected]> Date: Mon Sep 15 22:37:44 2025 -0700 c: Reject gimple and rtl functions as needed functions [PR121421] These two don't make sense as nested functions as they both don't handle the unnesting and/or have support for the static chain. So let's reject them. Bootstrapped and tested on x86_64-linux-gnu. PR c/121421 gcc/c/ChangeLog: * c-parser.cc (c_parser_declaration_or_fndef): Error out for gimple and rtl functions as nested functions. gcc/testsuite/ChangeLog: * gcc.dg/gimplefe-error-16.c: New test. Signed-off-by: Andrew Pinski <[email protected]> Diff: --- gcc/c/c-parser.cc | 11 ++++++++++- gcc/testsuite/gcc.dg/gimplefe-error-16.c | 10 ++++++++++ 2 files changed, 20 insertions(+), 1 deletion(-) diff --git a/gcc/c/c-parser.cc b/gcc/c/c-parser.cc index f1aaab12e6e8..df44a915ed4f 100644 --- a/gcc/c/c-parser.cc +++ b/gcc/c/c-parser.cc @@ -3222,7 +3222,7 @@ c_parser_declaration_or_fndef (c_parser *parser, bool fndef_ok, else fnbody = c_parser_compound_statement (parser, &endloc); tree fndecl = current_function_decl; - if (nested) + if (nested && specs->declspec_il == cdil_none) { tree decl = current_function_decl; /* Mark nested functions as needing static-chain initially. @@ -3235,6 +3235,15 @@ c_parser_declaration_or_fndef (c_parser *parser, bool fndef_ok, c_pop_function_context (); add_stmt (build_stmt (DECL_SOURCE_LOCATION (decl), DECL_EXPR, decl)); } + else if (nested) + { + if (specs->declspec_il == cdil_rtl) + error ("%<__RTL%> function cannot be a nested function"); + else + error ("%<__GIMPLE%> function cannot be a nested function"); + finish_function (endloc); + c_pop_function_context (); + } else { if (fnbody) diff --git a/gcc/testsuite/gcc.dg/gimplefe-error-16.c b/gcc/testsuite/gcc.dg/gimplefe-error-16.c new file mode 100644 index 000000000000..4cdeac889c8f --- /dev/null +++ b/gcc/testsuite/gcc.dg/gimplefe-error-16.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ +/* { dg-options "-fgimple" } */ +/* PR c/121421 */ +/* Gimple functions cannot be nested functions. */ + + +void main(void) +{ + void __GIMPLE b(){} /* { dg-error "cannot be a nested" } */ +}
