|
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().