Symbol: get_the_max
usr/src/tools/smatch/src/check_index_overflow.c
231
if (!get_the_max(offset, &max))
usr/src/tools/smatch/src/check_memcpy_overflow.c
247
if (!get_the_max(limit, &needed))