[Mono-list] MCS now has control flow analysis

[Martin Baulig]

Hi guys,

the last few days I implemented control flow analysis in MCS.

This means that MCS will now be able to detect `out' parameters which
are not assigned before control leaves the current method or local
variables being accessed before they're initialized.

If there are any problems with this (ie. you can still access a local
before it's assigned or return without all `out' parameters being
assigned), just let me know (a simple test case is very appreciated in
this case) and I'll fix it.

-- 
Martin Baulig
martin@gnome.org