[PATCH] D64258: [InferFuncAttributes] extend 'dereferenceable' attribute based on loads

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

There was 1 more test added here that I missed in the last comment:

  define void @more_bytes_and_not_null(i32* dereferenceable_or_null(8) %ptr) {

Committed that and:

  define void @atomic_is_alright(i16* %ptr) {

rG2bd252ea8941 <https://reviews.llvm.org/rG2bd252ea894189f77e09755cf6951727e1d03a74>

So let's abandon this and find out when Attributor will be enabled in D70714 <https://reviews.llvm.org/D70714>.


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

https://reviews.llvm.org/D64258