https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87048
--- Comment #7 from Christophe Lyon <clyon at gcc dot gnu.org> --- I've attached the execution traces from PR25829 here for clarity. Looking at them, I've noticed a different execution path in build.4947.constprop.0, starting at line 5477 in the "OK" file, and line 5483 in the "KO" file.
