------- 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