http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439
--- Comment #9 from bagnara at cs dot unipr.it 2012-04-06 19:17:25 UTC --- Pity it is not enabled: it definitely should. Note that the addition of the deterministic timeout facility of the PPL was solicited by the Graphite people. Previously the PPL only supported timeouts based on wall-clock time, which resulted in non-determinism that is unacceptable in GCC.
