[PATCH] D102550: [ValueTracking] Mark GEP operand as nonnull if the result was loaded or stored

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

I basically agree with @nikic here.
There is a huge number of low-hanging fruit like this,
but the approach just doesn't seem viable to me.

I would instead like to see the Attributor finally enabled,
there such things would be much more straight-forward.

Sorry for a very not helpful feedback.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102550