[PATCH] D27855: try to extend nonnull-ness of arguments from a callsite back to its parent function

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

I've spent some more time looking at the dyn_cast motivating case, and it seems we have multiple analysis and transform holes; it's going to take several fixes to correctly propagate and act on the nonnull info.

Related bugs:
https://llvm.org/bugs/show_bug.cgi?id=31512
https://llvm.org/bugs/show_bug.cgi?id=31518

If there isn't moral objection to this patch, I'd like to get this in just so I can cross it off the list of potential places where we might lose the nonnull. If the consensus is that this crosses the line into attribute abuse, I'll abandon and keep chasing the other leads.


https://reviews.llvm.org/D27855