Symbol: si_minus_sat
usr.bin/xlint/lint1/tree.c
356
c.smin = si_minus_sat(tp, a.smin, b.smax);
usr.bin/xlint/lint1/tree.c
357
c.smax = si_minus_sat(tp, a.smax, b.smin);