On 11/30/2016 01:02 PM, Jakub Jelinek wrote:
I've discovered today that RTL sharing verification has been disabled for the last 3.5 years. My --enable-checking=yes,rtl,extra bootstraps on x86_64-linux and i686-linux revealed only two bugs.
Ok for both patches. Bernd
