Symbol: si_plus_sat
usr.bin/xlint/lint1/tree.c
325
c.smin = si_plus_sat(tp, a.smin, b.smin);
usr.bin/xlint/lint1/tree.c
326
c.smax = si_plus_sat(tp, a.smax, b.smax);