[all-commits] [llvm/llvm-project] 67896f: Returning poison from a function w/ noundef return...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 67896f494e8a310d561bc88e6890cf5c981ddc73
      https://github.com/llvm/llvm-project/commit/67896f494e8a310d561bc88e6890cf5c981ddc73
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-10-06 (Wed, 06 Oct 2021)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ScalarEvolution/flags-from-poison.ll

  Log Message:
  -----------
  Returning poison from a function w/ noundef return attribute is UB

This does for readability of returns within said function as what we do for the caller side when reasoning about what might be poison.

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