[gcc] GCC 4.5.0=>4.5.1

gcc/libstdc++-v3/testsuite/27_io/basic_ostream/flush/wchar_t/exceptions_badbit_throw.cc

-// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
-//
-// This file is part of the GNU ISO C++ Library.  This library is free
-// software; you can redistribute it and/or modify it under the
-// terms of the GNU General Public License as published by the
-// Free Software Foundation; either version 3, or (at your option)
-// any later version.
-
-// This library is distributed in the hope that it will be useful,
-// but WITHOUT ANY WARRANTY; without even the implied warranty of
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-// GNU General Public License for more details.
-
-// You should have received a copy of the GNU General Public License along
-// with this library; see the file COPYING3.  If not see
-// <http://www.gnu.org/licenses/>.
-
-
-#include <ostream>
-#include <streambuf>
-#include <sstream>
-#include <testsuite_hooks.h>
-#include <testsuite_io.h>
-
-using namespace std;
-
-void test01()
-{
-  bool test __attribute__((unused)) = true;
-  __gnu_test::fail_wstreambuf bib;
-  wostream stream(&bib);
-  stream.exceptions(ios_base::badbit);
-
-  try
-    {
-      stream.flush();
-      VERIFY( false );
-    }
-  catch (const __gnu_test::positioning_error&) 
-    {
-      // stream should set badbit and rethrow facet_error.
-      VERIFY( stream.bad() );
-      VERIFY( (stream.rdstate() & ios_base::failbit) == 0 );
-      VERIFY( !stream.eof() );
-    }
-  catch (...) 
-    {
-      VERIFY( false );
-    }
-}
-
-// libstdc++/9546
-int main()
-{
-  test01();
-  return 0;
-}