https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69123
Alexandre Oliva <aoliva at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot
gnu.org
--- Comment #14 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
Mine.
H.J., thanks for the reduced testcase. I'm afraid the patch is not right,
though. All the test you removed does is to allow an optimization in the
comparison between two dataflow sets, namely, to refrain from comparing each
element of the second set with corresponding element in the first, after
comparing each element of the first set with the corresponding element in the
second. There's a comment at the end of dataflow_set_different_p to that
effect, and removing the optimization will result in incorrect dataflow
analysis, because GCC won't notice when entries have been added to the new
dataflow set.
I'm looking into it to figure out why it's oscillating.
