libstdc++-v3/testsuite/20_util/from_chars/2.cc

   1 // Copyright (C) 2017-2021 Free Software Foundation, Inc.
   2 //
   3 // This file is part of the GNU ISO C++ Library.  This library is free
   4 // software; you can redistribute it and/or modify it under the
   5 // terms of the GNU General Public License as published by the
   6 // Free Software Foundation; either version 3, or (at your option)
   7 // any later version.
   8
   9 // This library is distributed in the hope that it will be useful,
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 // GNU General Public License for more details.
  13
  14 // You should have received a copy of the GNU General Public License along
  15 // with this library; see the file COPYING3.  If not see
  16 // <http://www.gnu.org/licenses/>.
  17
  18 // <charconv> is supported in C++14 as a GNU extension
  19 // { dg-do run { target c++14 } }
  20
  21 #include <charconv>
  22 #include <string>
  23 #include <testsuite_hooks.h>
  24
  25 // Test std::from_chars error handling.
  26
  27 void
  28 test01()
  29 {
  30   std::from_chars_result r;
  31   int i = 999;
  32   std::string s;
  33
  34   s = "";
  35   r = std::from_chars(s.data(), s.data() + s.length(), i);
  36   VERIFY( r.ec == std::errc::invalid_argument );
  37   VERIFY( r.ptr == s.data() );
  38   VERIFY( i == 999 );
  39
  40   s = "*";
  41   r = std::from_chars(s.data(), s.data() + s.length(), i);
  42   VERIFY( r.ec == std::errc::invalid_argument );
  43   VERIFY( r.ptr == s.data() );
  44   VERIFY( i == 999 );
  45
  46   s = "-";
  47   r = std::from_chars(s.data(), s.data() + s.length(), i);
  48   VERIFY( r.ec == std::errc::invalid_argument );
  49   VERIFY( r.ptr == s.data() );
  50   VERIFY( i == 999 );
  51
  52   s = "-*";
  53   r = std::from_chars(s.data(), s.data() + s.length(), i);
  54   VERIFY( r.ec == std::errc::invalid_argument );
  55   VERIFY( r.ptr == s.data() );
  56   VERIFY( i == 999 );
  57
  58   s = "+1";
  59   r = std::from_chars(s.data(), s.data() + s.length(), i);
  60   VERIFY( r.ec == std::errc::invalid_argument );
  61   VERIFY( r.ptr == s.data() );
  62   VERIFY( i == 999 );
  63
  64   unsigned u = 888;
  65   s = "-1";
  66   r = std::from_chars(s.data(), s.data() + s.length(), u);
  67   VERIFY( r.ec == std::errc::invalid_argument );
  68   VERIFY( r.ptr == s.data() );
  69   s = "-a";
  70   r = std::from_chars(s.data(), s.data() + s.length(), u);
  71   VERIFY( r.ec == std::errc::invalid_argument );
  72   VERIFY( r.ptr == s.data() );
  73   s = "-";
  74   r = std::from_chars(s.data(), s.data() + s.length(), u);
  75   VERIFY( r.ec == std::errc::invalid_argument );
  76   VERIFY( r.ptr == s.data() );
  77   VERIFY( u == 888 );
  78   s = "+1";
  79   r = std::from_chars(s.data(), s.data() + s.length(), u);
  80   VERIFY( r.ec == std::errc::invalid_argument );
  81   VERIFY( r.ptr == s.data() );
  82   VERIFY( u == 888 );
  83
  84   for (int base = 2; base <= 36; ++base)
  85   {
  86     const char digits[] = "0123456789abcdefghijklmnopqrstuvwxyz*";
  87     const char buf[2] = { '-', digits[base] };
  88     r = std::from_chars(buf, buf + 1, i, base);
  89     VERIFY( r.ec == std::errc::invalid_argument );
  90     VERIFY( r.ptr == buf );
  91     VERIFY( i == 999 );
  92     r = std::from_chars(buf + 1, buf + 2, i, base);
  93     VERIFY( r.ec == std::errc::invalid_argument );
  94     VERIFY( r.ptr == buf + 1 );
  95     VERIFY( i == 999 );
  96     r = std::from_chars(buf, buf + 2, i, base);
  97     VERIFY( r.ec == std::errc::invalid_argument );
  98     VERIFY( r.ptr == buf );
  99     VERIFY( i == 999 );
 100   }
 101 }
 102
 103 void
 104 test02()
 105 {
 106   std::from_chars_result r;
 107   std::string s;
 108
 109   signed char c = -5;
 110   s = "-10000001";
 111   r = std::from_chars(s.data(), s.data() + s.length(), c, 2);
 112   VERIFY( r.ec == std::errc::result_out_of_range );
 113   VERIFY( r.ptr == s.data() + s.length() );
 114   s = "-10000001*";
 115   r = std::from_chars(s.data(), s.data() + s.length(), c, 2);
 116   VERIFY( r.ec == std::errc::result_out_of_range );
 117   VERIFY( r.ptr == s.data() + 9 );
 118   s = "-10000001000*";
 119   r = std::from_chars(s.data(), s.data() + s.length(), c, 2);
 120   VERIFY( r.ec == std::errc::result_out_of_range );
 121   VERIFY( r.ptr == s.data() + 12 );
 122   s = "-129";
 123   r = std::from_chars(s.data(), s.data() + s.length(), c, 10);
 124   VERIFY( r.ec == std::errc::result_out_of_range );
 125   VERIFY( r.ptr == s.data() + s.length() );
 126   s = "-129*";
 127   r = std::from_chars(s.data(), s.data() + s.length(), c, 10);
 128   VERIFY( r.ec == std::errc::result_out_of_range );
 129   VERIFY( r.ptr == s.data() + 4 );
 130   s = "-100";
 131   r = std::from_chars(s.data(), s.data() + s.length(), c, 16);
 132   VERIFY( r.ec == std::errc::result_out_of_range );
 133   VERIFY( r.ptr == s.data() + s.length() );
 134   s = "-100*";
 135   r = std::from_chars(s.data(), s.data() + s.length(), c, 16);
 136   VERIFY( r.ec == std::errc::result_out_of_range );
 137   VERIFY( r.ptr == s.data() + 4 );
 138   s = "-81";
 139   r = std::from_chars(s.data(), s.data() + s.length(), c, 16);
 140   VERIFY( r.ec == std::errc::result_out_of_range );
 141   VERIFY( r.ptr == s.data() + s.length() );
 142   s = "-81*";
 143   r = std::from_chars(s.data(), s.data() + s.length(), c, 16);
 144   VERIFY( r.ec == std::errc::result_out_of_range );
 145   VERIFY( r.ptr == s.data() + 3 );
 146   s = "128";
 147   r = std::from_chars(s.data(), s.data() + s.length(), c, 10);
 148   VERIFY( r.ec == std::errc::result_out_of_range );
 149   VERIFY( r.ptr == s.data() + s.length() );
 150   s = "128*";
 151   r = std::from_chars(s.data(), s.data() + s.length(), c, 10);
 152   VERIFY( r.ec == std::errc::result_out_of_range );
 153   VERIFY( r.ptr == s.data() + 3 );
 154   s = "80";
 155   r = std::from_chars(s.data(), s.data() + s.length(), c, 16);
 156   VERIFY( r.ec == std::errc::result_out_of_range );
 157   VERIFY( r.ptr == s.data() + s.length() );
 158   s = "80*";
 159   r = std::from_chars(s.data(), s.data() + s.length(), c, 16);
 160   VERIFY( r.ec == std::errc::result_out_of_range );
 161   VERIFY( r.ptr == s.data() + 2 );
 162   VERIFY( c == -5 );
 163
 164   unsigned char uc = 9;
 165   s = "100000000";
 166   r = std::from_chars(s.data(), s.data() + s.length(), uc, 2);
 167   VERIFY( r.ec == std::errc::result_out_of_range );
 168   VERIFY( r.ptr == s.data() + s.length() );
 169   s = "100000000*";
 170   r = std::from_chars(s.data(), s.data() + s.length(), uc, 2);
 171   VERIFY( r.ec == std::errc::result_out_of_range );
 172   VERIFY( r.ptr == s.data() + 9 );
 173   s = "100000000000*";
 174   r = std::from_chars(s.data(), s.data() + s.length(), uc, 2);
 175   VERIFY( r.ec == std::errc::result_out_of_range );
 176   VERIFY( r.ptr == s.data() + 12 );
 177   s = "256";
 178   r = std::from_chars(s.data(), s.data() + s.length(), uc, 10);
 179   VERIFY( r.ec == std::errc::result_out_of_range );
 180   VERIFY( r.ptr == s.data() + s.length() );
 181   s = "256**";
 182   r = std::from_chars(s.data(), s.data() + s.length(), uc, 10);
 183   VERIFY( r.ec == std::errc::result_out_of_range );
 184   VERIFY( r.ptr == s.data() + 3 );
 185   s = "256000**";
 186   r = std::from_chars(s.data(), s.data() + s.length(), uc, 10);
 187   VERIFY( r.ec == std::errc::result_out_of_range );
 188   VERIFY( r.ptr == s.data() + 6 );
 189   s = "100";
 190   r = std::from_chars(s.data(), s.data() + s.length(), uc, 16);
 191   VERIFY( r.ec == std::errc::result_out_of_range );
 192   VERIFY( r.ptr == s.data() + s.length() );
 193   s = "100**";
 194   r = std::from_chars(s.data(), s.data() + s.length(), uc, 16);
 195   VERIFY( r.ec == std::errc::result_out_of_range );
 196   VERIFY( r.ptr == s.data() + 3 );
 197   s = "100000**";
 198   r = std::from_chars(s.data(), s.data() + s.length(), uc, 16);
 199   VERIFY( r.ec == std::errc::result_out_of_range );
 200   VERIFY( r.ptr == s.data() + 6 );
 201   VERIFY( uc == 9 );
 202
 203   unsigned long long ull = 123;
 204   s = "zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz****";
 205   r = std::from_chars(s.data(), s.data() + s.length(), ull, 36);
 206   VERIFY( r.ec == std::errc::result_out_of_range );
 207   VERIFY( r.ptr == s.data() + 42 );
 208   VERIFY( ull == 123 );
 209 }
 210
 211 int
 212 main()
 213 {
 214   test01();
 215   test02();
 216 }