Jon, Thanks for reporting the problem. This is fixed in the development version now, but may not be released for some time. As a temporary fix with using Version 1.4c, you can use -unreachable to supress the message. For example, /*@-unreachable@*/ failed: RecordError( "%s: Failed.\n", routine ); return FAILURE; } /*@=unreachable@*/ /* yes, it really HAS to be after the } */ --- Dave