[all-commits] [llvm/llvm-project] f890f0: [SimplifyCFG] Improve the precision of `PtrValueMa...

[DianQK via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f890f010f6a70addbd885acd0c8d1b9578b6246f
      https://github.com/llvm/llvm-project/commit/f890f010f6a70addbd885acd0c8d1b9578b6246f
  Author: DianQK <dianqk at dianqk.net>
  Date:   2023-02-25 (Sat, 25 Feb 2023)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyCFG.cpp
    M llvm/test/Transforms/SimplifyCFG/UnreachableEliminate.ll
    M llvm/test/Transforms/SimplifyCFG/unreachable-eliminate-on-ret.ll

  Log Message:
  -----------
  [SimplifyCFG] Improve the precision of `PtrValueMayBeModified`

The result value of `getelementptr inbounds (TY, null, not zero)` is a poison value. We can think of it as undefined behavior.

> Please let me know if there is anything I don't understand correctly.

Reviewed By: nikic, xbolva00

Differential Revision: https://reviews.llvm.org/D144563