https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67779
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Apparently there is a nasty bug somewhere: if I sort
'String = 2 '
'String = 9 '
'String = 8 '
'String = 7 '
'String = 6 '
'String = 5 '
'String = 4 '
'String = 3 '
'String = 10 '
'String = 1 '
I get
String = 2
String = 1
String = 10
String = 3
String = 4
String = 5
String = 6
String = 7
String = 8
String = 9
