[v3] small bits

[Benjamin Kosnik <bkoz at redhat dot com>]

Fixes up the assignment address. Noticed by Gwain Bolton.

Fixes up some issues with ifstream_getline, noticed by Andreas.


tested x86/linux

2003-06-23  Benjamin Kosnik  <bkoz@redhat.com>

	* docs/html/17_intro/libstdc++-assign.txt: Update address.

	* testsuite/performance/ifstream_getline.cc: Fix.

Index: docs/html/17_intro/libstdc++-assign.txt
===================================================================
RCS file: /cvs/gcc/gcc/libstdc++-v3/docs/html/17_intro/libstdc++-assign.txt,v
retrieving revision 1.1
diff -c -p -r1.1 libstdc++-assign.txt
*** docs/html/17_intro/libstdc++-assign.txt	10 Dec 2000 04:03:09 -0000	1.1
--- docs/html/17_intro/libstdc++-assign.txt	23 Jun 2003 20:28:24 -0000
*************** open Pandora's box and cause a long and 
*** 41,50 ****
  Below is the assignment contract that we usually use.  You need
  to print it out, sign it, and snail it to:
  
! Richard Stallman 
! 545 Tech Sq rm 425 
! Cambridge, MA 02139 
! USA 
  
  Please try to print the whole first page below on a single piece of
  paper.  If it doesn't fit on one printed page, put it on two sides of
--- 41,50 ----
  Below is the assignment contract that we usually use.  You need
  to print it out, sign it, and snail it to:
  
! Copyright Clerk
! c/o Free Software Foundation 
! 59 Temple Place - Suite 330 
! Boston, MA  02111-1307,  USA 
  
  Please try to print the whole first page below on a single piece of
  paper.  If it doesn't fit on one printed page, put it on two sides of
Index: testsuite/performance/ifstream_getline.cc
===================================================================
RCS file: /cvs/gcc/gcc/libstdc++-v3/testsuite/performance/ifstream_getline.cc,v
retrieving revision 1.2
diff -c -p -r1.2 ifstream_getline.cc
*** testsuite/performance/ifstream_getline.cc	19 Jun 2003 04:00:59 -0000	1.2
--- testsuite/performance/ifstream_getline.cc	23 Jun 2003 20:28:28 -0000
*************** int main ()
*** 37,49 ****
    time_counter time;
    resource_counter resource;
  
!   const char* name = "/usr/share/dict/linux.words";
  
-   ifstream in(name);
    char buffer[BUFSIZ];
    start_counters(time, resource);
!   while(!in.eof()) 
!     in.getline(buffer, BUFSIZ);
    stop_counters(time, resource);
    report_performance(__FILE__, "", time, resource);
  
--- 37,59 ----
    time_counter time;
    resource_counter resource;
  
!   const char* name1 = "/usr/share/dict/words";
!   const char* name2 = "/usr/share/dict/linux.words";
!   ifstream in;
!   in.open(name1);
!   if (!in.is_open())
!     {
!       in.clear();
!       in.open(name2);
!     }
  
    char buffer[BUFSIZ];
    start_counters(time, resource);
!   if (in.is_open())
!     {
!       while (in.good()) 
! 	in.getline(buffer, BUFSIZ);
!     }
    stop_counters(time, resource);
    report_performance(__FILE__, "", time, resource);