Searched refs:max0 (Results 1 – 1 of 1) sorted by relevance
16492 size_t max0 = (size_t)(uint32_t)start_index + (size_t)4U; in libcrux_ml_dsa_sample_sample_four_error_ring_elements_29() local16494 if (re.meta < max0) in libcrux_ml_dsa_sample_sample_four_error_ring_elements_29()16500 max = max0; in libcrux_ml_dsa_sample_sample_four_error_ring_elements_29()