[cfe-dev] ISO C3X proposal: nonnull qualifier

Joseph Myers via cfe-dev cfe-dev at lists.llvm.org
Mon Nov 15 12:18:45 PST 2021


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
joseph at codesourcery.com


More information about the cfe-dev mailing list