Text this: Robustness Analysis of Floating-Point Programs by Self-Composition