https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106147
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Possible implementation idea: look at state merging when building the exploded graph: if we're merging an identical state in a loop, with no variants, then complain.
