https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109256
--- Comment #2 from James Hilliard <james.hilliard1 at gmail dot com> --- (In reply to Andrew Pinski from comment #1) > Even a bad input should cause an error reported rather than a double free. > So you should at least report it to libbpf too libbpf bug report: https://lore.kernel.org/bpf/cadvtj4o7zwuikkwntwfq0o_aax+46t_+ca9gvwmydwdrttg...@mail.gmail.com/