gdb: ignore -Wregister instead of -Wdeprecated-register

Message ID 20240311160715.90270-1-simon.marchi@efficios.com
State New
Headers
Series gdb: ignore -Wregister instead of -Wdeprecated-register |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_binutils_build--master-arm success Testing passed
linaro-tcwg-bot/tcwg_binutils_build--master-aarch64 success Testing passed
linaro-tcwg-bot/tcwg_binutils_check--master-aarch64 success Testing passed
linaro-tcwg-bot/tcwg_binutils_check--master-arm success Testing passed

Commit Message

Simon Marchi March 11, 2024, 4:06 p.m. UTC
  [I'm CCing binutils because it touches include/diagnostics.h, but the
 change really only affects GDB, as DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER
 is only used in GDB.]

When building GDB on Centos 7 (which has flex 2.5.37) and Clang, I get:

    $ make ada-exp.o
      YACC   ada-exp.c
      LEX    ada-lex.c
      CXX    ada-exp.o
    In file included from /home/smarchi/src/binutils-gdb/gdb/ada-exp.y:1179:
    <stdout>:1106:2: error: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
     1106 |         register yy_state_type yy_current_state;
          |         ^~~~~~~~

In ada-lex.l, we already use `DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER`,
which for Clang translates to ignoring `-Wdeprecated-register` [1].  I think
that was produced when compiling as C++11, but now that we always compile as
C++17, Clang produces a `-Wregister` error [2].

For GCC, `DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER` already translates to
ignoring `-Wregister`.  So, rename
`DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER` to `DIAGNOSTIC_IGNORE_REGISTER`
and ignore `-Wregister` for Clang too.

[1] https://releases.llvm.org/17.0.1/tools/clang/docs/DiagnosticsReference.html#wdeprecated-register
[2] https://releases.llvm.org/17.0.1/tools/clang/docs/DiagnosticsReference.html#wregister

include/ChangeLog:

	* diagnostics.h (DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER): Rename
	to...
	(DIAGNOSTIC_IGNORE_REGISTER): ... this.  Ignore `-Wregister`
	instead of `-Wdeprecated-register`.

Change-Id: I8a4a51c7222c68577fa22ecacdddfcba32d9dbc5
---
 gdb/ada-lex.l         | 10 ++++------
 include/diagnostics.h | 11 +++++------
 2 files changed, 9 insertions(+), 12 deletions(-)


base-commit: b792eb47f25f577ccef365fc9a5c20d55fad42d5
  

Comments

Tom Tromey March 11, 2024, 5:49 p.m. UTC | #1
>>>>> "Simon" == Simon Marchi <simon.marchi@efficios.com> writes:

Simon> In ada-lex.l, we already use `DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER`,
Simon> which for Clang translates to ignoring `-Wdeprecated-register` [1].  I think
Simon> that was produced when compiling as C++11, but now that we always compile as
Simon> C++17, Clang produces a `-Wregister` error [2].

Can we just '#define register' in this file or somewhere nearby?

Eventually I'd like to stop using lex for Ada but that's kind of a lot
of work.

Tom
  
Simon Marchi March 11, 2024, 5:51 p.m. UTC | #2
On 3/11/24 13:49, Tom Tromey wrote:
>>>>>> "Simon" == Simon Marchi <simon.marchi@efficios.com> writes:
> 
> Simon> In ada-lex.l, we already use `DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER`,
> Simon> which for Clang translates to ignoring `-Wdeprecated-register` [1].  I think
> Simon> that was produced when compiling as C++11, but now that we always compile as
> Simon> C++17, Clang produces a `-Wregister` error [2].
> 
> Can we just '#define register' in this file or somewhere nearby?

We probably can, but ignoring the diagnostic seems safer and less hacky
to me.

Simon
  
Simon Marchi April 6, 2024, 3:26 a.m. UTC | #3
On 2024-03-11 13:51, Simon Marchi wrote:
> On 3/11/24 13:49, Tom Tromey wrote:
>>>>>>> "Simon" == Simon Marchi <simon.marchi@efficios.com> writes:
>>
>> Simon> In ada-lex.l, we already use `DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER`,
>> Simon> which for Clang translates to ignoring `-Wdeprecated-register` [1].  I think
>> Simon> that was produced when compiling as C++11, but now that we always compile as
>> Simon> C++17, Clang produces a `-Wregister` error [2].
>>
>> Can we just '#define register' in this file or somewhere nearby?
> 
> We probably can, but ignoring the diagnostic seems safer and less hacky
> to me.
> 
> Simon

Just stumbled on this.  Are you ok with the current patch, or would you
really prefer the #define approach?

Simon
  
Tom Tromey April 6, 2024, 2:40 p.m. UTC | #4
>>>>> "Simon" == Simon Marchi <simon.marchi@efficios.com> writes:

