Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ensure that we stop on error when using UBSAN
Otherwise the errors reported by it could remain unnoticed, as happened with the UB detected in Oracle backend.
- Loading branch information