This is an archive of the discontinued LLVM Phabricator instance.

Generate ImplicitNullDerefEvent from CallAndMessageChecker
Needs ReviewPublic

Authored by chrisbazley on Jan 27 2023, 8:55 AM.

Details

Reviewers
NoQ
Summary

Without this change, the following code does
not generate "warning: Nullable pointer is dereferenced":

void test(void (*_Nullable fn)(void))
{

fn();

}

Diff Detail