Chris Lattner 12db3b2880 Implement support for validating super.init invariants. ...

This builds on the infrastructure we have for liveness tracking, by tracking
the "super.init'd" state as another faux memory object that has a liveness.
Each escape/base class use requires super.init to have happened, and super.init
requires super.init to NOT have happened.  This gives us pretty great QoI,
full fidelity to the model, and is pretty simple.

This implements:
<rdar://problem/15579247> We need to validate super.init() invariants in initializers




Swift SVN r11073

2013-12-10 04:15:29 +00:00

56 KiB

Raw Blame History

View Raw