https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70704
--- Comment #33 from David Edelsohn <dje at gcc dot gnu.org> --- I'm completely confused as well. The bits seem to be identical. The only other obvious difference is ordering of timestamps of the source files that would cause Make to build files in a different order.
