diff --git a/gcc/c-family/c-pragma.cc b/gcc/c-family/c-pragma.cc index b5a4b3c970f21ebcc001b617db26df8866592505..142a46441ac2d65fd95aa05a89b8f8c3be0eba4b 100644 --- a/gcc/c-family/c-pragma.cc +++ b/gcc/c-family/c-pragma.cc @@ -1403,6 +1403,12 @@ handle_pragma_message (cpp_reader *) TREE_STRING_POINTER (message)); } +/* Ignore a no-op pragma that GCC recognizes, but which has no effect. */ +static void +handle_pragma_ignore (cpp_reader *) +{ +} + /* Mark whether the current location is valid for a STDC pragma. */ static bool valid_location_for_stdc_pragma; @@ -1870,6 +1876,9 @@ init_pragma (void) c_register_pragma ("GCC", "pop_options", handle_pragma_pop_options); c_register_pragma ("GCC", "reset_options", handle_pragma_reset_options); + c_register_pragma (0, "region", handle_pragma_ignore); + c_register_pragma (0, "endregion", handle_pragma_ignore); + c_register_pragma ("STDC", "FLOAT_CONST_DECIMAL64", handle_pragma_float_const_decimal64); diff --git a/gcc/doc/cpp/pragmas.rst b/gcc/doc/cpp/pragmas.rst index da07cebf4a1ae6650a69d3b4b30e9399f362b9e2..78277d7b62328f751f19ff93659e9c05878718b9 100644 --- a/gcc/doc/cpp/pragmas.rst +++ b/gcc/doc/cpp/pragmas.rst @@ -119,3 +119,6 @@ GCC plugins may provide their own pragmas. file will never be read again, no matter what. It is a less-portable alternative to using :samp:`#ifndef` to guard the contents of header files against multiple inclusions. + +``#pragma region {tokens}...``, ``#pragma endregion {tokens}...`` + These pragmas are accepted, but have no effect. diff --git a/gcc/testsuite/c-c++-common/pragma-region.c b/gcc/testsuite/c-c++-common/pragma-region.c new file mode 100644 index 0000000000000000000000000000000000000000..8e0cbe1f16fee03b7933e66f44622f6ff4829834 --- /dev/null +++ b/gcc/testsuite/c-c++-common/pragma-region.c @@ -0,0 +1,11 @@ +/* { dg-options "-Wunknown-pragmas" } */ +/* { dg-final { scan-assembler "code_within_region" } } */ +/* { dg-final { scan-assembler "code_within_named_region" } } */ + +#pragma region +void code_within_region() { } +#pragma endregion + +#pragma region ignored name +void code_within_named_region() { } +#pragma endregion // ignored comment