> Is this patch OK for trunk? This has always worked for the other ports AFAIK so I don't think we should disable it without evaluating the impact on them. If reload has so many problems with x32, maybe more fundamental changes should be made to the x86 back-end to support it. -- Eric Botcazou