pub unsafe extern "C" fn validator_options_set_before_legalization(
opts: *mut ValidatorOptions,
toggle: bool,
)
Expand description
Records whether or not the validator should relax the rules because it is expected that the optimizations will make the code legal.
When relaxed, it will allow the following:
- It will allow relaxed logical pointers. Setting this option will also set that option.
- Pointers that are pass as parameters to function calls do not have to match the storage class of the formal parameter.
- Pointers that are actaul parameters on function calls do not have to point to the same type pointed as the formal parameter. The types just need to logically match.