They are marked as TREE_READONLY. So any expression that has it as an operand will be marked as TREE_READONLY. But when we gimplify, we replace it with a VAR_DECL that's *not* TREE_READONLY. So the TREE_READONLY bit of the "upstream" expressions are wrong. Is the fix here just to not set TREE_READONLY for SAVE_EXPR?