Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
this change ensures the type of `mask_val` is correctly set; otherwise, we risk transfering a 4-byte value to arrays of 4-byte elements with a size of 2 (i.e., `i4tmp(2)` and `r4tmp(2)`)
- Loading branch information