[all-commits] [llvm/llvm-project] c6973a: [Mem2Reg] Generate non-terminator unreachable for ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c6973ade4c46e28b1be9e1f5d873ca9a59197418
      https://github.com/llvm/llvm-project/commit/c6973ade4c46e28b1be9e1f5d873ca9a59197418
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-06-25 (Tue, 25 Jun 2024)

  Changed paths:
    M llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp
    M llvm/test/Transforms/Mem2Reg/preserve-nonnull-load-metadata.ll

  Log Message:
  -----------
  [Mem2Reg] Generate non-terminator unreachable for !noundef undef (#96639)

When performing a load from uninitialized memory using !noundef, insert
a non-terminator unreachable instruction, which will be converted to a
proper unreachable by SimplifyCFG. This way we retain the fact that UB
occurred on this code path.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications