[Bug c/77531] __attribute__((alloc_size(1,2))) could also warn on multiplication overflow

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2016-11-09
                 CC|                            |msebor at gcc dot gnu.org
               Host|                            |78284
     Ever confirmed|0                           |1
           Severity|normal                      |enhancement

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
I think this would be quite useful and could be implemented as part of the
enhancement suggested in bug 78284.