com php-src: added basic stuff with the zend_range_check. h: Zend/zend_range_check.h

Commit: e2ce37be6a94ec3309a796930af5d93273b49923 Author: Anatol Belski <ab@php.net> Tue, 25 Aug 2015 11:40:44 +0200 Parents: 1f0f768e3f3e2115708847284285475ae1fd525b Branches: master Link: http://git.php.net/?p=php-src.git;a=commitdiff;h=e2ce37be6a94ec3309a796930af5d93273b49923 Log: added basic stuff with the zend_range_check.h Changed paths: A Zend/zend_range_check.h Diff: diff --git a/Zend/zend_range_check.h b/Zend/zend_range_check.h new file mode 100644 index 0000000..7c13332 --- /dev/null +++ b/Zend/zend_range_check..h @@ -0,0 +1,75 @@ +/* + +----------------------------------------------------------------------+ + | Zend Engine | + +----------------------------------------------------------------------+ + | Copyright (c) 1998-2013 Zend Technologies Ltd. (http://www.zend.com) | + +----------------------------------------------------------------------+ + | This source file is subject to version 2.00 of the Zend license, | + | that is bundled with this package in the file LICENSE, and is | + | available through the world-wide-web at the following url: | + | http://www.zend.com/license/2_00.txt. | + | If you did not receive a copy of the Zend license and are unable to | + | obtain it through the world-wide-web, please send a note to | + | license@zend.com so we can mail you a copy immediately. | + +----------------------------------------------------------------------+ + | Authors: Anatol Belski <ab@php.net> | + +----------------------------------------------------------------------+ +*/ + +#ifndef ZEND_RANGE_CHECK_H +#define ZEND_RANGE_CHECK_H + +#include "zend_long.h" + +/* Flag macros for basic range recognition. Notable is that + always sizeof(signed) == sizeof(unsigned), so no need to + overcomplicate things. */ +#if SIZEOF_INT == SIZEOF_ZEND_LONG +# define ZEND_LONG_CAN_OVFL_INT 1 +# define ZEND_LONG_CAN_OVFL_UINT 1 +#endif + +#if SIZEOF_INT < SIZEOF_SIZE_T +/* size_t can always overflow signed int on the same platform. + Furthermore, by the current design, size_t can always + overflow zend_long. */ +# define ZEND_SIZE_T_CAN_OVFL_UINT 1 +#endif + + +/* zend_long vs. (unsigned) int checks. */ +#ifdef ZEND_LONG_CAN_OVFL_INT +# define ZEND_LONG_INT_OVFL(zlong) ((zlong) > (zend_long)INT_MAX) +# define ZEND_LONG_INT_UDFL(zlong) ((zlong) < (zend_long)INT_MIN) +# define ZEND_LONG_EXCEEDS_INT(zlong) (ZEND_LONG_INT_OVFL(zlong) || ZEND_LONG_INT_UDFL(zlong)) +# define ZEND_LONG_UINT_OVFL(zlong) ((zlong) < 0 || (zlong) > (zend_long)UINT_MAX) +#else +# define ZEND_LONG_INT_OVFL(zl) (0) +# define ZEND_LONG_INT_UDFL(zl) (0) +# define ZEND_LONG_EXCEEDS_INT(zlong) (0) +# define ZEND_LONG_UINT_OVFL(zl) (0) +#endif + +/* size_t vs (unsigned) int checks. */ +#define ZEND_SIZE_T_INT_OVFL(size) ((size) > (size_t)INT_MAX) +#ifdef ZEND_SIZE_T_CAN_OVFL_UINT +# define ZEND_SIZE_T_UINT_OVFL(size) ((size) > (size_t)UINT_MAX) +#else +# define ZEND_SIZE_T_UINT_OVFL(size) (0) +#endif + +/* Comparison zend_long vs size_t */ +#define ZEND_SIZE_T_GT_ZEND_LONG(size, zlong) ((zlong) < 0 || (size) > (size_t)(zlong)) +#define ZEND_SIZE_T_GTE_ZEND_LONG(size, zlong) ((zlong) < 0 || (size) >= (size_t)(zlong)) +#define ZEND_SIZE_T_LT_ZEND_LONG(size, zlong) ((zlong) >= 0 && (size) < (size_t)(zlong)) +#define ZEND_SIZE_T_LTE_ZEND_LONG(size, zlong) ((zlong) >= 0 && (size) <= (size_t)(zlong)) + +#endif /* ZEND_RANGE_CHECK_H */ + +/* + * Local variables: + * tab-width: 4 + * c-basic-offset: 4 + * indent-tabs-mode: t + * End: + */