[PATCH] Make analyzer check all argument for nonnull attribute

[Daniel Fahlgren]

Hi Jordan,

On Tue, 2014-10-07 at 18:03 -0700, Jordan Rose wrote:
> Hi, Daniel. This is very simple, but I feel like we might as well do
> this nicely by tracking a set of which parameters are marked non-null
> by function-level attributes. llvm::SmallBitVector might be an easy way
> to do that, or even just a sorted SmallVector of indices.

That for reviewing this. I've updated the patch to use SmallBitVector
now and it all turned out quite clean. Any thoughts or comments?

> (Thanks for doing the performance test. I believe that there's no
> noticeable cost right now. However, it still feels like a code smell
> that I'd rather not leave in.)

Cheers,
Daniel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: nonnull.patch
Type: text/x-patch
Size: 4679 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20141013/382b2224/attachment.bin>