Symbol: create_fake_history
usr/src/tools/smatch/src/smatch_comparison.c
2725
create_fake_history(sm, op, true_stack, false_stack);
usr/src/tools/smatch/src/smatch_implied.c
315
if (!create_fake_history(sm, comparison, rl))