[boost] [Review:Contract] Base class preconditions not checked

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