[all-commits] [llvm/llvm-project] f5d62d: [SimplifyCFG] Add tests for deducing paths unreach...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f5d62d76479f1788be92ee9a588766e1d5c79d8d
      https://github.com/llvm/llvm-project/commit/f5d62d76479f1788be92ee9a588766e1d5c79d8d
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-09-18 (Wed, 18 Sep 2024)

  Changed paths:
    M llvm/test/Transforms/SimplifyCFG/UnreachableEliminate.ll

  Log Message:
  -----------
  [SimplifyCFG] Add tests for deducing paths unreachable if they cause div/rem UB; NFC


  Commit: 37932643abab699e8bb1def08b7eb4eae7ff1448
      https://github.com/llvm/llvm-project/commit/37932643abab699e8bb1def08b7eb4eae7ff1448
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-09-18 (Wed, 18 Sep 2024)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyCFG.cpp
    M llvm/test/Transforms/SimplifyCFG/UnreachableEliminate.ll

  Log Message:
  -----------
  [SimplifyCFG] Deduce paths unreachable if they cause div/rem UB

Same we way mark a path unreachable if it may cause a nullptr
dereference, div/rem by zero or signed div/rem of INT_MIN by -1 cause
immediate UB.

Closes #109008


Compare: https://github.com/llvm/llvm-project/compare/be187a6812fb...37932643abab

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