- 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 184 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:33 | admin | set | messages: + msg3082 |
| 2006-03-10 00:00:00 | admin | create | |