llvm-project
37932643
- [SimplifyCFG] Deduce paths unreachable if they cause div/rem UB
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
1 year ago
[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
Author
goldsteinn
Committer
goldsteinn
Parents
f5d62d76
Loading