tnum_is_unknown
if (!tnum_is_unknown(reg->var_off)) {
if (!tnum_is_unknown(enforce_attach_type_range) &&