http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59027
Daniel Krügler <daniel.kruegler at googlemail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |daniel.kruegler@googlemail.
| |com
--- Comment #1 from Daniel Krügler <daniel.kruegler at googlemail dot com> ---
Can you provide a test that should fail according to your interpretation? I
think you are misreading the code: is_signed delegates to a specialization of
__is_signed_helper. For this template we have a static branch into types where
is_arithmetic doesn't hold (This returns false_type unconditionally) and
another one where this holds. Only in the latter case further performs the
additional expression test.
