It's simple enough to make potential_constant_expression_1 handle MEM_REF. Tested x86_64-pc-linux-gnu, applying to trunk.