https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64139
--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Well, that assert is there because I was mostly curious if it is possible to construct valid C++ program doing so. I will figure out if the context passed seems legit and probably just remove the assert.