Interprocedural analysis? (was Re: Functions setting exceptions)