On Wed, Feb 13, 2008 at 3:58 PM, Robert William Fuller <hydrologiccycle@xxxxxxxxx> wrote: > The warning seems to be pretty lousy. It reports on things that are > clearly reachable. With convoluted control-flow, it's certainly possible that the analysis heuristic gets confused. Could you file a bug report with a reproducible test case? Thanks. Diego.