public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c/22249] GCC does not reject an incompatible type declaration [not found] <bug-22249-4@http.gcc.gnu.org/bugzilla/> @ 2021-08-14 20:09 ` muecker at gwdg dot de 2022-03-02 2:31 ` egallager at gcc dot gnu.org 1 sibling, 0 replies; 3+ messages in thread From: muecker at gwdg dot de @ 2021-08-14 20:09 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=22249 Martin Uecker <muecker at gwdg dot de> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |muecker at gwdg dot de --- Comment #2 from Martin Uecker <muecker at gwdg dot de> --- This is diagnosed in GCC 11. https://godbolt.org/z/GcE19jqbK ^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c/22249] GCC does not reject an incompatible type declaration [not found] <bug-22249-4@http.gcc.gnu.org/bugzilla/> 2021-08-14 20:09 ` [Bug c/22249] GCC does not reject an incompatible type declaration muecker at gwdg dot de @ 2022-03-02 2:31 ` egallager at gcc dot gnu.org 1 sibling, 0 replies; 3+ messages in thread From: egallager at gcc dot gnu.org @ 2022-03-02 2:31 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=22249 Eric Gallager <egallager at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |egallager at gcc dot gnu.org --- Comment #3 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Martin Uecker from comment #2) > This is diagnosed in GCC 11. > > https://godbolt.org/z/GcE19jqbK ...as a warning, but I think the original reporter wanted it to be an error? (or at least as a pedwarn instead of a regular warning) ^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c/22249] New: GCC does not reject an incompatible type declaration @ 2005-06-30 13:20 neil at gcc dot gnu dot org 2005-06-30 13:33 ` [Bug c/22249] " pinskia at gcc dot gnu dot org 0 siblings, 1 reply; 3+ messages in thread From: neil at gcc dot gnu dot org @ 2005-06-30 13:20 UTC (permalink / raw) To: gcc-bugs I don't believe the standard requires the following to be rejected, but as a QOI issue I believe it should be. The debatable point is whether you believe the composite of the first two is specified by a function definition; if you do then you must reject. GCC rejects it if the order of the first two is switched. void r(x) int (*x)[2]; {} void r(); void r(int (*x)[3]); /* Ideally rejected. */ Flags are e.g. -Wall -std=c99 -pedantic -- Summary: GCC does not reject an incompatible type declaration Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: minor Priority: P3 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: neil at gcc dot gnu dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22249 ^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c/22249] GCC does not reject an incompatible type declaration 2005-06-30 13:20 [Bug c/22249] New: " neil at gcc dot gnu dot org @ 2005-06-30 13:33 ` pinskia at gcc dot gnu dot org 0 siblings, 0 replies; 3+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-06-30 13:33 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-30 13:32 ------- Confirmed. -- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed| |1 Keywords| |accepts-invalid Known to fail| |2.95 3.0.4 3.2.2 4.0.0 3.4.0 | |3.3.3 Last reconfirmed|0000-00-00 00:00:00 |2005-06-30 13:32:43 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22249 ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2022-03-02 2:31 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <bug-22249-4@http.gcc.gnu.org/bugzilla/> 2021-08-14 20:09 ` [Bug c/22249] GCC does not reject an incompatible type declaration muecker at gwdg dot de 2022-03-02 2:31 ` egallager at gcc dot gnu.org 2005-06-30 13:20 [Bug c/22249] New: " neil at gcc dot gnu dot org 2005-06-30 13:33 ` [Bug c/22249] " pinskia at gcc dot gnu dot 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).