[PATCH] D14933: Add the allocsize attribute to LLVM

[Nuno Lopes via llvm-commits]

nlopes added a comment.

I was wondering whether we could go a bit more generic and support arbitrary expressions (like  llvm.assume).  This design only supports allocation functions that return a pointer to the beginning of a buffer with size p1 * p2 * ... * pn, where pi are the parameters.

It would be nice to support arbitrary expressions for size and offset. There are many cases in practice where these would be helpful. Of course then we would need to expose a generalized version of gcc's attribute to applications.


http://reviews.llvm.org/D14933