569. Postcondition for basic_ios::clear(iostate) incorrectly stated

Section: [iostate.flags] Status: Dup Submitter: Seungbeom Kim Opened: 2006-03-10 Last modified: 2016-01-28 10:19:27 UTC

Priority: Not Prioritized

View all other issues in [iostate.flags].

View all issues with Dup status.

Duplicate of: 272


Section: [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.