https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108866
--- Comment #2 from Pali Rohár <pali at kernel dot org> --- Andrew, I do not know what is gcc driver nor what to do for it. But if you can show me some pointers, I can try it. Or if you need more details about files, usage, etc... please let me know.