1f6fd1c14SLouis Dionne //===----------------------------------------------------------------------===// 2f6fd1c14SLouis Dionne // 3f6fd1c14SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4f6fd1c14SLouis Dionne // See https://llvm.org/LICENSE.txt for license information. 5f6fd1c14SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6f6fd1c14SLouis Dionne // 7f6fd1c14SLouis Dionne //===----------------------------------------------------------------------===// 8f6fd1c14SLouis Dionne 9f6fd1c14SLouis Dionne // <string> 10f6fd1c14SLouis Dionne 11f6fd1c14SLouis Dionne // Index const string out of bounds. 12f6fd1c14SLouis Dionne 13f3a970a8SJohn Brawn // REQUIRES: has-unix-headers 14f3a970a8SJohn Brawn // UNSUPPORTED: c++03 1564d413efSKonstantin Varlamov // UNSUPPORTED: libcpp-hardening-mode=none 16*58780b81SKonstantin Varlamov // XFAIL: libcpp-hardening-mode=debug && availability-verbose_abort-missing 17f6fd1c14SLouis Dionne 18f6fd1c14SLouis Dionne #include <string> 19f6fd1c14SLouis Dionne #include <cassert> 20f6fd1c14SLouis Dionne 21f6fd1c14SLouis Dionne #include "check_assertion.h" 22f6fd1c14SLouis Dionne #include "min_allocator.h" 23f6fd1c14SLouis Dionne 246e1dcc93SLouis Dionne template <class S> test()256e1dcc93SLouis Dionnevoid test() { 26f6fd1c14SLouis Dionne const S s; 27f6fd1c14SLouis Dionne assert(s[0] == 0); 28f6fd1c14SLouis Dionne TEST_LIBCPP_ASSERT_FAILURE(s[1], "string index out of bounds"); 29f6fd1c14SLouis Dionne } 30f6fd1c14SLouis Dionne main(int,char **)316e1dcc93SLouis Dionneint main(int, char**) { 326e1dcc93SLouis Dionne test<std::string>(); 336e1dcc93SLouis Dionne test<std::basic_string<char, std::char_traits<char>, min_allocator<char> > >(); 34f6fd1c14SLouis Dionne 35f6fd1c14SLouis Dionne return 0; 36f6fd1c14SLouis Dionne } 37