Re: PR c/16351 Extend Wnonnull for returns_nonnull

[Jeff Law]

On 07/24/2015 02:06 AM, Bernhard Reutner-Fischer wrote:

Looking at the reduced testcase in that PR, I'm pretty sure its a bogus

reduction.

Yes, the original, smallish test case in comment #4 is different, AFAICS.
Agreed.  I should have been a bit more explicit.  The test in c#5 is not 
a valid reduction.  I glanced at the testcase in c#4 and I believe it is 
a valid reduction.

I've reflected those findings as well as postulated on how the case from 
c#4 could be fixed in the BZ.

Jeff