Simon> In ada-lex.l, we already use `DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER`,
Simon> which for Clang translates to ignoring `-Wdeprecated-register` [1].  I think
Simon> that was produced when compiling as C++11, but now that we always compile as
Simon> C++17, Clang produces a `-Wregister` error [2].

>>> Can we just '#define register' in this file or somewhere nearby?

>> We probably can, but ignoring the diagnostic seems safer and less hacky
>> to me.

Simon> Just stumbled on this.  Are you ok with the current patch, or would you
Simon> really prefer the #define approach?

It's fine if you want to do it.  I should really finish my rewrite of
this lexer.  IMO flex causes more problems than it solves.

Tom
  
Simon Marchi April 8, 2024, 2:58 a.m. UTC | #5
On 2024-04-06 10:40, Tom Tromey wrote:
>>>>>> "Simon" == Simon Marchi <simon.marchi@efficios.com> writes:
> 
> Simon> In ada-lex.l, we already use `DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER`,
> Simon> which for Clang translates to ignoring `-Wdeprecated-register` [1].  I think
> Simon> that was produced when compiling as C++11, but now that we always compile as
> Simon> C++17, Clang produces a `-Wregister` error [2].
> 
>>>> Can we just '#define register' in this file or somewhere nearby?
> 
>>> We probably can, but ignoring the diagnostic seems safer and less hacky
>>> to me.
> 
> Simon> Just stumbled on this.  Are you ok with the current patch, or would you
> Simon> really prefer the #define approach?
> 
> It's fine if you want to do it.  I should really finish my rewrite of
> this lexer.  IMO flex causes more problems than it solves.
> 
> Tom

Ok, thanks, pushed.

Simon
  

Patch

diff --git a/gdb/ada-lex.l b/gdb/ada-lex.l
index 828ff9a9215a..887527600b32 100644
--- a/gdb/ada-lex.l
+++ b/gdb/ada-lex.l
@@ -48,13 +48,11 @@  NOT_COMPLETE [^\001]
 
 #include "diagnostics.h"
 
-/* Some old versions of flex generate code that uses the "register" keyword,
-   which clang warns about.  This was observed for example with flex 2.5.35,
-   as shipped with macOS 10.12.  The same happens with flex 2.5.37 and g++ 11
-   which defaults to ISO C++17, that does not allow register storage class
-   specifiers.  */
+/* Some old versions of flex (2.5.x) generate code that uses the "register"
+   keyword, which compilers warn about, because it is not allowed in ISO
+   C++17.  */
 DIAGNOSTIC_PUSH
-DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER
+DIAGNOSTIC_IGNORE_REGISTER
 
 #define NUMERAL_WIDTH 256
 #define LONGEST_SIGN ((ULONGEST) 1 << (sizeof(LONGEST) * HOST_CHAR_BIT - 1))
diff --git a/include/diagnostics.h b/include/diagnostics.h
index 8cc2b493d2c0..97e30ab807f4 100644
--- a/include/diagnostics.h
+++ b/include/diagnostics.h
@@ -53,8 +53,8 @@ 
 # define DIAGNOSTIC_IGNORE_SELF_MOVE DIAGNOSTIC_IGNORE ("-Wself-move")
 # define DIAGNOSTIC_IGNORE_DEPRECATED_DECLARATIONS \
   DIAGNOSTIC_IGNORE ("-Wdeprecated-declarations")
-# define DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER \
-  DIAGNOSTIC_IGNORE ("-Wdeprecated-register")
+# define DIAGNOSTIC_IGNORE_REGISTER DIAGNOSTIC_IGNORE ("-Wregister")
+
 # if __has_warning ("-Wenum-compare-switch")
 #  define DIAGNOSTIC_IGNORE_SWITCH_DIFFERENT_ENUM_TYPES \
    DIAGNOSTIC_IGNORE ("-Wenum-compare-switch")
@@ -87,8 +87,7 @@ 
   DIAGNOSTIC_IGNORE ("-Wdeprecated-declarations")
 
 # if __GNUC__ >= 7
-#  define DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER \
-   DIAGNOSTIC_IGNORE ("-Wregister")
+#  define DIAGNOSTIC_IGNORE_REGISTER DIAGNOSTIC_IGNORE ("-Wregister")
 # endif
 
 # define DIAGNOSTIC_IGNORE_STRINGOP_TRUNCATION \
@@ -128,8 +127,8 @@ 
 # define DIAGNOSTIC_IGNORE_DEPRECATED_DECLARATIONS
 #endif
 
-#ifndef DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER
-# define DIAGNOSTIC_IGNORE_DEPRECATED_REGISTER
+#ifndef DIAGNOSTIC_IGNORE_REGISTER
+# define DIAGNOSTIC_IGNORE_REGISTER
 #endif
 
 #ifndef DIAGNOSTIC_IGNORE_SWITCH_DIFFERENT_ENUM_TYPES