kernel/bpf/verifier.c

1868 	/* The register can already have a range from prior markings.  in reg_is_init_pkt_pointer()
3593 				 * No further markings in parent are necessary  in backtrack_insn()
3887 	 * because precision markings in current non-checkpointed state are  in mark_all_scalars_precise()
4057  * In the former case, precise markings in current state are completely
4059  * checkpointed ("old") state precise markings are important, and if old
4063  * markings and any required parent states' precise markings are enforced
4067  * actually matters is any of the precise markings propagated into current
4070  * markings set or not.
4079  * what we mentioned above about state comparison ignoring precise markings
4081  * markings *at will* during instruction verification process. But as verifier
4110  * we'll mark it precise later retroactively during precise markings
14088 	/* Examples for register markings:  in find_good_pkt_pointers()
17196 	/* forget precise markings we inherited, see __mark_chain_precision */  in is_state_visited()