[all-commits] [llvm/llvm-project] f13f2e: [Attributor] Check violation of returned position ...

[Shinji Okumura via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: f13f2e16f00e8d23b49b0dfc58d63adc052d0222
      https://github.com/llvm/llvm-project/commit/f13f2e16f00e8d23b49b0dfc58d63adc052d0222
  Author: Shinji Okumura <okuraofvegetable at gmail.com>
  Date:   2020-08-07 (Fri, 07 Aug 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/undefined_behavior.ll

  Log Message:
  -----------
  [Attributor] Check violation of returned position nonnull and noundef attribute in AAUndefinedBehavior

This patch is a follow up of D84733.
If a function has noundef attribute in returned position, instructions that return undef or poison value cause UB.

Reviewed By: jdoerfert

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