[Mono-list] MCS now has control flow analysis

Martin Baulig martin@gnome.org
01 Aug 2002 19:03:21 +0200

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