https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65380
--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> --- (In reply to Jan Hubicka from comment #2) > Will take a look. Is it an open source program? Thanks. Unfortunately, it isn't open source; it's mostly used in house and there were talks about open-sourcing it, but it has not (yet) happened.