Topic: Defect Report: Postcondition for basic_ios::clear(iostate) incorrectly


Author: Seungbeom Kim <musiphil@bawi.org>
Date: Fri, 10 Mar 2006 09:46:54 CST
Raw View
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.

Proposed resolution: "rdstate()==state|ios_base::badbit" should be
replaced with "rdstate()==(state|ios_base::badbit)".

--
Seungbeom Kim

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]