Symbol: set_undefined
usr/src/tools/smatch/src/check_index_overflow.c
365
add_modification_hook(loop_id, &set_undefined);
usr/src/tools/smatch/src/check_pointer_math.c
136
add_modification_hook(my_id, &set_undefined);