> It's only got one set..... I think this is a problem of single_set, and it should be fixed be testing anything that is neither set nor clobber for side_effects_p. Presumably this didn't come up before because ther were no patterns that paired void calls with sets.