[PATCH] D90648: [SCEV] Fix nsw flags for GEP expressions

Sat Nov 21 11:58:11 PST 2020

nikic added a comment.

In D90648#2409760 <https://reviews.llvm.org/D90648#2409760>, @davidxl wrote:

> This patch does not have a new test case added to demonstrate what this patch is trying to fix or reference the bug number showing the bug end-to-end.

This does not fix a specific end-to-end miscompile. It fixes incorrect analysis results that may result in a miscompile. See also D90708 <https://reviews.llvm.org/D90708> for a clarification of GEP inbounds semantics in LangRef.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D90648