This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug libstdc++/21772] exception safety testing
- From: "paolo dot carlini at oracle dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 4 Mar 2010 11:59:47 -0000
- Subject: [Bug libstdc++/21772] exception safety testing
- References: <bug-21772-365@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #23 from paolo dot carlini at oracle dot com 2010-03-04 11:59 -------
I'm analyzing the remaining xfails. About generation_prohibited, for vector and
deque, I see the tests failing only on the two forms of erase. But in that
case, the Standard (*) says that: "Throws: Nothing unless an exception is
thrown by the copy constructor or assignment operator of T.". Thus, I don't
think we have a bug. Benjamin, do you have a contrary opinion? Otherwise I'm
tempted to take out those erase from generation_prohibited for deque and
vector.
(*) C++1x as of n3035 is exactly like C++03 here. Of course for now we are not
taking into account any subtlety with throwing move constructor and assignment,
still being finalized by the Committee. In any case in our library we are not
testing yet with moveable types.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21772