[PATCH] D90637: [ValueTracking] Inbounds does not imply nsw

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a reviewer: nlopes.
lebedev.ri added a comment.

Please can you explain what problem is this solving?
Either this is missing words "however if we'd add all offsets together, and then add the final offset to the base pointer, that addition is NSW",
or this is inconsistent with langref/D68342 <https://reviews.llvm.org/D68342>.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D90637