diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-12 01:12:46 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-14 00:40:52 +0100 |
| commit | 1376b07cf3395716bd566afa31631d4753b0d54a (patch) | |
| tree | 40fb89a67178992d86c3bf6ec88d485757e011df /validation/preprocessor | |
| parent | f010d1ae2a19ea171a2ef64dc92a8c29cd160cbd (diff) | |
| download | sparse-dev-1376b07cf3395716bd566afa31631d4753b0d54a.tar.gz | |
use bits_mask() for predefined_max()
Creating a bit mask using '(1 << n) - 1' is undefined if
n is as big as the width of an int.
Use the safe helper bits_mask() to create the mask/value
for predefined_max().
Note: predefined_max() is currently correct only for signed types.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/preprocessor')
0 files changed, 0 insertions, 0 deletions
