18202 	DISCOVERED = 0x10,  enumerator
18253 	if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH))  in push_insn()
18256 	if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH))  in push_insn()
18273 		insn_state[t] = DISCOVERED | e;  in push_insn()
18274 		insn_state[w] = DISCOVERED;  in push_insn()
18279 	} else if ((insn_state[w] & 0xF0) == DISCOVERED) {  in push_insn()
18288 		insn_state[t] = DISCOVERED | e;  in push_insn()
18798 		insn_state[w] |= DISCOVERED;  in visit_gotox_insn()
18975 	insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */  in check_cfg()
19007 		insn_state[ex_insn_beg] = DISCOVERED;  in check_cfg()
19068 			state[top] |= DISCOVERED;  in compute_postorder()
19078 					state[succ->items[s]] |= DISCOVERED;  in compute_postorder()