[EMAIL PROTECTED] wrote:
Okay, I stand corrected. As a practical implementation we can have a mechanism as push/pop timevar, that would monitor the time and space of an algorithm and that can cancel the computation for failing on a safe approximation. As a first concretization, I was thinking to use threads, but I'm not sure whether this is suitable for GCC.
No threads in gcc, please.
