[Bug c/67093] incorrect -Wnonnull text for execl family of functions

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67093

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
POSIX says:
The argument arg0 should point to a filename string that is associated with the
process being started by one of the exec functions.

At least from
http://pubs.opengroup.org/onlinepubs/9699919799/functions/exec.html (which I
assume is the POSIX documentation).

The question here is what is the definition of should in this context.