This is especially true when the compiler removes security-relevant range checks from the code because the developer used the wrong type / parameter order and t

This is especially true when the compiler removes security-relevant range checks from the code because the developer used the wrong type / parameter order and thus caused UB.