lvalue-to-rvalue conversion loses qualifiers, which makes any rules based on whether the RHS of an assignment was nonnull-qualified very problematic. (The specification of restrict is exceedingly tricky and very unlikely to be a good basis for specifying any other feature.)
I don't think a manpage is a good form for proposing a language feature. Actual proposed normative wording for the C standard, showing all relevant changes to all relevant subclauses, is better. -- Joseph S. Myers jos...@codesourcery.com
