http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51727
--- Comment #7 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch>
2012-10-06 12:48:39 UTC ---
The main difference between 'good' and 'bad' seems to be the 'header' lines
bad:
()
(('arch_topology' 'machine_architecture_types' 2))
()
good:
()
(('arch_topology' 'machine_architecture_types' 2) ('ma_mp_type'
'machine_architecture_types' 3) ('ma_process' 'machine_architecture_types'
4) ('machine_output' 'machine_architecture_types' 5) ('thread_inf'
'machine_architecture_types' 6))
()
