Home | History | Annotate | Line # | Download | only in linux
overflow.h revision 1.2
      1  1.2  riastrad /*	$NetBSD: overflow.h,v 1.2 2021/12/19 12:20:53 riastradh Exp $	*/
      2  1.1  riastrad 
      3  1.1  riastrad /*-
      4  1.1  riastrad  * Copyright (c) 2018 The NetBSD Foundation, Inc.
      5  1.1  riastrad  * All rights reserved.
      6  1.1  riastrad  *
      7  1.1  riastrad  * This code is derived from software contributed to The NetBSD Foundation
      8  1.1  riastrad  * by Taylor R. Campbell.
      9  1.1  riastrad  *
     10  1.1  riastrad  * Redistribution and use in source and binary forms, with or without
     11  1.1  riastrad  * modification, are permitted provided that the following conditions
     12  1.1  riastrad  * are met:
     13  1.1  riastrad  * 1. Redistributions of source code must retain the above copyright
     14  1.1  riastrad  *    notice, this list of conditions and the following disclaimer.
     15  1.1  riastrad  * 2. Redistributions in binary form must reproduce the above copyright
     16  1.1  riastrad  *    notice, this list of conditions and the following disclaimer in the
     17  1.1  riastrad  *    documentation and/or other materials provided with the distribution.
     18  1.1  riastrad  *
     19  1.1  riastrad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  1.1  riastrad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  1.1  riastrad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  1.1  riastrad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  1.1  riastrad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  1.1  riastrad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  1.1  riastrad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  1.1  riastrad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  1.1  riastrad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  1.1  riastrad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  1.1  riastrad  * POSSIBILITY OF SUCH DAMAGE.
     30  1.1  riastrad  */
     31  1.1  riastrad 
     32  1.1  riastrad #ifndef _LINUX_OVERFLOW_H_
     33  1.1  riastrad #define _LINUX_OVERFLOW_H_
     34  1.1  riastrad 
     35  1.1  riastrad #include <sys/types.h>
     36  1.1  riastrad 
     37  1.1  riastrad #include <lib/libkern/libkern.h>	/* offsetof */
     38  1.1  riastrad 
     39  1.1  riastrad #define	check_mul_overflow(a, b, res)	__builtin_mul_overflow(a, b, res)
     40  1.1  riastrad #define	check_add_overflow(a, b, res)	__builtin_add_overflow(a, b, res)
     41  1.1  riastrad 
     42  1.1  riastrad /* return x*y saturated at SIZE_MAX */
     43  1.1  riastrad static inline size_t
     44  1.1  riastrad array_size(size_t x, size_t y)
     45  1.1  riastrad {
     46  1.1  riastrad 	size_t xy;
     47  1.1  riastrad 
     48  1.1  riastrad 	if (check_mul_overflow(x, y, &xy))
     49  1.1  riastrad 		return SIZE_MAX;
     50  1.1  riastrad 	return xy;
     51  1.1  riastrad }
     52  1.1  riastrad 
     53  1.1  riastrad /* return x*y*z saturated at SIZE_MAX */
     54  1.1  riastrad static inline size_t
     55  1.1  riastrad array3_size(size_t x, size_t y, size_t z)
     56  1.1  riastrad {
     57  1.1  riastrad 	size_t xy, xyz;
     58  1.1  riastrad 
     59  1.1  riastrad 	if (check_mul_overflow(x, y, &xy))
     60  1.1  riastrad 		return SIZE_MAX;
     61  1.1  riastrad 	if (check_mul_overflow(xy, z, &xyz))
     62  1.1  riastrad 		return SIZE_MAX;
     63  1.1  riastrad 	return xyz;
     64  1.1  riastrad }
     65  1.1  riastrad 
     66  1.1  riastrad /* return basesize + elemsize*nelem saturated at SIZE_MAX */
     67  1.1  riastrad static inline size_t
     68  1.1  riastrad __struct_size(size_t basesize, size_t elemsize, size_t nelem)
     69  1.1  riastrad {
     70  1.1  riastrad 	size_t arraysize, totalsize;
     71  1.1  riastrad 
     72  1.1  riastrad 	KASSERT(elemsize);
     73  1.1  riastrad 	if ((arraysize = array_size(elemsize, nelem)) == SIZE_MAX)
     74  1.1  riastrad 		return SIZE_MAX;
     75  1.1  riastrad 	if (check_add_overflow(basesize, arraysize, &totalsize))
     76  1.1  riastrad 		return SIZE_MAX;
     77  1.1  riastrad 	return totalsize;
     78  1.1  riastrad }
     79  1.1  riastrad 
     80  1.1  riastrad #define	struct_size(p, member, n)					      \
     81  1.1  riastrad ({									      \
     82  1.2  riastrad 	CTASSERT(sizeof(*(p)) >= offsetof(__typeof__(*(p)), member));	      \
     83  1.1  riastrad 	__struct_size(sizeof(*(p)), sizeof((p)->member[0]), (n));	      \
     84  1.1  riastrad })
     85  1.1  riastrad 
     86  1.1  riastrad #endif  /* _LINUX_OVERFLOW_H_ */
     87