https://sourceware.org/bugzilla/show_bug.cgi?id=28530
--- Comment #2 from Shaohua Li <shaohua.li at inf dot ethz.ch> --- Well, for the default configuration, it indeed ended if given a long enough time. But it seems to take a much longer time than expected. I found this issue with a "-O0" compiled binary. If you compile with "-O0", at least on my machine, it couldn't end in 10min+. -- You are receiving this mail because: You are on the CC list for the bug.
