https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79788
--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Martin Liška from comment #2) > Btw. can MPX be used for 32-bit binaries? Is it supported by ICC? MPX is supported on 32-bit i686, but not on x32.