commit 9840c42bec280b95f98b310c088f57f0a52a12fa
author gwt.team.scottb <gwt.team.scottb@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Mon Feb 12 23:47:58 2007 +0000
committer gwt.team.scottb <gwt.team.scottb@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Mon Feb 12 23:47:58 2007 +0000
tree db13714b8b148bdb33349c3d1e70efaa13825d8f
parent 4d650bc1742ac4f151849fbaf2dca02595269297

This is a patch to remove catch blocks for globally uninstantiable
exception types.  It does not do any control flow analysis to determine
what exceptions could be thrown from a particular try block (that would be
a good idea for the future).  My first try at implementing this was to
simply use the typeOracle.isInstantiatedType() test; this did not work.  
The reason is that the catch arg had already been tightened to the
nullType by global pruning.  What's really weird is that during
CaseNormalizer, we were actually generating code for "x instanceof
nullType" which is totally bogus.  I added in assertions into
CastNormalizer to ensure that instanceof and casts to the nullType don't
reach there.  Had those assertions been in before, it would have forced
the catch block optimization.

Review by: mmendez



git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@391 8db76d5a-ed1c-0410-87a9-c151d255dfc7