TimNN added a comment.
I didn't manage to repro with `opt`, so still no compilable IR. I did some more
debugging, though:
- Inside `removeDeadArgumentsFromCallers`, `CB->getCalledFunction()->dump()`
(after the modification) is `define void
@_RNvXs0_NtNtCs840rfDNPFol_10proc_macro6bridge3rpchINtB5_6EncodeuE6encodeB9_(i8
%0, ptr noalias noundef align 8 dereferenceable(40) %1, ptr noalias nocapture
nonnull readnone align 1 %2) unnamed_addr #0 personality ptr
@rust_eh_personality !dbg !18034 { ... }`. **Definition, no `noundef`.**
- Inside `callPassesUndefToPassingUndefUBParam`,
`Call.getCalledFunction()->dump()` is `declare void
@_RNvXs0_NtNtCs840rfDNPFol_10proc_macro6bridge3rpchINtB5_6EncodeuE6encodeB9_(i8
%0, ptr noalias noundef align 8 dereferenceable(40) %1, ptr noalias noundef
nonnull align 1 %2) unnamed_addr #2`. **Declaration, `noundef` is back.**
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D133036/new/
https://reviews.llvm.org/D133036
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
