Symbol: set_implied
usr/src/tools/smatch/src/smatch_buf_comparison.c
841
select_call_implies_hook(i, &set_implied);
usr/src/tools/smatch/src/smatch_buf_comparison.c
843
select_return_implies_hook(i, &set_implied);