Currently, to understand the individual operations that led type inference to produce its result type sets, INFERFLAGS are set to 'ops' or 'full' and an avalanche of spew is produced that needs to be grepped through to figure out what happened and why. This needs to be improved, which will make it easier both to understand what the analysis is doing and to identify points where it is unnecessarily imprecise, leading to worse results later on.
Make inference spew digestible by scripts. The attached script provides some rudimentary crawling back through constraint operation to find the external type that eventually led to an input type being added to an input set. http://hg.mozilla.org/projects/jaegermonkey/rev/484164b6d6ca
You need to log in before you can comment on or make changes to this bug.