[Bug libstdc++/39881] New: error_condition constructor and assignment postconditions not met
chris_kohlhoff at internet-mail dot org
gcc-bugzilla@gcc.gnu.org
Fri Apr 24 09:48:00 GMT 2009
The constructor and assignment operator that take a ErrorConditionEnum both
have the postcondition: *this == make_error_condition(e). The system_error
header as of 4.4.0 does not meet this postcondition, because it always
initialises the error_condition using the generic_category().
The following code:
#include <system_error>
#include <iostream>
enum my_errc { my_err = 0 };
class my_error_category_impl
: public std::error_category
{
public:
const char* name() const { return ""; }
std::string message(int) const { return ""; }
} my_error_category_instance;
std::error_condition make_error_condition(my_errc e)
{
return std::error_condition(
static_cast<int>(e),
my_error_category_instance);
}
namespace std {
template <>
struct is_error_condition_enum<my_errc>
: public true_type {};
}
int main()
{
std::error_condition ec1(my_err);
if (ec1 == make_error_condition(my_err))
std::cout << "postcondition met\n";
else
std::cout << "postcondition not met\n";
std::error_condition ec2;
ec2 = my_err;
if (ec2 == make_error_condition(my_err))
std::cout << "postcondition met\n";
else
std::cout << "postcondition not met\n";
}
Currently outputs:
postcondition not met
postcondition not met
when it should output:
postcondition met
postcondition met
--
Summary: error_condition constructor and assignment
postconditions not met
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: libstdc++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: chris_kohlhoff at internet-mail dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39881
More information about the Gcc-bugs
mailing list