[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

--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> ---
Work-in-progress patch posted for comments:
https://gcc.gnu.org/ml/gcc-patches/2016-11/msg01272.html