Searched refs:init_s32_max (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 6258 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val; in check_stack_access_within_bounds()
6292 init_s32_max = (s8)reg_s32_max(reg); in check_stack_access_within_bounds()
6296 init_s32_max = (s16)reg_s32_max(reg); in check_stack_access_within_bounds()
6299 s32_max = max(init_s32_max, init_s32_min); in check_stack_access_within_bounds()
6300 s32_min = min(init_s32_max, init_s32_min); in check_stack_access_within_bounds()
5760 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val; coerce_subreg_to_size_sx() local
|