Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Introduce new diverging handler functions for exceptions classified as "abort" #109
Exceptions such as double faults and machine check exceptions are classified as "abort", which means that the reported stack frame might be incorrect. It is not allowed to return from such exceptions because it could cause undefined behavior.
This pull request ensures at the type system level that double fault and machine check exceptions can never return. This way, we can prevent such undefined behavior.
This is a breaking change.