https://svn/svn/oln/prototypes/proto-1.0/metalic Index: ChangeLog from Thierry GERAUD <theo(a)tegucigalpa.lrde.epita.fr> * mlc/tracked_ptr.hh: Add preconditions. 2005-02-08 Thierry GERAUD <theo(a)tegucigalpa.lrde.epita.fr> Index: mlc/tracked_ptr.hh --- mlc/tracked_ptr.hh (revision 31) +++ mlc/tracked_ptr.hh (working copy) @@ -241,6 +241,7 @@ const T*const operator->() const { invariant(proxy_ != 0); + precondition(proxy_->ptr_ != 0); return proxy_->ptr_; } @@ -251,6 +252,7 @@ T*const operator->() { invariant(proxy_ != 0); + precondition(proxy_->ptr_ != 0); return proxy_->ptr_; }