Symbol: __smatch_sval_info
usr/src/tools/smatch/src/validation/sm_absolute2.c
17
__smatch_sval_info(a);
usr/src/tools/smatch/src/validation/sm_absolute2.c
18
__smatch_sval_info(x);