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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert 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
----------------
fhahn wrote:
> could you also add a test where `noundef` needs to be dropped? Here it seems like it is added.
Here it is dropped. I add it in the input and the output doesn't have any attributes (it's void)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D87306