https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116007
--- Comment #22 from Thomas Petazzoni <thomas.petazz...@free-electrons.com> --- Thanks for the patch, I confirm it fixes the build issue I was seeing!
thomas.petazzoni--- via Gcc-bugs Wed, 21 Aug 2024 03:39:40 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116007
--- Comment #22 from Thomas Petazzoni <thomas.petazz...@free-electrons.com> --- Thanks for the patch, I confirm it fixes the build issue I was seeing!