Symbol: sign_extend_safe
usr/src/tools/smatch/src/simplify.c
760
sval = sign_extend_safe(sval, size);
usr/src/tools/smatch/src/simplify.c
761
sval = sign_extend_safe(sval, bits_in_int);