https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109013
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This is not easy, because it is only invalid if one ordered dominates the other
(so we need cfg to find that out) and further more it is an execution time
restriction, so it is unclear if we can error, perhaps just warn?
