11 __naked void bounded_loop_count_to_4(void)  in bounded_loop_count_to_4()  argument
24 __naked void bounded_loop_count_to_20(void)  in bounded_loop_count_to_20()  argument
37 __naked void from_positive_unknown_to_4(void)  in from_positive_unknown_to_4()  argument
53 __naked void from_totally_unknown_to_4(void)  in from_totally_unknown_to_4()  argument
68 __naked void count_to_4_with_equality(void)  in count_to_4_with_equality()  argument
82 __naked void loop_start_in_the_middle(void)  in loop_start_in_the_middle()  argument
96 __naked void loop_containing_a_forward_jump(void)  in loop_containing_a_forward_jump()  argument
110 __naked void jumps_out_rather_than_in(void)  in jumps_out_rather_than_in()  argument
127 __naked void loop_after_a_conditional_jump(void)  in loop_after_a_conditional_jump()  argument
143 __naked void bounded_recursion(void)  in bounded_recursion()  argument
153 void bounded_recursion__1(void)  in bounded_recursion__1()  argument
168 __naked void infinite_loop_in_two_jumps(void)  in infinite_loop_in_two_jumps()  argument
181 __naked void infinite_loop_three_jump_trick(void)  in infinite_loop_three_jump_trick()  argument
203 __naked void back_jump_to_1st_insn_1(void)  in back_jump_to_1st_insn_1()  argument
215 __naked void back_jump_to_1st_insn_2(void)  in back_jump_to_1st_insn_2()  argument
226 void back_jump_to_1st_insn_2__1(void)  in back_jump_to_1st_insn_2__1()  argument
240 __naked void jump_to_1st_insn_2(void)  in jump_to_1st_insn_2()  argument
251 void jump_to_1st_insn_2__1(void)  in jump_to_1st_insn_2__1()  argument
264 __naked void not_an_inifinite_loop(void)  in not_an_inifinite_loop()  argument