xref: /llvm-project/libcxx/test/std/input.output/filesystems/class.path/synop.pass.cpp (revision ac8c9f1e39e1a773fd81ce23dbf1c80ea186f226)
1f7b43230SLouis Dionne //===----------------------------------------------------------------------===//
2f7b43230SLouis Dionne //
3f7b43230SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4f7b43230SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5f7b43230SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6f7b43230SLouis Dionne //
7f7b43230SLouis Dionne //===----------------------------------------------------------------------===//
8f7b43230SLouis Dionne 
9*ac8c9f1eSLouis Dionne // UNSUPPORTED: c++03, c++11, c++14
10c352fa74SLouis Dionne // UNSUPPORTED: availability-filesystem-missing
11f7b43230SLouis Dionne 
12f7b43230SLouis Dionne // <filesystem>
13f7b43230SLouis Dionne 
14f7b43230SLouis Dionne // class path
15f7b43230SLouis Dionne 
16f7b43230SLouis Dionne // typedef ... value_type;
17f7b43230SLouis Dionne // typedef basic_string<value_type> string_type;
18f7b43230SLouis Dionne // static constexpr value_type preferred_separator = ...;
19f7b43230SLouis Dionne 
20*ac8c9f1eSLouis Dionne #include <filesystem>
21fcc0964eSNikolas Klauser #include <cassert>
221d50cf98SNikolas Klauser #include <string>
231d50cf98SNikolas Klauser #include <type_traits>
24f7b43230SLouis Dionne 
25f7b43230SLouis Dionne #include "test_macros.h"
26*ac8c9f1eSLouis Dionne namespace fs = std::filesystem;
27f7b43230SLouis Dionne 
main(int,char **)28f7b43230SLouis Dionne int main(int, char**) {
29f7b43230SLouis Dionne   using namespace fs;
303784bdf2SMartin Storsjö #ifdef _WIN32
313784bdf2SMartin Storsjö   ASSERT_SAME_TYPE(path::value_type, wchar_t);
323784bdf2SMartin Storsjö #else
33f7b43230SLouis Dionne   ASSERT_SAME_TYPE(path::value_type, char);
343784bdf2SMartin Storsjö #endif
35f7b43230SLouis Dionne   ASSERT_SAME_TYPE(path::string_type, std::basic_string<path::value_type>);
36f7b43230SLouis Dionne   {
37f7b43230SLouis Dionne     ASSERT_SAME_TYPE(const path::value_type, decltype(path::preferred_separator));
383784bdf2SMartin Storsjö #ifdef _WIN32
393784bdf2SMartin Storsjö     static_assert(path::preferred_separator == '\\', "");
403784bdf2SMartin Storsjö #else
41f7b43230SLouis Dionne     static_assert(path::preferred_separator == '/', "");
423784bdf2SMartin Storsjö #endif
43f7b43230SLouis Dionne     // Make preferred_separator ODR used by taking its address.
443784bdf2SMartin Storsjö     const path::value_type* dummy = &path::preferred_separator;
45f7b43230SLouis Dionne     ((void)dummy);
46f7b43230SLouis Dionne   }
47f7b43230SLouis Dionne 
48f7b43230SLouis Dionne   return 0;
49f7b43230SLouis Dionne }
50