xref: /freebsd/lib/libc/stdio/fread.c (revision cf8e5289a110954600f135024d1515a77d0ae34d)
158f0484fSRodney W. Grimes /*-
28a16b7a1SPedro F. Giffuni  * SPDX-License-Identifier: BSD-3-Clause
38a16b7a1SPedro F. Giffuni  *
458f0484fSRodney W. Grimes  * Copyright (c) 1990, 1993
558f0484fSRodney W. Grimes  *	The Regents of the University of California.  All rights reserved.
658f0484fSRodney W. Grimes  *
758f0484fSRodney W. Grimes  * This code is derived from software contributed to Berkeley by
858f0484fSRodney W. Grimes  * Chris Torek.
958f0484fSRodney W. Grimes  *
1058f0484fSRodney W. Grimes  * Redistribution and use in source and binary forms, with or without
1158f0484fSRodney W. Grimes  * modification, are permitted provided that the following conditions
1258f0484fSRodney W. Grimes  * are met:
1358f0484fSRodney W. Grimes  * 1. Redistributions of source code must retain the above copyright
1458f0484fSRodney W. Grimes  *    notice, this list of conditions and the following disclaimer.
1558f0484fSRodney W. Grimes  * 2. Redistributions in binary form must reproduce the above copyright
1658f0484fSRodney W. Grimes  *    notice, this list of conditions and the following disclaimer in the
1758f0484fSRodney W. Grimes  *    documentation and/or other materials provided with the distribution.
181d8053c5SEd Maste  * 3. Neither the name of the University nor the names of its contributors
1958f0484fSRodney W. Grimes  *    may be used to endorse or promote products derived from this software
2058f0484fSRodney W. Grimes  *    without specific prior written permission.
2158f0484fSRodney W. Grimes  *
2258f0484fSRodney W. Grimes  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
2358f0484fSRodney W. Grimes  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
2458f0484fSRodney W. Grimes  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
2558f0484fSRodney W. Grimes  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
2658f0484fSRodney W. Grimes  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
2758f0484fSRodney W. Grimes  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
2858f0484fSRodney W. Grimes  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
2958f0484fSRodney W. Grimes  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
3058f0484fSRodney W. Grimes  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
3158f0484fSRodney W. Grimes  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
3258f0484fSRodney W. Grimes  * SUCH DAMAGE.
3358f0484fSRodney W. Grimes  */
3458f0484fSRodney W. Grimes 
35d201fe46SDaniel Eischen #include "namespace.h"
36c6a96a84SColin Percival #include <errno.h>
37c6a96a84SColin Percival #include <stdint.h>
3858f0484fSRodney W. Grimes #include <stdio.h>
3958f0484fSRodney W. Grimes #include <string.h>
40*cf8e5289SKyle Evans #include <ssp/ssp.h>
41d201fe46SDaniel Eischen #include "un-namespace.h"
42f70177e7SJulian Elischer #include "local.h"
43ec216c26SJohn Birrell #include "libc_private.h"
4458f0484fSRodney W. Grimes 
453b52e4d1SDavid Xu /*
463b52e4d1SDavid Xu  * MT-safe version
473b52e4d1SDavid Xu  */
483b52e4d1SDavid Xu 
4958f0484fSRodney W. Grimes size_t
__ssp_real(fread)50*cf8e5289SKyle Evans __ssp_real(fread)(void * __restrict buf, size_t size, size_t count,
51*cf8e5289SKyle Evans     FILE * __restrict fp)
523b52e4d1SDavid Xu {
53e95f37bbSRuslan Ermilov 	size_t ret;
543b52e4d1SDavid Xu 
55fda0a14fSKonstantin Belousov 	FLOCKFILE_CANCELSAFE(fp);
563b52e4d1SDavid Xu 	ret = __fread(buf, size, count, fp);
57fda0a14fSKonstantin Belousov 	FUNLOCKFILE_CANCELSAFE();
583b52e4d1SDavid Xu 	return (ret);
593b52e4d1SDavid Xu }
603b52e4d1SDavid Xu 
613b52e4d1SDavid Xu size_t
__fread(void * __restrict buf,size_t size,size_t count,FILE * __restrict fp)623b52e4d1SDavid Xu __fread(void * __restrict buf, size_t size, size_t count, FILE * __restrict fp)
6358f0484fSRodney W. Grimes {
648fb3f3f6SDavid E. O'Brien 	size_t resid;
658fb3f3f6SDavid E. O'Brien 	char *p;
668fb3f3f6SDavid E. O'Brien 	int r;
6758f0484fSRodney W. Grimes 	size_t total;
6858f0484fSRodney W. Grimes 
6958f0484fSRodney W. Grimes 	/*
7077822acfSEd Schouten 	 * ANSI and SUSv2 require a return value of 0 if size or count are 0.
7158f0484fSRodney W. Grimes 	 */
72c6a96a84SColin Percival 	if ((count == 0) || (size == 0))
7358f0484fSRodney W. Grimes 		return (0);
74c6a96a84SColin Percival 
75c6a96a84SColin Percival 	/*
76c6a96a84SColin Percival 	 * Check for integer overflow.  As an optimization, first check that
77c6a96a84SColin Percival 	 * at least one of {count, size} is at least 2^16, since if both
78c6a96a84SColin Percival 	 * values are less than that, their product can't possible overflow
79c6a96a84SColin Percival 	 * (size_t is always at least 32 bits on FreeBSD).
80c6a96a84SColin Percival 	 */
81c6a96a84SColin Percival 	if (((count | size) > 0xFFFF) &&
82c6a96a84SColin Percival 	    (count > SIZE_MAX / size)) {
83c6a96a84SColin Percival 		errno = EINVAL;
84c6a96a84SColin Percival 		fp->_flags |= __SERR;
85c6a96a84SColin Percival 		return (0);
86c6a96a84SColin Percival 	}
87c6a96a84SColin Percival 
88c6a96a84SColin Percival 	/*
89c6a96a84SColin Percival 	 * Compute the (now required to not overflow) number of bytes to
90c6a96a84SColin Percival 	 * read and actually do the work.
91c6a96a84SColin Percival 	 */
92c6a96a84SColin Percival 	resid = count * size;
93e74101e4STim J. Robbins 	ORIENT(fp, -1);
9458f0484fSRodney W. Grimes 	if (fp->_r < 0)
9558f0484fSRodney W. Grimes 		fp->_r = 0;
9658f0484fSRodney W. Grimes 	total = resid;
9758f0484fSRodney W. Grimes 	p = buf;
98a45843c8SPedro F. Giffuni 
99a45843c8SPedro F. Giffuni 	/*
100a45843c8SPedro F. Giffuni 	 * If we're unbuffered we know that the buffer in fp is empty so
101a45843c8SPedro F. Giffuni 	 * we can read directly into buf.  This is much faster than a
102a45843c8SPedro F. Giffuni 	 * series of one byte reads into fp->_nbuf.
103a45843c8SPedro F. Giffuni 	 */
104a45843c8SPedro F. Giffuni 	if ((fp->_flags & __SNBF) != 0 && buf != NULL) {
105a45843c8SPedro F. Giffuni 		while (resid > 0) {
106a45843c8SPedro F. Giffuni 			/* set up the buffer */
107a45843c8SPedro F. Giffuni 			fp->_bf._base = fp->_p = p;
108a45843c8SPedro F. Giffuni 			fp->_bf._size = resid;
109a45843c8SPedro F. Giffuni 
110a45843c8SPedro F. Giffuni 			if (__srefill(fp)) {
111a45843c8SPedro F. Giffuni 				/* no more input: return partial result */
112a45843c8SPedro F. Giffuni 				count = (total - resid) / size;
113a45843c8SPedro F. Giffuni 				break;
114a45843c8SPedro F. Giffuni 			}
115a45843c8SPedro F. Giffuni 			p += fp->_r;
116a45843c8SPedro F. Giffuni 			resid -= fp->_r;
117a45843c8SPedro F. Giffuni 		}
118a45843c8SPedro F. Giffuni 
119a45843c8SPedro F. Giffuni 		/* restore the old buffer (see __smakebuf) */
120a45843c8SPedro F. Giffuni 		fp->_bf._base = fp->_p = fp->_nbuf;
121a45843c8SPedro F. Giffuni 		fp->_bf._size = 1;
122a45843c8SPedro F. Giffuni 		fp->_r = 0;
123a45843c8SPedro F. Giffuni 
124a45843c8SPedro F. Giffuni 		return (count);
125a45843c8SPedro F. Giffuni 	}
126a45843c8SPedro F. Giffuni 
12758f0484fSRodney W. Grimes 	while (resid > (r = fp->_r)) {
12810af8e45SStefan Eßer 		if (r != 0) {
12958f0484fSRodney W. Grimes 			(void)memcpy((void *)p, (void *)fp->_p, (size_t)r);
13058f0484fSRodney W. Grimes 			fp->_p += r;
13158f0484fSRodney W. Grimes 			/* fp->_r = 0 ... done in __srefill */
13258f0484fSRodney W. Grimes 			p += r;
13358f0484fSRodney W. Grimes 			resid -= r;
13410af8e45SStefan Eßer 		}
13558f0484fSRodney W. Grimes 		if (__srefill(fp)) {
13658f0484fSRodney W. Grimes 			/* no more input: return partial result */
13758f0484fSRodney W. Grimes 			return ((total - resid) / size);
13858f0484fSRodney W. Grimes 		}
13958f0484fSRodney W. Grimes 	}
14058f0484fSRodney W. Grimes 	(void)memcpy((void *)p, (void *)fp->_p, resid);
14158f0484fSRodney W. Grimes 	fp->_r -= resid;
14258f0484fSRodney W. Grimes 	fp->_p += resid;
14358f0484fSRodney W. Grimes 	return (count);
14458f0484fSRodney W. Grimes }
14512fe218fSKyle Evans 
14612fe218fSKyle Evans __weak_reference(__fread, fread_unlocked);
147