The changes to the non-null warning now produce an additional warning for analyzer/pr94028.C on one of the "leak" lines. This causes new failures on trunk.
Because non-null is not the purpose of the analyzer test, I propose pruning the output to resolve the new failures. Alternatively, I could explicitly test for the additional non-null warning. Do you have any preferences? I propose appending // { dg-prune-output "where non-null expected" } to the file to prune the warning output. Thanks, David