[v3 PATCH] Add a new header for diagnosing the use of C++17 facilities in pre-C++17 modes.

[v3 PATCH] Add a new header for diagnosing the use of C++17 facilities in pre-C++17 modes.

[Ville Voutilainen]

[-- Attachment #1: Type: text/plain, Size: 194 bytes --]

2016-07-06  Ville Voutilainen  <ville.voutilainen@gmail.com>

    Add a new header for diagnosing the use of C++17 facilities
    in pre-C++17 modes.
    * include/bits/c++17_warning.h:    New.

[-- Attachment #2: cpp17_header.diff --]
[-- Type: text/plain, Size: 1728 bytes --]

diff --git a/libstdc++-v3/include/bits/c++17_warning.h b/libstdc++-v3/include/bits/c++17_warning.h
new file mode 100644
index 0000000..e7cca46
--- /dev/null
+++ b/libstdc++-v3/include/bits/c++17_warning.h
@@ -0,0 +1,37 @@
+// Copyright (C) 2016 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+/** @file bits/c++17_warning.h
+ *  This is an internal header file, included by other library headers.
+ *  Do not attempt to use it directly. @headername{iosfwd}
+ */
+
+#ifndef _CXX17_WARNING_H
+#define _CXX17_WARNING_H 1
+
+#if __cplusplus > 201402L
+#error This file requires compiler and library support \
+for the ISO C++ 2017 standard. This support must be enabled \
+with the -std=c++17 or -std=gnu++17 compiler options.
+#endif
+
+#endif

Re: [v3 PATCH] Add a new header for diagnosing the use of C++17 facilities in pre-C++17 modes.

[Ville Voutilainen]

[-- Attachment #1: Type: text/plain, Size: 356 bytes --]

On 6 July 2016 at 17:44, Ville Voutilainen <ville.voutilainen@gmail.com> wrote:
> 2016-07-06  Ville Voutilainen  <ville.voutilainen@gmail.com>
>
>     Add a new header for diagnosing the use of C++17 facilities
>     in pre-C++17 modes.
>     * include/bits/c++17_warning.h:    New.

Urgh, the test in the header is completely wrong. Fixed patch attached.

[-- Attachment #2: cpp17_header_2.diff --]
[-- Type: text/plain, Size: 1729 bytes --]

diff --git a/libstdc++-v3/include/bits/c++17_warning.h b/libstdc++-v3/include/bits/c++17_warning.h
new file mode 100644
index 0000000..66ac196
--- /dev/null
+++ b/libstdc++-v3/include/bits/c++17_warning.h
@@ -0,0 +1,37 @@
+// Copyright (C) 2016 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+/** @file bits/c++17_warning.h
+ *  This is an internal header file, included by other library headers.
+ *  Do not attempt to use it directly. @headername{iosfwd}
+ */
+
+#ifndef _CXX17_WARNING_H
+#define _CXX17_WARNING_H 1
+
+#if __cplusplus <= 201402L
+#error This file requires compiler and library support \
+for the ISO C++ 2017 standard. This support must be enabled \
+with the -std=c++17 or -std=gnu++17 compiler options.
+#endif
+
+#endif

Re: [v3 PATCH] Add a new header for diagnosing the use of C++17 facilities in pre-C++17 modes.

[Jonathan Wakely]

On 06/07/16 20:11 +0300, Ville Voutilainen wrote:
>>     Add a new header for diagnosing the use of C++17 facilities
>>     in pre-C++17 modes.
>>     * include/bits/c++17_warning.h:    New.
>
>Urgh, the test in the header is completely wrong. Fixed patch attached.

OK for trunk.