| 793 | } |
| 794 | |
| 795 | static void |
| 796 | eval_max_load(struct bpf_reg_val *rv, uint64_t mask) |
| 797 | { |
| 798 | eval_umax_bound(rv, mask); |
| 799 | |
| 800 | /* full 64-bit load */ |
| 801 | if (mask == UINT64_MAX) |
| 802 | eval_smax_bound(rv, mask); |
| 803 | |
| 804 | /* zero-extend load */ |
| 805 | rv->s.min = rv->u.min; |
| 806 | rv->s.max = rv->u.max; |
| 807 | } |
| 808 | |
| 809 | |
| 810 | static const char * |
no test coverage detected