diff graal/com.oracle.max.criutils/src/com/oracle/max/criutils/TypeCheckHints.java @ 5632:4d0f01e9f31b

Added detailed test cases for the closed world analysis. Add support for ValueProxyNode, CheckCastNode. Fix modelling of arrays.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sat, 16 Jun 2012 02:19:38 +0200
parents b6617d13ea44
children
line wrap: on
line diff