[PATCH] D126962: [SCCP] Don't mark edges feasible when resolving undefs

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 435112.
nikic added a comment.

Rebase over https://github.com/llvm/llvm-project/commit/38ad963cc9998c5b60bde8253670237eebc8ca74. This patch exposed UB in the LEB128 test.


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

https://reviews.llvm.org/D126962

Files:
  llvm/lib/Transforms/Scalar/SCCP.cpp
  llvm/lib/Transforms/Utils/SCCPSolver.cpp
  llvm/test/Transforms/FunctionSpecialization/bug52821-use-after-free.ll
  llvm/test/Transforms/FunctionSpecialization/bug55000-read-uninitialized-value.ll
  llvm/test/Transforms/SCCP/2004-12-10-UndefBranchBug.ll
  llvm/test/Transforms/SCCP/2008-01-27-UndefCorrelate.ll
  llvm/test/Transforms/SCCP/PR26044.ll
  llvm/test/Transforms/SCCP/indirectbr.ll
  llvm/test/Transforms/SCCP/ipsccp-branch-unresolved-undef.ll
  llvm/test/Transforms/SCCP/return-zapped.ll
  llvm/test/Transforms/SCCP/switch-constantfold-crash.ll
  llvm/test/Transforms/SCCP/switch-undef-constantfoldterminator.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D126962.435112.patch
Type: text/x-patch
Size: 19554 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220608/fc272e06/attachment.bin>