================ ---------------- RolandF77 wrote: There is a hole in the checking for hasSameArgumentList in that undef values are only checked for type. The alignment has to match, not just the type. https://github.com/llvm/llvm-project/pull/161690