add missing float/double bounds check#128

Merged

clalancette merged 5 commits intoros2:masterfrom

squizz617:pr_float_bounds

Jun 15, 2021

Commits on May 19, 2021

add missing float/double bounds check

squizz617
authored and
clalancette
committed
use -float_max and -double_max for lower bounds

squizz617
authored and
clalancette
committed
add tests for float/double boundaries

squizz617
authored and
clalancette
committed
add boundary checks for float/double in arrays

squizz617
authored and
clalancette
committed
Bug fix.
clalancette
committed