[Bug c/119104] Unclear documentation for [[gnu::nonnull_if_nonzero]]

2025-03-03 Thread alx at kernel dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119104 --- Comment #2 from Alejandro Colomar --- (In reply to Andrew Pinski from comment #1) > Non zero and zero are runtime values of here. Rather than compile > characteristics of that argument. > > Maybe just: > If the runtume value of the integral

[Bug c/119104] Unclear documentation for [[gnu::nonnull_if_nonzero]]

2025-03-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119104 --- Comment #1 from Andrew Pinski --- Non zero and zero are runtime values of here. Rather than compile characteristics of that argument. Maybe just: If the runtume value of the integral argument is zero, the pointer argument can be null; or if