We have code to not reuse stack temps for a temporary of a different alias set. I think we also need to do the same thing to not reuse for differnt values of volatile, unchanging, scalar, and in_struct. But if we do that, we're essentially not sharing anymore. Any thoughts here?