[PATCH] D87306: [AttributeFuncs] Consider `noundef` in `typeIncompatible`

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/test/Transforms/DeadArgElim/returned.ll:48
 ; CHECK-LABEL: define internal void @test6
-define internal align 8 dereferenceable_or_null(2) noalias i8* @test6() {
+define internal align 8 dereferenceable_or_null(2) noundef noalias i8* @test6() {
   ret i8* null
----------------
could you also add a test where `noundef` needs to be dropped? Here it seems like it is added.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D87306