Symbol: sle
usr/src/tools/smatch/src/validation/optim/binops-same-args.c
15
int sle(int a) { return a <= a; }
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/tautological-compare.c
7
int sle(int a) { return a <= a; }