3698 			 struct instruction *insn, struct insn_state *statep,  in validate_insn()  argument
3713 	visited = VISITED_BRANCH << statep->uaccess;  in validate_insn()
3715 		if (!insn->hint && !insn_cfi_match(insn, &statep->cfi))  in validate_insn()
3726 	if (statep->noinstr)  in validate_insn()
3727 		statep->instr += insn->instr;  in validate_insn()
3771 		statep->cfi = *insn->cfi;  in validate_insn()
3775 		if (prev_insn && !cficmp(prev_insn->cfi, &statep->cfi)) {  in validate_insn()
3779 			insn->cfi = cfi_hash_find_or_add(&statep->cfi);  in validate_insn()
3791 			ret = validate_branch(file, func, alt->insn, *statep);  in validate_insn()
3804 	if (handle_insn_ops(insn, next_insn, statep))  in validate_insn()
3811 		return validate_return(func, insn, statep);  in validate_insn()
3820 		ret = validate_call(file, insn, statep);  in validate_insn()
3825 		    !has_valid_stack_frame(statep)) {  in validate_insn()
3836 			ret = validate_sibling_call(file, insn, statep);  in validate_insn()
3846 			ret = validate_branch(file, func, insn->jump_dest, *statep);  in validate_insn()
3863 			ret = validate_sibling_call(file, insn, statep);  in validate_insn()
3896 		if (statep->uaccess) {  in validate_insn()
3901 		statep->uaccess = true;  in validate_insn()
3909 		if (!statep->uaccess && func) {  in validate_insn()
3914 		if (func_uaccess_safe(func) && !statep->uaccess_stack) {  in validate_insn()
3919 		statep->uaccess = false;  in validate_insn()
3924 		if (statep->df) {  in validate_insn()
3929 		statep->df = true;  in validate_insn()
3934 		if (!statep->df && func) {  in validate_insn()
3939 		statep->df = false;  in validate_insn()