https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31893
--- Comment #9 from Daniel Fruzynski <bugzi...@poradnik-webmastera.com> --- My bad, now I see my error. What do you think about adding this new attribute to mark function arguments as out only? I think it would allow to eliminate more dead or unnecessary code (e.g. when value is assigned to variable, and then address of this variable is passed as out argument), plus print warnings like 'not all paths assigns value to out argument' or 'value of out argument is read'.
