Symbol: right_side_changes
usr/src/tools/smatch/src/check_bogus_loop.c
45
if (right_side_changes(expr))
usr/src/tools/smatch/src/check_bogus_loop.c
80
if (right_side_changes(stmt->iterator_pre_condition))