https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101665
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2021-07-29 Status|UNCONFIRMED |ASSIGNED Ever confirmed|0 |1 See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=100404 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org Keywords| |documentation --- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> --- This is essentially a duplicate of pr100404 which was resolved as invalid, but I think it's possible to do better: at a minimum, updating the documentation might help. Issuing a warning when both attributes are set on the same function indicating that one is ignored (as is normally done) would be even better but wouldn't help if -fno-delete-null-pointer-checks is set by a #pragma or on the command line. Let me see what I can do.