37 	exit;						\  in bounds_map_value_variant_1()
39 	exit;						\  in bounds_map_value_variant_1()
68 	exit;						\  in bounds_map_value_variant_2()
70 	exit;						\  in bounds_map_value_variant_2()
100 	exit;						\  in subtraction_on_pointers_for_unpriv()
103 	exit;						\  in subtraction_on_pointers_for_unpriv()
131 l0_%=:	/* exit */					\  in based_on_zero_extended_mov()
133 	exit;						\  in based_on_zero_extended_mov()
162 l0_%=:	/* exit */					\  in on_sign_extended_mov_test1()
164 	exit;						\  in on_sign_extended_mov_test1()
193 l0_%=:	/* exit */					\  in on_sign_extended_mov_test2()
195 	exit;						\  in on_sign_extended_mov_test2()
222 	exit;						\  in var_off_insn_off_test1()
251 	exit;						\  in var_off_insn_off_test2()
291 l0_%=:	/* exit */					\  in of_non_boundary_crossing_range()
293 	exit;						\  in of_non_boundary_crossing_range()
332 	/* exit */					\  in of_boundary_crossing_range_1()
334 l0_%=:	exit;						\  in of_boundary_crossing_range_1()
374 	/* exit */					\  in of_boundary_crossing_range_2()
376 l0_%=:	exit;						\  in of_boundary_crossing_range_2()
407 l0_%=:	/* exit */					\  in after_wrapping_32_bit_addition()
409 	exit;						\  in after_wrapping_32_bit_addition()
440 l0_%=:	/* exit */					\  in shift_with_oversized_count_operand()
442 	exit;						\  in shift_with_oversized_count_operand()
475 l0_%=:	/* exit */					\  in shift_of_maybe_negative_number()
477 	exit;						\  in shift_of_maybe_negative_number()
507 	/* exit */					\  in shift_with_64_bit_input()
509 l0_%=:	exit;						\  in shift_with_64_bit_input()
530 	exit;						\  in size_signed_32bit_overflow_test1()
534 l1_%=:	exit;						\  in size_signed_32bit_overflow_test1()
555 	exit;						\  in size_signed_32bit_overflow_test2()
561 l1_%=:	exit;						\  in size_signed_32bit_overflow_test2()
582 	exit;						\  in size_signed_32bit_overflow_test3()
587 l1_%=:	exit;						\  in size_signed_32bit_overflow_test3()
608 	exit;						\  in size_signed_32bit_overflow_test4()
614 l1_%=:	exit;						\  in size_signed_32bit_overflow_test4()
640 l1_%=:	exit;						\  in _32bit_and_64bit_arithmetic_test1()
664 l1_%=:	exit;						\  in _32bit_and_64bit_arithmetic_test2()
685 	exit;						\  in __flag()
707 	exit;						\  in reg_0_reg_xor_1()
713 	exit;						\  in reg_0_reg_xor_1()
735 	exit;						\  in reg32_0_reg32_xor_1()
741 	exit;						\  in reg32_0_reg32_xor_1()
763 	exit;						\  in reg_2_reg_xor_3()
769 	exit;						\  in reg_2_reg_xor_3()
790 	exit;						\  in reg_any_reg_xor_3()
796 	exit;						\  in reg_any_reg_xor_3()
817 	exit;						\  in reg32_any_reg32_xor_3()
823 	exit;						\  in reg32_any_reg32_xor_3()
845 	exit;						\  in reg_0_reg_xor_3()
852 	exit;						\  in reg_0_reg_xor_3()
874 	exit;						\  in reg32_0_reg32_xor_3()
881 	exit;						\  in reg32_0_reg32_xor_3()
901 	exit;						\  in non_const_xor_src_dst()
922 	exit;						\  in non_const_or_src_dst()
943 	exit;						\  in non_const_mul_regs()
970 l0_%=:	exit;						\  in _32_bit_truncation_test_1()
995 l0_%=:	exit;						\  in _32_bit_truncation_test_2()
1021 	exit;						\  in crossing_64_bit_signed_boundary_1()
1050 	exit;						\  in crossing_64_bit_signed_boundary_2()
1052 	exit;						\  in crossing_64_bit_signed_boundary_2()
1077 	exit;						\  in bound_greater_than_u32_max()
1103 	exit;						\  in crossing_32_bit_signed_boundary_1()
1132 	exit;						\  in crossing_32_bit_signed_boundary_2()
1134 	exit;						\  in crossing_32_bit_signed_boundary_2()
1155 	exit;						\  in reg_not_equal_const()
1168 	exit;						\  in reg_not_equal_const()
1196 	exit;						\  in reg_equal_const()