Subject: [boost] [Review:Contract] Base class preconditions not checked
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2012-09-02 12:15:03
AMDG
Test case attached. The problem is that
the precondition test is executed when
initializing a virtual base. Virtual
bases are always initialized by the most
derived class, so the preconditions of
base class constructors are never checked.
In Christ,
Steven Watanabe