https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81798
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |missed-optimization Status|UNCONFIRMED |NEW Last reconfirmed| |2017-08-10 CC| |msebor at gcc dot gnu.org Component|c |tree-optimization Ever confirmed|0 |1 Severity|normal |enhancement --- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> --- This sounds a like a useful feature, not just to improve code generation but also to help avoid false positives when -Wuninitialized is enhanced to understand allocated memory. For the latter, the attribute should also make it possible to indicate whether the memory is zeroed out or just initialized to some possibly non-zero values. Confirmed.