gdb/unittests/basic_string_view/element_access/char/1.cc

   1 // { dg-options "-std=gnu++17" }
   2
   3 // Copyright (C) 2013-2023 Free Software Foundation, Inc.
   4 //
   5 // This file is part of the GNU ISO C++ Library.  This library is free
   6 // software; you can redistribute it and/or modify it under the
   7 // terms of the GNU General Public License as published by the
   8 // Free Software Foundation; either version 3, or (at your option)
   9 // any later version.
  10
  11 // This library is distributed in the hope that it will be useful,
  12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 // GNU General Public License for more details.
  15
  16 // You should have received a copy of the GNU General Public License along
  17 // with this library; see the file COPYING3.  If not see
  18 // <http://www.gnu.org/licenses/>.
  19
  20 // basic_string element access
  21
  22 namespace element_access_1 {
  23
  24 static void
  25 test01 ()
  26 {
  27   typedef gdb::string_view::size_type csize_type;
  28   typedef gdb::string_view::const_reference cref;
  29   typedef gdb::string_view::reference ref;
  30   csize_type csz01;
  31
  32   const gdb::string_view str01("tamarindo, costa rica");
  33   gdb::string_view str02("41st street beach, capitola, california");
  34   gdb::string_view str03;
  35
  36   // const_reference operator[] (size_type pos) const;
  37   csz01 = str01.size();
  38   cref cref1 = str01[csz01 - 1];
  39   VERIFY( cref1 == 'a' );
  40   // Undefined behavior at size().
  41   //cref cref2 = str01[csz01];
  42   //VERIFY( cref2 == char() );
  43
  44   // const_reference at(size_type pos) const;
  45   csz01 = str01.size();
  46   cref cref3 = str01.at(csz01 - 1);
  47   VERIFY( cref3 == 'a' );
  48   try
  49   {
  50     str01.at(csz01);
  51     VERIFY( false ); // Should not get here, as exception thrown.
  52   }
  53   catch (gdb_exception& fail)
  54   {
  55     VERIFY( true );
  56   }
  57   catch (...)
  58   {
  59     VERIFY( false );
  60   }
  61 }
  62
  63 static int
  64 main ()
  65 {
  66   test01();
  67   return 0;
  68 }
  69
  70 } // namespace element_access_1