On Sun, Jan 10, 2010 at 02:30:30PM +0000, Colin Percival wrote:
> + * Check for integer overflow. As an optimization, first check that
> + * at least one of {count, size} is at least 2^16, since if both
> + * values are less than that, their product can't possible overflow
> + * (size_t is always at least 32 bits on FreeBSD).
> + */
> + if (((count | size) > 0xFFFF) &&
> + (count > SIZE_MAX / size)) {
> + errno = EINVAL;
> + fp->_flags |= __SERR;
> + return (0);
> + }
1) I don't think that this is good place of exact constants like 0xFFFF,
usually we don't use such things in overflow checks (see all other ones).
fread/fwrite are already slow as designed, so optimizing one time argument
check looks strange.
2) fp->_flags |= __SERR;
This flag is for errors in the file stream, not for errors in
the arguments. Please back that line out.
3) errno should be EOVERFLOW, see other owerflow checks in the stdio.
--
http://ache.pp.ru/
_______________________________________________
svn-src-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/svn-src-all
To unsubscribe, send any mail to "svn-src-all-unsubscr...@freebsd.org"
