Title
Postcondition for basic_ios::clear(iostate) incorrectly stated
Status
dup
Section
[iostate.flags]
Submitter
Seungbeom Kim

Created on 2006-03-10.00:00:00 last changed 171 months ago

Messages

Date: 2010-10-21.18:28:33

Rationale:

Duplicate: 272

Date: 2006-03-10.00:00:00

Section: 27.4.4.3 [lib.iostate.flags]

Paragraph 4 says:

void clear(iostate state = goodbit);

Postcondition: If rdbuf()!=0 then state == rdstate(); otherwise rdstate()==state|ios_base::badbit.

The postcondition "rdstate()==state|ios_base::badbit" is parsed as "(rdstate()==state)|ios_base::badbit", which is probably what the committee meant.

History
Date User Action Args
2010-10-21 18:28:33adminsetmessages: + msg3082
2006-03-10 00:00:00admincreate