12d3b8cc8SLouis Dionne //===----------------------------------------------------------------------===//
22d3b8cc8SLouis Dionne //
32d3b8cc8SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42d3b8cc8SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
52d3b8cc8SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
62d3b8cc8SLouis Dionne //
72d3b8cc8SLouis Dionne //===----------------------------------------------------------------------===//
82d3b8cc8SLouis Dionne
92d3b8cc8SLouis Dionne // Make sure functions specified as being 'addressable' (their address can be
102d3b8cc8SLouis Dionne // taken in a well-defined manner) are indeed addressable. This notion was
112d3b8cc8SLouis Dionne // added by http://wg21.link/p0551. While it was technically only introduced
122d3b8cc8SLouis Dionne // in C++20, we test it in all standard modes because it's basic QOI to provide
132d3b8cc8SLouis Dionne // a consistent behavior for that across standard modes.
142d3b8cc8SLouis Dionne
152d3b8cc8SLouis Dionne // RUN: %{cxx} %{flags} %{compile_flags} -c %s -o %t.tu1.o -DTU1
162d3b8cc8SLouis Dionne // RUN: %{cxx} %{flags} %{compile_flags} -c %s -o %t.tu2.o -DTU2
173e5f9dacSLouis Dionne // RUN: %{cxx} %t.tu1.o %t.tu2.o %{flags} %{link_flags} -o %t.exe
182d3b8cc8SLouis Dionne // RUN: %{exec} %t.exe
192d3b8cc8SLouis Dionne
2088ffc727SLouis Dionne // The functions checked below come from <iostream> & friends
21*a7f9895cSLouis Dionne // UNSUPPORTED: no-localization
2288ffc727SLouis Dionne
232d3b8cc8SLouis Dionne #include <cassert>
24cc69d211SLouis Dionne #include <ios>
25cc69d211SLouis Dionne #include <istream>
262d3b8cc8SLouis Dionne #include <map>
27cc69d211SLouis Dionne #include <ostream>
282d3b8cc8SLouis Dionne #include <string>
292d3b8cc8SLouis Dionne #include <utility>
302d3b8cc8SLouis Dionne
31f4c1258dSLouis Dionne #include "test_macros.h"
322d3b8cc8SLouis Dionne
332d3b8cc8SLouis Dionne typedef std::ios_base& (FormatFlagFunction)(std::ios_base&);
342d3b8cc8SLouis Dionne typedef std::basic_ostream<char>& (OstreamManipFunction)(std::basic_ostream<char>&);
352d3b8cc8SLouis Dionne typedef std::basic_istream<char>& (IstreamManipFunction)(std::basic_istream<char>&);
36f4c1258dSLouis Dionne #ifndef TEST_HAS_NO_WIDE_CHARACTERS
37f4c1258dSLouis Dionne typedef std::basic_ostream<wchar_t>& (WOstreamManipFunction)(std::basic_ostream<wchar_t>&);
382d3b8cc8SLouis Dionne typedef std::basic_istream<wchar_t>& (WIstreamManipFunction)(std::basic_istream<wchar_t>&);
39f4c1258dSLouis Dionne #endif
402d3b8cc8SLouis Dionne
412d3b8cc8SLouis Dionne extern FormatFlagFunction* get_formatflag_tu1(std::string);
422d3b8cc8SLouis Dionne extern FormatFlagFunction* get_formatflag_tu2(std::string);
432d3b8cc8SLouis Dionne
442d3b8cc8SLouis Dionne extern OstreamManipFunction* get_ostreammanip_tu1(std::string);
452d3b8cc8SLouis Dionne extern OstreamManipFunction* get_ostreammanip_tu2(std::string);
46f4c1258dSLouis Dionne #ifndef TEST_HAS_NO_WIDE_CHARACTERS
472d3b8cc8SLouis Dionne extern WOstreamManipFunction* get_wostreammanip_tu1(std::string);
482d3b8cc8SLouis Dionne extern WOstreamManipFunction* get_wostreammanip_tu2(std::string);
49f4c1258dSLouis Dionne #endif
502d3b8cc8SLouis Dionne
512d3b8cc8SLouis Dionne extern IstreamManipFunction* get_istreammanip_tu1(std::string);
522d3b8cc8SLouis Dionne extern IstreamManipFunction* get_istreammanip_tu2(std::string);
53f4c1258dSLouis Dionne #ifndef TEST_HAS_NO_WIDE_CHARACTERS
542d3b8cc8SLouis Dionne extern WIstreamManipFunction* get_wistreammanip_tu1(std::string);
552d3b8cc8SLouis Dionne extern WIstreamManipFunction* get_wistreammanip_tu2(std::string);
56f4c1258dSLouis Dionne #endif
572d3b8cc8SLouis Dionne
582d3b8cc8SLouis Dionne #ifdef TU1
get_formatflag_tu1(std::string func)592d3b8cc8SLouis Dionne FormatFlagFunction* get_formatflag_tu1(std::string func)
602d3b8cc8SLouis Dionne #else
612d3b8cc8SLouis Dionne FormatFlagFunction* get_formatflag_tu2(std::string func)
622d3b8cc8SLouis Dionne #endif
632d3b8cc8SLouis Dionne {
642d3b8cc8SLouis Dionne std::map<std::string, FormatFlagFunction*> all_funcs;
652d3b8cc8SLouis Dionne
662d3b8cc8SLouis Dionne // [fmtflags.manip]
672d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("boolalpha", &std::boolalpha));
682d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("noboolalpha", &std::noboolalpha));
692d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("showbase", &std::showbase));
702d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("noshowbase", &std::noshowbase));
712d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("showpoint", &std::showpoint));
722d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("noshowpoint", &std::noshowpoint));
732d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("showpos", &std::showpos));
742d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("noshowpos", &std::noshowpos));
752d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("skipws", &std::skipws));
762d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("noskipws", &std::noskipws));
772d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("uppercase", &std::uppercase));
782d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("nouppercase", &std::nouppercase));
792d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("unitbuf", &std::unitbuf));
802d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("nounitbuf", &std::nounitbuf));
812d3b8cc8SLouis Dionne
822d3b8cc8SLouis Dionne // [adjustfield.manip]
832d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("internal", &std::internal));
842d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("left", &std::left));
852d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("right", &std::right));
862d3b8cc8SLouis Dionne
872d3b8cc8SLouis Dionne // [basefield.manip]
882d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("dec", &std::dec));
892d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("hex", &std::hex));
902d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("oct", &std::oct));
912d3b8cc8SLouis Dionne
922d3b8cc8SLouis Dionne // [floatfield.manip]
932d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("fixed", &std::fixed));
942d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("scientific", &std::scientific));
952d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("hexfloat", &std::hexfloat));
962d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("defaultfloat", &std::defaultfloat));
972d3b8cc8SLouis Dionne
982d3b8cc8SLouis Dionne return all_funcs.at(func);
992d3b8cc8SLouis Dionne }
1002d3b8cc8SLouis Dionne
1012d3b8cc8SLouis Dionne // [ostream.manip] (char)
1022d3b8cc8SLouis Dionne #ifdef TU1
get_ostreammanip_tu1(std::string func)1032d3b8cc8SLouis Dionne OstreamManipFunction* get_ostreammanip_tu1(std::string func)
1042d3b8cc8SLouis Dionne #else
1052d3b8cc8SLouis Dionne OstreamManipFunction* get_ostreammanip_tu2(std::string func)
1062d3b8cc8SLouis Dionne #endif
1072d3b8cc8SLouis Dionne {
1082d3b8cc8SLouis Dionne std::map<std::string, OstreamManipFunction*> all_funcs;
1092d3b8cc8SLouis Dionne typedef std::char_traits<char> Traits;
1102d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("endl", &std::endl<char, Traits>));
1112d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("ends", &std::ends<char, Traits>));
1122d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("flush", &std::flush<char, Traits>));
1132d3b8cc8SLouis Dionne return all_funcs.at(func);
1142d3b8cc8SLouis Dionne }
1152d3b8cc8SLouis Dionne
1162d3b8cc8SLouis Dionne // [ostream.manip] (wchar_t)
117f4c1258dSLouis Dionne #ifndef TEST_HAS_NO_WIDE_CHARACTERS
1182d3b8cc8SLouis Dionne # ifdef TU1
get_wostreammanip_tu1(std::string func)1192d3b8cc8SLouis Dionne WOstreamManipFunction* get_wostreammanip_tu1(std::string func)
1202d3b8cc8SLouis Dionne # else
1212d3b8cc8SLouis Dionne WOstreamManipFunction* get_wostreammanip_tu2(std::string func)
1222d3b8cc8SLouis Dionne # endif
1232d3b8cc8SLouis Dionne {
1242d3b8cc8SLouis Dionne std::map<std::string, WOstreamManipFunction*> all_funcs;
1252d3b8cc8SLouis Dionne typedef std::char_traits<wchar_t> Traits;
1262d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("endl", &std::endl<wchar_t, Traits>));
1272d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("ends", &std::ends<wchar_t, Traits>));
1282d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("flush", &std::flush<wchar_t, Traits>));
1292d3b8cc8SLouis Dionne return all_funcs.at(func);
1302d3b8cc8SLouis Dionne }
131f4c1258dSLouis Dionne #endif // TEST_HAS_NO_WIDE_CHARACTERS
1322d3b8cc8SLouis Dionne
1332d3b8cc8SLouis Dionne // [istream.manip] (char)
1342d3b8cc8SLouis Dionne #ifdef TU1
get_istreammanip_tu1(std::string func)1352d3b8cc8SLouis Dionne IstreamManipFunction* get_istreammanip_tu1(std::string func)
1362d3b8cc8SLouis Dionne #else
1372d3b8cc8SLouis Dionne IstreamManipFunction* get_istreammanip_tu2(std::string func)
1382d3b8cc8SLouis Dionne #endif
1392d3b8cc8SLouis Dionne {
1402d3b8cc8SLouis Dionne std::map<std::string, IstreamManipFunction*> all_funcs;
1412d3b8cc8SLouis Dionne typedef std::char_traits<char> Traits;
1422d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("ws", &std::ws<char, Traits>));
1432d3b8cc8SLouis Dionne return all_funcs.at(func);
1442d3b8cc8SLouis Dionne }
1452d3b8cc8SLouis Dionne
1462d3b8cc8SLouis Dionne // [istream.manip] (wchar_t)
147f4c1258dSLouis Dionne #ifndef TEST_HAS_NO_WIDE_CHARACTERS
1482d3b8cc8SLouis Dionne # ifdef TU1
get_wistreammanip_tu1(std::string func)1492d3b8cc8SLouis Dionne WIstreamManipFunction* get_wistreammanip_tu1(std::string func)
1502d3b8cc8SLouis Dionne # else
1512d3b8cc8SLouis Dionne WIstreamManipFunction* get_wistreammanip_tu2(std::string func)
1522d3b8cc8SLouis Dionne # endif
1532d3b8cc8SLouis Dionne {
1542d3b8cc8SLouis Dionne std::map<std::string, WIstreamManipFunction*> all_funcs;
1552d3b8cc8SLouis Dionne typedef std::char_traits<wchar_t> Traits;
1562d3b8cc8SLouis Dionne all_funcs.insert(std::make_pair("ws", &std::ws<wchar_t, Traits>));
1572d3b8cc8SLouis Dionne return all_funcs.at(func);
1582d3b8cc8SLouis Dionne }
159f4c1258dSLouis Dionne #endif // TEST_HAS_NO_WIDE_CHARACTERS
1602d3b8cc8SLouis Dionne
1612d3b8cc8SLouis Dionne #ifdef TU2
main(int,char **)162504bc07dSLouis Dionne int main(int, char**) {
1632d3b8cc8SLouis Dionne assert(get_formatflag_tu1("boolalpha") == get_formatflag_tu2("boolalpha"));
1642d3b8cc8SLouis Dionne assert(get_formatflag_tu1("noboolalpha") == get_formatflag_tu2("noboolalpha"));
1652d3b8cc8SLouis Dionne assert(get_formatflag_tu1("showbase") == get_formatflag_tu2("showbase"));
1662d3b8cc8SLouis Dionne assert(get_formatflag_tu1("noshowbase") == get_formatflag_tu2("noshowbase"));
1672d3b8cc8SLouis Dionne assert(get_formatflag_tu1("showpoint") == get_formatflag_tu2("showpoint"));
1682d3b8cc8SLouis Dionne assert(get_formatflag_tu1("noshowpoint") == get_formatflag_tu2("noshowpoint"));
1692d3b8cc8SLouis Dionne assert(get_formatflag_tu1("showpos") == get_formatflag_tu2("showpos"));
1702d3b8cc8SLouis Dionne assert(get_formatflag_tu1("noshowpos") == get_formatflag_tu2("noshowpos"));
1712d3b8cc8SLouis Dionne assert(get_formatflag_tu1("skipws") == get_formatflag_tu2("skipws"));
1722d3b8cc8SLouis Dionne assert(get_formatflag_tu1("noskipws") == get_formatflag_tu2("noskipws"));
1732d3b8cc8SLouis Dionne assert(get_formatflag_tu1("uppercase") == get_formatflag_tu2("uppercase"));
1742d3b8cc8SLouis Dionne assert(get_formatflag_tu1("nouppercase") == get_formatflag_tu2("nouppercase"));
1752d3b8cc8SLouis Dionne assert(get_formatflag_tu1("unitbuf") == get_formatflag_tu2("unitbuf"));
1762d3b8cc8SLouis Dionne assert(get_formatflag_tu1("nounitbuf") == get_formatflag_tu2("nounitbuf"));
1772d3b8cc8SLouis Dionne assert(get_formatflag_tu1("internal") == get_formatflag_tu2("internal"));
1782d3b8cc8SLouis Dionne assert(get_formatflag_tu1("left") == get_formatflag_tu2("left"));
1792d3b8cc8SLouis Dionne assert(get_formatflag_tu1("right") == get_formatflag_tu2("right"));
1802d3b8cc8SLouis Dionne assert(get_formatflag_tu1("dec") == get_formatflag_tu2("dec"));
1812d3b8cc8SLouis Dionne assert(get_formatflag_tu1("hex") == get_formatflag_tu2("hex"));
1822d3b8cc8SLouis Dionne assert(get_formatflag_tu1("oct") == get_formatflag_tu2("oct"));
1832d3b8cc8SLouis Dionne assert(get_formatflag_tu1("fixed") == get_formatflag_tu2("fixed"));
1842d3b8cc8SLouis Dionne assert(get_formatflag_tu1("scientific") == get_formatflag_tu2("scientific"));
1852d3b8cc8SLouis Dionne assert(get_formatflag_tu1("hexfloat") == get_formatflag_tu2("hexfloat"));
1862d3b8cc8SLouis Dionne assert(get_formatflag_tu1("defaultfloat") == get_formatflag_tu2("defaultfloat"));
1872d3b8cc8SLouis Dionne
1882d3b8cc8SLouis Dionne assert(get_ostreammanip_tu1("endl") == get_ostreammanip_tu2("endl"));
1892d3b8cc8SLouis Dionne assert(get_ostreammanip_tu1("ends") == get_ostreammanip_tu2("ends"));
1902d3b8cc8SLouis Dionne assert(get_ostreammanip_tu1("flush") == get_ostreammanip_tu2("flush"));
1912d3b8cc8SLouis Dionne
192f4c1258dSLouis Dionne #ifndef TEST_HAS_NO_WIDE_CHARACTERS
1932d3b8cc8SLouis Dionne assert(get_wostreammanip_tu1("endl") == get_wostreammanip_tu2("endl"));
1942d3b8cc8SLouis Dionne assert(get_wostreammanip_tu1("ends") == get_wostreammanip_tu2("ends"));
1952d3b8cc8SLouis Dionne assert(get_wostreammanip_tu1("flush") == get_wostreammanip_tu2("flush"));
196f4c1258dSLouis Dionne #endif
1972d3b8cc8SLouis Dionne
1982d3b8cc8SLouis Dionne assert(get_istreammanip_tu1("ws") == get_istreammanip_tu2("ws"));
1992d3b8cc8SLouis Dionne
200f4c1258dSLouis Dionne #ifndef TEST_HAS_NO_WIDE_CHARACTERS
2012d3b8cc8SLouis Dionne assert(get_wistreammanip_tu1("ws") == get_wistreammanip_tu2("ws"));
202f4c1258dSLouis Dionne #endif
203504bc07dSLouis Dionne
204504bc07dSLouis Dionne return 0;
2052d3b8cc8SLouis Dionne }
2062d3b8cc8SLouis Dionne #endif
207