Symbol: taint_undefined_behaviour
usr/src/tools/smatch/src/linearize.c
1481
taint_undefined_behaviour(dst->def);
usr/src/tools/smatch/src/linearize.c
1586
taint_undefined_behaviour(dst->def);