http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54130
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> 2012-07-31 19:20:09 UTC --- Joseph, I understand your comments, but I don't know what conclusion to take from them about whether gcc should recognize int/bool isnan(double) as a builtin...