[PATCH] D65402: [Attributor][MustExec] Deduce dereferenceable and nonnull attribute using MustBeExecutedContextExplorer

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

Thanks for  confirmation that it would be okay to add.

I think we do not need 'dereferenceable_arg' since we can handle only constant sizes (memcmp/memcpy/memmove(p1, p2, C) where C > 0) anyway (if inteested, you can follow older discussion in D53342 <https://reviews.llvm.org/D53342> :)).


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D65402/new/

https://reviews.llvm.org/D65402