From stdcxx-dev-return-3299-apmail-incubator-stdcxx-dev-archive=incubator.apache.org@incubator.apache.org Thu May 10 15:47:38 2007
Return-Path: <stdcxx-dev-return-3299-apmail-incubator-stdcxx-dev-archive=incubator.apache.org@incubator.apache.org>
Delivered-To: apmail-incubator-stdcxx-dev-archive@www.apache.org
Received: (qmail 41620 invoked from network); 10 May 2007 15:47:38 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2)
  by minotaur.apache.org with SMTP; 10 May 2007 15:47:38 -0000
Received: (qmail 47524 invoked by uid 500); 10 May 2007 15:47:43 -0000
Delivered-To: apmail-incubator-stdcxx-dev-archive@incubator.apache.org
Received: (qmail 47509 invoked by uid 500); 10 May 2007 15:47:42 -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 47498 invoked by uid 99); 10 May 2007 15:47:42 -0000
Received: from herse.apache.org (HELO herse.apache.org) (140.211.11.133)
    by apache.org (qpsmtpd/0.29) with ESMTP; Thu, 10 May 2007 08:47:42 -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; Thu, 10 May 2007 08:47:35 -0700
Received: from brutus (localhost [127.0.0.1])
	by brutus.apache.org (Postfix) with ESMTP id 80427714022
	for <stdcxx-dev@incubator.apache.org>; Thu, 10 May 2007 08:47:15 -0700 (PDT)
Message-ID: <3963409.1178812035461.JavaMail.jira@brutus>
Date: Thu, 10 May 2007 08:47:15 -0700 (PDT)
From: "Martin Sebor (JIRA)" <jira@apache.org>
To: stdcxx-dev@incubator.apache.org
Subject: [jira] Assigned: (STDCXX-331) std::list::insert() violates strong
 exception safety requirements
In-Reply-To: <5902528.1170325805494.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-331?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Martin Sebor reassigned STDCXX-331:
-----------------------------------

    Assignee: Farid Zaripov

Farid, please close this after you've added the test case to our regression test suite.

> std::list::insert() violates strong exception safety requirements
> -----------------------------------------------------------------
>
>                 Key: STDCXX-331
>                 URL: https://issues.apache.org/jira/browse/STDCXX-331
>             Project: C++ Standard Library
>          Issue Type: Bug
>          Components: 23. Containers
>    Affects Versions: 4.1.3
>         Environment: All
>            Reporter: Farid Zaripov
>         Assigned To: Farid Zaripov
>             Fix For: 4.2
>
>
> The list::insert() method do not satisfy strong exception safety requirements (23.2.3.3 Remark 1).
> Details are here:
> http://mail-archives.apache.org/mod_mbox/incubator-stdcxx-dev/200701.mbox/%3c45C0C705.8040606@kyiv.vdiweb.com%3e
> test.cpp:
> ------------------------------
> #include <list>
> #include <cassert>
> static int throw_inx = -1;
> class ListItem
> {
> public:
>     static int count_;
>     void test ()
>     {
>         if (throw_inx == count_)
>             throw count_;
>         ++count_;
>     }
>     ListItem () { test (); }
>     ListItem (const ListItem&) { test (); }
>     ~ListItem () { --count_; }
> };
> int ListItem::count_ = 0;
> int main (int argc, char* argv[])
> {
>     typedef std::list<ListItem> List;
>     ListItem items [20];
>     List lst (1);
>     bool thrown = false;
>     throw_inx = 10;
>     List::iterator it = lst.begin ();
>     ListItem & ref = *it;
>     try {
>         ListItem::count_ = 0;
>         lst.insert (it, 20, items [0]);
>     } catch (...) {
>         thrown = true;
>     }
>     assert (thrown);
>     assert (it == lst.begin ());
>     assert (&ref == &*lst.begin ());
>     assert (1 == lst.size ());
>     assert (0 == ListItem::count_);
>     try {
>         ListItem::count_ = 0;
>         lst.insert (it, items, items + 20);
>     } catch (...) {
>         thrown = true;
>     }
>     assert (thrown);
>     assert (it == lst.begin ());
>     assert (&ref == &*lst.begin ());
>     assert (1 == lst.size ());
>     assert (0 == ListItem::count_);
>     return 0;
> }
> The test output:
> ------------------------------
> test: /usr/src/tests/test.cpp:48: int main(int, char**): Assertion `it == lst.begin ()' failed.
> Aborted.

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