https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80193
--- Comment #4 from Vladimir Makarov <vmakarov at gcc dot gnu.org> --- I've reproduced it and started to investigate. It is a very complicated example. I can not even say right now what is wrong, the check or the allocation result. I guess it will take some time only to investigate it. In the best scenario, it will be fixed on this week.