re PR tree-optimization/31847 (Printing to dump file broken)