[all-commits] [llvm/llvm-project] d3eb51: [ValueTracking] Fix crash in isGuaranteedNotToBeUn...

[Juneyoung Lee via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: d3eb51f0626cc86af904bfbdb061fecbd90ffdc5
      https://github.com/llvm/llvm-project/commit/d3eb51f0626cc86af904bfbdb061fecbd90ffdc5
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2020-05-13 (Wed, 13 May 2020)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    A llvm/test/Transforms/DivRemPairs/PowerPC/pr45885.ll

  Log Message:
  -----------
  [ValueTracking] Fix crash in isGuaranteedNotToBeUndefOrPoison when V is in an unreachable block

Summary:
This fixes PR45885 by fixing isGuaranteedNotToBeUndefOrPoison so it does not look into dominating
branch conditions of V when V is an instruction in an unreachable block.

Reviewers: spatel, nikic, lebedev.ri

Reviewed By: nikic

Subscribers: hiraditya, llvm-commits

Tags: #llvm

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