[Bug c++/85679] [DR2094] __is_trivially_copyable returns false with volatile scalar type

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85679

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Mon May 20 19:10:57 2019
New Revision: 271435

URL: https://gcc.gnu.org/viewcvs?rev=271435&root=gcc&view=rev
Log:
        CWG 2094 - volatile scalars are trivially copyable.
        PR c++/85679
        * tree.c (trivially_copyable_p): Don't check CP_TYPE_VOLATILE_P for
        scalar types.

        * g++.dg/ext/is_trivially_constructible1.C: Change the expected result
        for volatile int.
        * g++.dg/ext/is_trivially_copyable.C: New test.

        * testsuite/20_util/is_trivially_copyable/value.cc: Change the expected
        result for volatile int.

Added:
    trunk/gcc/testsuite/g++.dg/ext/is_trivially_copyable.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/ext/is_trivially_constructible1.C
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/testsuite/20_util/is_trivially_copyable/value.cc