Symbol: after_loop
usr/src/tools/smatch/src/check_double_checking.c
282
add_hook(after_loop, STMT_HOOK_AFTER);
usr/src/tools/smatch/src/check_readl_infinite_loops.c
164
add_hook(after_loop, STMT_HOOK_AFTER);