[Bug libstdc++/59027] std::is_signed does not include check for is_arithmetic

[daniel.kruegler at googlemail dot com]

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.