> Yeah, that sounds reasonable. There is a further subtlety in the second temp allocation when the expression doesn't use the alias set of its type. In that case, we cannot pass the type to set_mem_attributes. In fact, since assign_stack_temp_for_type already calls the appropriate set_mem_* routines, the best thing to do might be to remove the call to set_mem_attributes altogether in that case.
-- Eric Botcazou