https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80045
--- Comment #4 from Florent Hivert <florent.hivert at lri dot fr> --- I should have said first : thanks for analizing the problem !!! I wasn't sure about the proper way to do thing and I was afraid that no one Cilk aware was following gcc-help. Anyway I should have mentioned on the list the number of the ticket. Sorry for the mess.
