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

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Nov 2 13:07:44 PST 2020

Previous message: [llvm] eed8df6 - [Coroutines][Docs] Remove frame packing as a TODO
Next message: [PATCH] D90637: [ValueTracking] Inbounds does not imply nsw
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

aqjune added a comment.

The change makes sense to me; inbounds doesn't guarantee that the base address + offset is less than the maximum of a signed integer value.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D90637

Previous message: [llvm] eed8df6 - [Coroutines][Docs] Remove frame packing as a TODO
Next message: [PATCH] D90637: [ValueTracking] Inbounds does not imply nsw
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list