Symbol: __smatch_absolute_min
usr/src/tools/smatch/src/validation/sm_absolute1.c
8
__smatch_absolute_min(y);
usr/src/tools/smatch/src/validation/sm_absolute2.c
11
__smatch_absolute_min(a);
usr/src/tools/smatch/src/validation/sm_absolute2.c
13
__smatch_absolute_min(x);