Reduced example from pcc's bug report.