----- Original Message ----- From: Ted Kremenek <kremenek at apple.com> The fix is for us to change BugReporter to sort the diagnostics. The non-determinism of the order is a bit alarming, but possibly due to the use of a hashtable somewhere. Please file a bug report. Done. Thanks Ted. Phil