]> git.ipfire.org Git - thirdparty/gcc.git/commit
c: Fix handling of [[gnu::musttail] return in if and else bodies [PR119311]
authorJakub Jelinek <jakub@redhat.com>
Tue, 18 Mar 2025 17:51:48 +0000 (18:51 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Tue, 18 Mar 2025 17:51:48 +0000 (18:51 +0100)
commit53d8ed13bb5a6972efab7c56c066010cd1f78b35
tree32e08178dcef7495b506b74432fe7f3033f6e7d8
parent1d7f57da583782ae5d56655a3ac413bdf259838a
c: Fix handling of [[gnu::musttail] return in if and else bodies [PR119311]

The following new testcase FAILs with C (and succeeds with C++).
c_parser_handle_musttail is used in c_parser_compound_statement_nostart
where it is directly passed to c_parser_statement_after_labels, and in
c_parser_all_labels where it is returned.  Now, out of the 3
c_parser_all_labels callers, c_parser_statement passes it down to
c_parser_statement_after_labels, but c_parser_if_body and c_parser_else_body
don't, so if there are return statements with [[gnu::musttail]] or
[[clang::musttail]] directly in if or else bodies rather than wrapped with
{}s, we throw that information away.

2025-03-18  Jakub Jelinek  <jakub@redhat.com>

PR c/119311
* c-parser.cc (c_parser_if_body): Pass result of c_parser_all_labels
as last argument to c_parser_statement_after_labels.
(c_parser_else_body): Likewise.

* c-c++-common/musttail14.c: Use * instead of \* in the regexps.
* c-c++-common/musttail25.c: New test.
gcc/c/c-parser.cc
gcc/testsuite/c-c++-common/musttail14.c
gcc/testsuite/c-c++-common/musttail25.c [new file with mode: 0644]