https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93166
--- Comment #5 from fxue at gcc dot gnu.org --- To add a specialized class for tree lattices is a way, but will complicate the code. We can simple remove the assertion. And a one-file test case was made from original files.