BPF_MAX_VAR_OFF
if (known && (val >= BPF_MAX_VAR_OFF || val <= -BPF_MAX_VAR_OFF)) {
if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) {
if (known && (val >= BPF_MAX_VAR_OFF || val <= -BPF_MAX_VAR_OFF)) {
if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) {
if (reg_umax(reg) >= BPF_MAX_VAR_OFF) {
if (reg_smax(reg) >= BPF_MAX_VAR_OFF ||
reg_smin(reg) <= -BPF_MAX_VAR_OFF) {