Lines Matching full:markings
2113 /* The register can already have a range from prior markings. in reg_is_init_pkt_pointer()
4084 * No further markings in parent are necessary in backtrack_insn()
4384 * because precision markings in current non-checkpointed state are in mark_all_scalars_precise()
4464 * In the former case, precise markings in current state are completely
4466 * checkpointed ("old") state precise markings are important, and if old
4470 * markings and any required parent states' precise markings are enforced
4474 * actually matters is any of the precise markings propagated into current
4477 * markings set or not.
4486 * what we mentioned above about state comparison ignoring precise markings
4488 * markings *at will* during instruction verification process. But as verifier
4517 * we'll mark it precise later retroactively during precise markings
15170 /* Examples for register markings: in find_good_pkt_pointers()
18806 /* forget precise markings we inherited, see __mark_chain_precision */ in is_state_visited()