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
line wrap: on
line source

mxtool/mx