Lines Matching full:markings
2213 /* The register can already have a range from prior markings. in reg_is_init_pkt_pointer()
4211 * No further markings in parent are necessary in backtrack_insn()
4511 * because precision markings in current non-checkpointed state are in mark_all_scalars_precise()
4591 * In the former case, precise markings in current state are completely
4593 * checkpointed ("old") state precise markings are important, and if old
4597 * markings and any required parent states' precise markings are enforced
4601 * actually matters is any of the precise markings propagated into current
4604 * markings set or not.
4613 * what we mentioned above about state comparison ignoring precise markings
4615 * markings *at will* during instruction verification process. But as verifier
4644 * we'll mark it precise later retroactively during precise markings
15576 /* Examples for register markings: in find_good_pkt_pointers()
19263 /* forget precise markings we inherited, see __mark_chain_precision */ in is_state_visited()