Return-Path: 
 <stdcxx-dev-return-5413-apmail-incubator-stdcxx-dev-archive=incubator.apache.org@incubator.apache.org>
Delivered-To: apmail-incubator-stdcxx-dev-archive@www.apache.org
Received: (qmail 16833 invoked from network); 10 Oct 2007 17:31:31 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2)
  by minotaur.apache.org with SMTP; 10 Oct 2007 17:31:31 -0000
Received: (qmail 70845 invoked by uid 500); 10 Oct 2007 16:56:59 -0000
Delivered-To: apmail-incubator-stdcxx-dev-archive@incubator.apache.org
Received: (qmail 70833 invoked by uid 500); 10 Oct 2007 16:56:59 -0000
Mailing-List: contact stdcxx-dev-help@incubator.apache.org; run by ezmlm
Precedence: bulk
List-Help: <mailto:stdcxx-dev-help@incubator.apache.org>
List-Unsubscribe: <mailto:stdcxx-dev-unsubscribe@incubator.apache.org>
List-Post: <mailto:stdcxx-dev@incubator.apache.org>
List-Id: <stdcxx-dev.incubator.apache.org>
Reply-To: stdcxx-dev@incubator.apache.org
Delivered-To: mailing list stdcxx-dev@incubator.apache.org
Received: (qmail 70786 invoked by uid 99); 10 Oct 2007 16:56:59 -0000
Received: from athena.apache.org (HELO athena.apache.org) (140.211.11.136)
    by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 10 Oct 2007 09:56:59 -0700
X-ASF-Spam-Status: No, hits=-100.0 required=10.0
	tests=ALL_TRUSTED
X-Spam-Check-By: apache.org
Received: from [140.211.11.4] (HELO brutus.apache.org) (140.211.11.4)
    by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 10 Oct 2007 16:57:11 +0000
Received: from brutus (localhost [127.0.0.1])
	by brutus.apache.org (Postfix) with ESMTP id 006D871423B
	for <stdcxx-dev@incubator.apache.org>; Wed, 10 Oct 2007 09:56:51 -0700 (PDT)
Message-ID: <26991379.1192035410999.JavaMail.jira@brutus>
Date: Wed, 10 Oct 2007 09:56:50 -0700 (PDT)
From: "Farid Zaripov (JIRA)" <jira@apache.org>
To: stdcxx-dev@incubator.apache.org
Subject: [jira] Updated: (STDCXX-250) std::operator>>(istream&, string&)
 fails to set failbit after it extracts 0 characters
In-Reply-To: <9478021.1151700389840.JavaMail.jira@brutus>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Virus-Checked: Checked by ClamAV on apache.org


     [ https://issues.apache.org/jira/browse/STDCXX-250?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Farid Zaripov updated STDCXX-250:
---------------------------------

         Severity: Incorrect Behavior
       Patch Info: [Patch Available]
    Fix Version/s: 4.2.1

> std::operator>>(istream&, string&) fails to set failbit after it extracts 0 characters
> --------------------------------------------------------------------------------------
>
>                 Key: STDCXX-250
>                 URL: https://issues.apache.org/jira/browse/STDCXX-250
>             Project: C++ Standard Library
>          Issue Type: Bug
>          Components: 27. Input/Output
>    Affects Versions: 4.1.2, 4.1.3
>         Environment: all
>            Reporter: Martin Sebor
>            Priority: Minor
>             Fix For: 4.2.1
>
>         Attachments: istream.cc.diff
>
>
> 21.3.7.9, p3 says about the string extractor: "If the function extracts no characters, it calls is.setstate(ios::failbit), which may throw ios_base::failure (27.4.4.3)." The test program below shows that in unbuffered mode stdcxx fails to do so when an exception is thrown during the third call to underflow().
> $ cat v.cpp && make v && ./v
> #include <cassert>
> #include <cstdio>
> #include <istream>
> #include <string>
> int main ()
> {
>     struct: std::streambuf {
>         int_type underflow () {
>             static int i = 0;
>             // i == 0: sgect() invoked from sentry ctor
>             // i == 1: sgetc() invoked from operator>>()
>             // i == 2: sbumpc() invoked from operator>>()
>             return 1 < i++ ? throw i : 'x';
>         }
>     } buf;
>     std::istream is (&buf);
>     std::string s;
>     is >> s;
>     std::printf ("state = %c%c%c, string = \"%s\" (length %u)\n",
>                  is.rdstate () & is.badbit ? 'B' : '-',
>                  is.rdstate () & is.eofbit ? 'E' : '-',
>                  is.rdstate () & is.failbit ? 'F' : '-',
>                  s.c_str (), s.size ());
>     assert ("x" == s);
>     assert ((is.failbit | is.badbit) == is.rdstate ());
> }
> gcc -c -I/build/sebor/dev/stdlib/include/ansi -D_RWSTDDEBUG   -pthreads -D_RWSTD_USE_CONFIG -I/build/sebor/dev/stdlib/include -I/build/sebor/gcc-4.1.0-15s/include -I/build/sebor/dev/stdlib/../rwtest -I/build/sebor/dev/stdlib/../rwtest/include -I/build/sebor/dev/stdlib/tests/include  -pedantic -nostdinc++ -g  -W -Wall -Wcast-qual -Winline -Wshadow -Wwrite-strings -Wno-long-long  v.cpp
> gcc v.o -o v -L/build/sebor/gcc-4.1.0-15s/rwtest -lrwtest15s -pthreads -L/build/sebor/gcc-4.1.0-15s/lib -lstd15s  -lsupc++ -lm
> state = B--, string = "x" (length 1)
> Assertion failed: (is.failbit | is.badbit) == is.rdstate (), file v.cpp, line 30
> Abort (core dumped)

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.