public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/102164] New: -Wtype-limits warnings in ada.h
@ 2021-09-01 17:53 msebor at gcc dot gnu.org
  2023-05-11 16:32 ` [Bug ada/102164] " ebotcazou at gcc dot gnu.org
  0 siblings, 1 reply; 2+ messages in thread
From: msebor at gcc dot gnu.org @ 2021-09-01 17:53 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102164

            Bug ID: 102164
           Summary: -Wtype-limits warnings in ada.h
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: msebor at gcc dot gnu.org
  Target Milestone: ---

Recent Ada builds have been showing a number of -Wtype-limits warnings, all
pointing to invocations of the same macro (below).  The warnings don't cause
the build to fail but it would be nice to avoid them just the same.  Maybe by
casting the operands to signed if all their values are in range?

In file included from /src/gcc/master/gcc/ada/gcc-interface/decl.c:39:
ada/einfo.h: In function ‘B Is_Void_Or_Type(E)’:
/src/gcc/master/gcc/ada/gcc-interface/ada.h:70:13: warning: comparison of
unsigned expression >= 0 is always true [-Wtype-limits]
   (((VALUE) >= (SUBTYPE) CAT (SUBTYPE,__First)) \
ada/einfo.h:1775:13: note: in expansion of macro ‘IN’
    { return IN (Ekind (Id), Void_Or_Type_Kind); }
             ^~

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [Bug ada/102164] -Wtype-limits warnings in ada.h
  2021-09-01 17:53 [Bug ada/102164] New: -Wtype-limits warnings in ada.h msebor at gcc dot gnu.org
@ 2023-05-11 16:32 ` ebotcazou at gcc dot gnu.org
  0 siblings, 0 replies; 2+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2023-05-11 16:32 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102164

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |WORKSFORME
                 CC|                            |ebotcazou at gcc dot gnu.org

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I no longer see them.

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2023-05-11 16:32 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-01 17:53 [Bug ada/102164] New: -Wtype-limits warnings in ada.h msebor at gcc dot gnu.org
2023-05-11 16:32 ` [Bug ada/102164] " ebotcazou at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).