123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129 |
- #ifndef _bp_checks_h_
- #define _bp_checks_h_ 1
- #if __BOUNDED_POINTERS__
- # define BOUNDS_VIOLATED (__builtin_trap (), 0)
- # define CHECK_BOUNDS_LOW(ARG) \
- (((__ptrvalue (ARG) < __ptrlow (ARG)) && BOUNDS_VIOLATED), \
- __ptrvalue (ARG))
- # define CHECK_BOUNDS_HIGH(ARG) \
- (((__ptrvalue (ARG) > __ptrhigh (ARG)) && BOUNDS_VIOLATED), \
- __ptrvalue (ARG))
- # define _CHECK_N(ARG, N, COND) \
- (((COND) \
- && (__ptrvalue (ARG) < __ptrlow (ARG) \
- || __ptrvalue (ARG) + (N) > __ptrhigh (ARG)) \
- && BOUNDS_VIOLATED), \
- __ptrvalue (ARG))
- extern void *__unbounded __ubp_memchr (const void *__unbounded, int, unsigned)
- # define _CHECK_STRING(ARG, COND) \
- (((COND) \
- && (__ptrvalue (ARG) < __ptrlow (ARG) \
- || !__ubp_memchr (__ptrvalue (ARG), '\0', \
- (__ptrhigh (ARG) - __ptrvalue (ARG)))) \
- && BOUNDS_VIOLATED), \
- __ptrvalue (ARG))
- # define CHECK_N(ARG, N) _CHECK_N ((ARG), (N), 1)
- # define CHECK_N_NULL_OK(ARG, N) _CHECK_N ((ARG), (N), __ptrvalue (ARG))
- # define CHECK_1(ARG) CHECK_N ((ARG), 1)
- # define CHECK_1_NULL_OK(ARG) CHECK_N_NULL_OK ((ARG), 1)
- # define CHECK_STRING(ARG) _CHECK_STRING ((ARG), 1)
- # define CHECK_STRING_NULL_OK(ARG) _CHECK_STRING ((ARG), __ptrvalue (ARG))
- # define CHECK_SIGSET(SET) CHECK_N ((SET), _NSIG / (8 * sizeof *(SET)))
- # define CHECK_SIGSET_NULL_OK(SET) CHECK_N_NULL_OK ((SET), _NSIG / (8 * sizeof *(SET)))
- # if defined (_IOC_SIZESHIFT) && defined (_IOC_SIZEBITS)
- # define CHECK_IOCTL(ARG, CMD) \
- CHECK_N ((const char *) (ARG), \
- (((CMD) >> _IOC_SIZESHIFT) & ((1 << _IOC_SIZEBITS) - 1)))
- # else
- # define CHECK_IOCTL(ARG, CMD) CHECK_1 ((const char *) ARG)
- # endif
- # define CHECK_FCNTL(ARG, CMD) \
- (((CMD) == F_GETLK || (CMD) == F_SETLK || (CMD) == F_SETLKW) \
- ? CHECK_1 ((struct flock *) ARG) : (unsigned long) (ARG))
- # define CHECK_N_PAGES(ARG, NBYTES) \
- ({ int _page_size_ = sysconf (_SC_PAGE_SIZE)
- CHECK_N ((const char *) (ARG), \
- ((NBYTES) + _page_size_ - 1) / _page_size_)
- # define BOUNDED_N(PTR, N) \
- ({ __typeof (PTR) __bounded _p_
- __ptrvalue _p_ = __ptrlow _p_ = __ptrvalue (PTR)
- __ptrhigh _p_ = __ptrvalue _p_ + (N)
- _p_
- #else
- # define BOUNDS_VIOLATED
- # define CHECK_BOUNDS_LOW(ARG) (ARG)
- # define CHECK_BOUNDS_HIGH(ARG) (ARG)
- # define CHECK_1(ARG) (ARG)
- # define CHECK_1_NULL_OK(ARG) (ARG)
- # define CHECK_N(ARG, N) (ARG)
- # define CHECK_N_NULL_OK(ARG, N) (ARG)
- # define CHECK_STRING(ARG) (ARG)
- # define CHECK_SIGSET(SET) (SET)
- # define CHECK_SIGSET_NULL_OK(SET) (SET)
- # define CHECK_IOCTL(ARG, CMD) (ARG)
- # define CHECK_FCNTL(ARG, CMD) (ARG)
- # define CHECK_N_PAGES(ARG, NBYTES) (ARG)
- # define BOUNDED_N(PTR, N) (PTR)
- #endif
- #define BOUNDED_1(PTR) BOUNDED_N (PTR, 1)
- #endif
|