Home
last modified time | relevance | path

Searched refs:loop_name (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_flow.c616 char *loop_name; in handle_pre_loop() local
620 loop_name = get_loop_name(loop_num); in handle_pre_loop()
632 __merge_gotos(loop_name, NULL); in handle_pre_loop()
652 __save_gotos(loop_name, NULL); in handle_pre_loop()
671 __save_gotos(loop_name, NULL); in handle_pre_loop()
696 char *loop_name; in handle_post_loop() local
698 loop_name = get_loop_name(loop_num); in handle_post_loop()
704 __merge_gotos(loop_name, NULL); in handle_post_loop()
708 __save_gotos(loop_name, NULL); in handle_post_loop()