kernel/bpf/verifier.c

14878 	bool src_known = tnum_subreg_is_const(src_reg->var_off);
14883 	if (src_known && dst_known) {
14909 	bool src_known = tnum_is_const(src_reg->var_off);
14913 	if (src_known && dst_known) {
14941 	bool src_known = tnum_subreg_is_const(src_reg->var_off);
14946 	if (src_known && dst_known) {
14972 	bool src_known = tnum_is_const(src_reg->var_off);
14976 	if (src_known && dst_known) {
15004 	bool src_known = tnum_subreg_is_const(src_reg->var_off);
15008 	if (src_known && dst_known) {
15032 	bool src_known = tnum_is_const(src_reg->var_off);
15035 	if (src_known && dst_known) {
15211 	/* Upon reaching here, src_known is true and
15234 	/* Upon reaching here, src_known is true and umax_val is equal