usr/src/tools/smatch/src/validation/optim/canonical-cmp.c

10

sint sgt(sint p, sint a) { return (123 < p) ? a : 0; }

usr/src/tools/smatch/src/validation/optim/canonical-cmp.c

4

sint seq(sint p, sint a) { return (123 == p) ? a : 0; }

usr/src/tools/smatch/src/validation/optim/canonical-cmp.c

5

sint sne(sint p, sint a) { return (123 != p) ? a : 0; }

usr/src/tools/smatch/src/validation/optim/canonical-cmp.c

7

sint slt(sint p, sint a) { return (123 > p) ? a : 0; }

usr/src/tools/smatch/src/validation/optim/canonical-cmp.c

8

sint sle(sint p, sint a) { return (123 >= p) ? a : 0; }

usr/src/tools/smatch/src/validation/optim/canonical-cmp.c

9

sint sge(sint p, sint a) { return (123 <= p) ? a : 0; }

usr/src/ucbcmd/shutdown/shutdown.c

102

int sint;

usr/src/ucbcmd/shutdown/shutdown.c

127

int sint;

usr/src/ucbcmd/shutdown/shutdown.c

311

sint = 1 HOURS;

usr/src/ucbcmd/shutdown/shutdown.c

325

for (i = 0; stogo <= interval[i].stogo && interval[i].sint; i++)

usr/src/ucbcmd/shutdown/shutdown.c

326

sint = interval[i].sint;

usr/src/ucbcmd/shutdown/shutdown.c

327

if (stogo > 0 && (stogo-sint) < interval[i].stogo)

usr/src/ucbcmd/shutdown/shutdown.c

328

sint = stogo - interval[i].stogo;

usr/src/ucbcmd/shutdown/shutdown.c

333

if (sint >= stogo || sint == 0)

usr/src/ucbcmd/shutdown/shutdown.c

459

if (stogo > 0 && sint > 0)

usr/src/ucbcmd/shutdown/shutdown.c

460

sleep((unsigned)(sint < stogo ? sint : stogo));

usr/src/ucbcmd/shutdown/shutdown.c

461

stogo -= sint;