http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54779
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Results (ms) for SPARKSkein on x86-64 at -O3 -gnatn -gnatp: Before: DT_Min is 36 Min is 15.21 Median is 15.22 After: DT_Min is 36 Min is 14.56 Median is 14.58