DavePearce/Whiley — Issue #48: Exceptions and Type Propagation
Author: DavePearce
Created: 2011-10-20 20:02:57+00:00
State: open

Currently, I'm a little concerned about how exceptions are dealt with in type propagation. The main problem stems from the fact that to determine where the exception goes, you need to have type information about the throws clause. There is potential for some infinite looping here, where edges are added and removed (see Chris Male's thesis). I think ideally the compile should be restructured so that type propagation doesn't extend forward flow analysis. Then we don't need the ugly hacks to make it work.