Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c828 sm = comparison_implication_hook(expr, &true_stack, &false_stack); in handled_by_comparison_hook()
H A Dsmatch.h1213 struct sm_state *comparison_implication_hook(struct expression *expr,
H A Dsmatch_comparison.c2750 struct sm_state *comparison_implication_hook(struct expression *expr, in comparison_implication_hook() function