In the case width+offset is triggering an integer overflow, the checks in place are not working as the comparison will fail.