[Bug analyzer/110426] Missing buffer overflow warning with function pointer that has the alloc_size attribute

[alexhenrie24 at gmail dot com via Gcc-bugs]

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

--- Comment #4 from Alex Henrie <alexhenrie24 at gmail dot com> ---
I tried out your changes and the warnings look great now. Thank you!