[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-11 Thread xry111 at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #12 from Xi Ruoyao --- (In reply to Florian Weimer from comment #11) > (In reply to Xi Ruoyao from comment #10) > > But Zack's reason against using __nonnull is __nonnull may cause unwanted > > optimizations to *the user code*. > >

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-11 Thread fw at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #11 from Florian Weimer --- (In reply to Xi Ruoyao from comment #10) > But Zack's reason against using __nonnull is __nonnull may cause unwanted > optimizations to *the user code*. GCC already offers options to control function

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-11 Thread xry111 at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #10 from Xi Ruoyao --- (In reply to Florian Weimer from comment #9) > (In reply to Xi Ruoyao from comment #6) > > (In reply to Richard Biener from comment #5) > > > I think a -f... option to disable the code generation effects would

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-11 Thread fw at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #9 from Florian Weimer --- (In reply to Xi Ruoyao from comment #6) > (In reply to Richard Biener from comment #5) > > I think a -f... option to disable the code generation effects would make > > more sense than adding another

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-11 Thread alx at kernel dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #8 from Alejandro Colomar --- Test

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-11 Thread alx at kernel dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #7 from Alejandro Colomar --- Hi Xi, Richard! On 2023-07-11 10:34, xry111 at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 > > --- Comment #6 from Xi Ruoyao --- > Anyway I'm already too frustrated

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-11 Thread xry111 at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #6 from Xi Ruoyao --- (In reply to Richard Biener from comment #5) > I think a -f... option to disable the code generation effects would make > more sense than adding another attribute kind. Then maybe we'd just add a

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-11 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #5 from Richard Biener --- I think a -f... option to disable the code generation effects would make more sense than adding another attribute kind.

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-10 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 Sam James changed: What|Removed |Added CC||bugzilla at tecnocode dot co.uk,

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-10 Thread alx at kernel dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 Alejandro Colomar changed: What|Removed |Added CC||alx at kernel dot org --- Comment

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-10 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 Andrew Pinski changed: What|Removed |Added Keywords||diagnostic --- Comment #2 from Andrew

[Bug middle-end/110617] RFE: Add a diagnostic-only variant of nonnull attribute

2023-07-10 Thread xry111 at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110617 --- Comment #1 from Xi Ruoyao --- [1]: https://sourceware.org/glibc/wiki/Style_and_Conventions#Bugs_in_the_user_program [2]: https://sourceware.org/pipermail/libc-alpha/2023-July/149893.html