libstdc++-v3/testsuite/22_locale/ctype/is/char/9858.cc

   1 // Copyright (C) 2003 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 2, 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 COPYING.  If not, write to the Free
  16 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
  17 // USA.
  18
  19 // As a special exception, you may use this file as part of a free software
  20 // library without restriction.  Specifically, if other files instantiate
  21 // templates or use macros or inline functions from this file, or you compile
  22 // this file and link it with other files to produce an executable, this
  23 // file does not by itself cause the resulting executable to be covered by
  24 // the GNU General Public License.  This exception does not however
  25 // invalidate any other reasons why the executable file might be covered by
  26 // the GNU General Public License.
  27
  28 // 22.2.1.3 - ctype specializations [lib.facet.ctype.special]
  29
  30 #include <locale>
  31 #include <testsuite_hooks.h>
  32
  33 int called;
  34
  35 class Derived : public std::ctype<char>
  36 {
  37 public:
  38   bool
  39   do_is(mask, char_type) const { return true; }
  40
  41   const char_type*
  42   do_is(const char_type*, const char_type* hi, mask*) const
  43   { return hi; }
  44
  45   const char_type*
  46   do_scan_is(mask, const char_type*, const char_type* hi) const
  47   { return hi; }
  48
  49   const char_type*
  50   do_scan_not(mask, const char_type*, const char_type* hi) const
  51   { return hi; }
  52 };
  53
  54 class Derived2 : public Derived
  55 {
  56 public:
  57   bool
  58   do_is(mask, char_type) const { called = 1; return true; }
  59
  60   const char_type*
  61   do_is(const char_type*, const char_type* hi, mask*) const
  62   { called = 5; return hi; }
  63
  64   const char_type*
  65   do_scan_is(mask, const char_type*, const char_type* hi) const
  66   { called = 10; return hi; }
  67
  68   const char_type*
  69   do_scan_not(mask, const char_type*, const char_type* hi) const
  70   { called = 15; return hi; }
  71 };
  72
  73 int main()
  74 {
  75   using namespace std;
  76   bool test __attribute__((unused)) = true;
  77   Derived2 d2;
  78   const Derived& dr = d2;
  79
  80   const char* lit = "jaylib champion sound";
  81   ctype_base::mask m00 = static_cast<std::ctype_base::mask>(0);
  82   ctype_base::mask vec[5];
  83   for (std::size_t i = 0; i < 5; ++i)
  84     vec[i] = m00;
  85
  86   called = 0;
  87   dr.do_is(ctype_base::space, 'a');
  88   VERIFY( called !=  1);
  89
  90   called = 0;
  91   dr.do_is(lit, lit + 5, vec);
  92   VERIFY( called !=  5);
  93
  94   called = 0;
  95   dr.do_scan_is(ctype_base::space, lit, lit + 5);
  96   VERIFY( called !=  10);
  97
  98   called = 0;
  99   dr.do_scan_not(ctype_base::space, lit, lit + 5);
 100   VERIFY( called !=  15);
 101
 102   return 0;
 103 }