Lines Matching refs:S64_MAX
332 reg->smax_value != S64_MAX) in print_verifier_state()
625 reg->var_off.value | (reg->var_off.mask & S64_MAX)); in __update_reg_bounds()
678 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
2780 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
2837 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
2935 dst_reg->smax_value = S64_MAX; in adjust_scalar_min_max_vals()
2955 dst_reg->smax_value = S64_MAX; in adjust_scalar_min_max_vals()
2991 if (dst_reg->umax_value > S64_MAX) { in adjust_scalar_min_max_vals()
2994 dst_reg->smax_value = S64_MAX; in adjust_scalar_min_max_vals()
3017 dst_reg->smax_value = S64_MAX; in adjust_scalar_min_max_vals()
3046 dst_reg->smax_value = S64_MAX; in adjust_scalar_min_max_vals()
3069 dst_reg->smax_value = S64_MAX; in adjust_scalar_min_max_vals()
3105 dst_reg->smax_value = S64_MAX; in adjust_scalar_min_max_vals()