https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101665
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Tom de Vries <vr...@gcc.gnu.org>: https://gcc.gnu.org/g:7d8577dd46688a3c721fb1e1f271b59f1672e99a commit r12-2660-g7d8577dd46688a3c721fb1e1f271b59f1672e99a Author: Tom de Vries <tdevr...@suse.de> Date: Wed Jul 28 15:44:54 2021 +0200 [gcc/doc] Improve nonnull attribute documentation Improve nonnull attribute documentation in a number of ways: Reorganize discussion of effects into: - effects for calls to functions with nonnull-marked parameters, and - effects for function definitions with nonnull-marked parameters. This makes it clear that -fno-delete-null-pointer-checks has no effect for optimizations based on nonnull-marked parameters in function definitions (see PR100404). Mention -Wnonnull-compare. gcc/ChangeLog: 2021-07-28 Tom de Vries <tdevr...@suse.de> PR middle-end/101665 * doc/extend.texi (nonnull attribute): Improve documentation.