https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69856
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- No this is fine as __builtin_choose_expr is like a?b:c where there is no evaluation of the expressions b or c depending on if a is true or not. So not a bug in libgfortran but rather your checker which does not implement the two GCC extensions __builtin_classify_type and __builtin_choose_expr .