GCC Middle and Back End API Reference
|
Data Fields | |
mpz_t | below |
mpz_t | up |
Bounds on some value, BELOW <= X <= UP.
mpz_t bounds::below |
Referenced by bound_difference_of_offsetted_base(), bounds_add(), and number_of_iterations_lt_to_ne().
mpz_t bounds::up |
Referenced by bound_difference_of_offsetted_base(), and bounds_add().