[PATCH] D110720: Verify inferattrs doesn't infer unexpected attributes

[Paul Robinson via Phabricator via llvm-commits]

probinson added a comment.

A bit of yak shaving because I had wanted to add __sqrt*_finite to annotate.ll, but it wasn't doing quite the right thing.

And then I poked around a little in the other tests in this directory.  I'm particularly puzzled by dereferenceable.ll and dereferenceable-inseltpoison.ll, which don't appear to do anything other than verify function parameter lists don't get modified; is that really the intent?  They seem kind of elaborate for that.


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

https://reviews.llvm.org/D110720