[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 Thomas Koenig changed: What|Removed |Added Status|WAITING |RESOLVED Resolution|---

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 --- Comment #13 from CVS Commits --- The master branch has been updated by Thomas Kथà¤nig : https://gcc.gnu.org/g:905ba62ec96f8469c1085861d9ceec58fbee5709 commit r11-1018-g905ba62ec96f8469c1085861d9ceec58fbee5709 Author: Thomas Koenig Date:

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 pthaugen at gcc dot gnu.org changed: What|Removed |Added CC||pthaugen at gcc dot gnu.org

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 Thomas Koenig changed: What|Removed |Added Ever confirmed|0 |1 CC|

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 --- Comment #10 from William J. Schmidt wschmidt at gcc dot gnu.org 2012-04-09 16:03:27 UTC --- FWIW, my original compile did eventually complete (after 31.5 hours)...

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 --- Comment #3 from William J. Schmidt wschmidt at gcc dot gnu.org 2012-04-06 12:09:47 UTC --- PPL administrator bagnara was very helpful in investigating this. The PPL code is not actually looping, but simply is taking a very long time to

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 William J. Schmidt wschmidt at gcc dot gnu.org changed: What|Removed |Added CC||dberlin

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 bagnara at cs dot unipr.it changed: What|Removed |Added CC||bagnara at cs dot unipr.it

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 --- Comment #6 from bagnara at cs dot unipr.it 2012-04-06 14:04:09 UTC --- Created attachment 27104 -- http://gcc.gnu.org/bugzilla/attachment.cgi?id=27104 Example alternative implementation for ppl_powerset_is_empty ()

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 --- Comment #7 from bagnara at cs dot unipr.it 2012-04-06 14:06:38 UTC --- (In reply to comment #5) Here is a sketch (100% untested) of what can be done without intervening [...] So untested that I forgot to declare to the MIP problem that all

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 --- Comment #8 from William J. Schmidt wschmidt at gcc dot gnu.org 2012-04-06 19:08:09 UTC --- Roberto, I tried your patch, but got the following error: PPL error code -8 PPL C interface error: ppl_set_deterministic_timeout: the PPL Watchdog

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

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

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 --- Comment #1 from William J. Schmidt wschmidt at gcc dot gnu.org 2012-04-05 16:47:32 UTC --- I verified that the looping occurs inside the PPL library, on a call to ppl_PIP_Problem_is_satisfiable. I used ppl_PIP_Problem_ascii_dump to examine

[Bug tree-optimization/50439] gfortran infinite loop with -floop-interchange

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50439 --- Comment #2 from William J. Schmidt wschmidt at gcc dot gnu.org 2012-04-05 17:06:47 UTC --- Opened a bug report as https://www.cs.unipr.it/mantis/view.php?id=353 against PPL.