Author: Oleksandr T. Date: 2025-08-11T17:08:10+03:00 New Revision: 5544492d6a365e3f41a5439987b6bb8d0d3edd02
URL: https://github.com/llvm/llvm-project/commit/5544492d6a365e3f41a5439987b6bb8d0d3edd02 DIFF: https://github.com/llvm/llvm-project/commit/5544492d6a365e3f41a5439987b6bb8d0d3edd02.diff LOG: [Clang] Fixed a crash when parsing #embed parameters with unmatched closing brackets (#152877) Fixes #152829 --- This patch addresses the issue where the preprocessor could crash when parsing `#embed` parameters containing unmatched closing brackets ```cpp #embed "file" prefix(]) #embed "file" prefix(}) ``` Added: Modified: clang/docs/ReleaseNotes.rst clang/lib/Lex/PPDirectives.cpp clang/test/Preprocessor/embed_parsing_errors.c Removed: ################################################################################ diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst index 6b31238c279d8..fe6a48117df29 100644 --- a/clang/docs/ReleaseNotes.rst +++ b/clang/docs/ReleaseNotes.rst @@ -295,6 +295,7 @@ Crash and bug fixes ^^^^^^^^^^^^^^^^^^^ - Fixed a crash in the static analyzer that when the expression in an ``[[assume(expr)]]`` attribute was enclosed in parentheses. (#GH151529) +- Fixed a crash when parsing ``#embed`` parameters with unmatched closing brackets. (#GH152829) Improvements ^^^^^^^^^^^^ diff --git a/clang/lib/Lex/PPDirectives.cpp b/clang/lib/Lex/PPDirectives.cpp index 3fa060f7ec1bd..9d01b8d99e227 100644 --- a/clang/lib/Lex/PPDirectives.cpp +++ b/clang/lib/Lex/PPDirectives.cpp @@ -3793,9 +3793,13 @@ Preprocessor::LexEmbedParameters(Token &CurTok, bool ForHasEmbed) { [[fallthrough]]; case tok::r_brace: case tok::r_square: { + if (BracketStack.empty()) { + ExpectOrDiagAndSkipToEOD(tok::r_paren); + return false; + } tok::TokenKind Matching = GetMatchingCloseBracket(BracketStack.back().first); - if (BracketStack.empty() || CurTok.getKind() != Matching) { + if (CurTok.getKind() != Matching) { DiagMismatchedBracesAndSkipToEOD(Matching, BracketStack.back()); return false; } diff --git a/clang/test/Preprocessor/embed_parsing_errors.c b/clang/test/Preprocessor/embed_parsing_errors.c index 490ec6d4ded2c..a8bbdea91eb16 100644 --- a/clang/test/Preprocessor/embed_parsing_errors.c +++ b/clang/test/Preprocessor/embed_parsing_errors.c @@ -94,6 +94,9 @@ char buffer[] = { #embed "embed_parsing_errors.c" prefix() // OK: tokens within parens are optional #embed "embed_parsing_errors.c" prefix) // expected-error@-1 {{expected '('}} +#embed "embed_parsing_errors.c" prefix()) // expected-error {{expected identifier}} +#embed "embed_parsing_errors.c" prefix(]) // expected-error {{expected ')'}} +#embed "embed_parsing_errors.c" prefix(}) // expected-error {{expected ')'}} #embed "embed_parsing_errors.c" suffix // expected-error@-1 {{expected '('}} @@ -115,6 +118,9 @@ char buffer[] = { #embed "embed_parsing_errors.c" suffix() // OK: tokens within parens are optional #embed "embed_parsing_errors.c" suffix) // expected-error@-1 {{expected '('}} +#embed "embed_parsing_errors.c" suffix()) // expected-error {{expected identifier}} +#embed "embed_parsing_errors.c" suffix(]) // expected-error {{expected ')'}} +#embed "embed_parsing_errors.c" suffix(}) // expected-error {{expected ')'}} #embed "embed_parsing_errors.c" if_empty(1/0) // OK: emitted as tokens, not evaluated yet. #embed "embed_parsing_errors.c" if_empty(([{}])) // OK: delimiters balanced @@ -128,3 +134,6 @@ char buffer[] = { #embed "embed_parsing_errors.c" if_empty) // expected-error@-1 {{expected '('}} }; +#embed "embed_parsing_errors.c" if_empty()) // expected-error {{expected identifier}} +#embed "embed_parsing_errors.c" if_empty(]) // expected-error {{expected ')'}} +#embed "embed_parsing_errors.c" if_empty(}) // expected-error {{expected ')'}} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
