Mercurial > hg > truffle
view mx.sh @ 5831:ed08c40d67de
Add a alwaysNull property to ObjectStamp (Phi(null, a! A) get a "a A" stamp and not just "a -")
Add inferstamp to Pi and CheckCast to propage nonNull/alwaysNull
author | Gilles Duboscq <duboscq@ssw.jku.at> |
---|---|
date | Fri, 13 Jul 2012 14:10:02 +0200 |
parents | 9a4f210abb5e |
children |