https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104620
--- Comment #6 from Patrick Palka <ppalka at gcc dot gnu.org> --- The reason that the two tests in constexpr-if2.C don't fail with -fchecking=2 after r12-7264 seems to be a latent bug. The error comes from the call to fold_non_dependent_expr in build_non_dependent_expr (which is guarded by flag_checking > 1), despite passing complain=tf_none. I think build_over_call needs to use cxx_constant_value_sfinae instead of cxx_constant_value when evaluating a consteval call... I have a patch for this.