https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85633 --- Comment #4 from Julian Taylor <jtaylor.debian at googlemail dot com> --- Oh that is unfortunate. I guess one has to inject the dependency in the fpu checking function as an argument then.