Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CLEANUP: avoid UBSAN error in mkvmi.c
The error is raised because we have e5 -= 0 for e5 == NULL else-branch of if ( !e4 || (is_vmh && !e5) ) <=> e4 && !(is_vmh && !e5) <=> e4 && (!is_vmh || e5) Consequence is e4-- (which is fine) and e5 -= is_vmh which is either a noop* for is_vmh == 0 or fine for is_vmh != 0 && e5 != NULL. The noop case raises the error if e5 == NULL.
- Loading branch information