On 01.07.2019, at 01:12, Carl Eugen Hoyos <ceffmpeg at gmail.com> wrote: > Undefined behaviour was reported in ticket #7981, attached patch tries > to fix it. I suspect it makes more sense to check header_len against 0? And is the NULL pointer really undefined behaviour even if length is 0?