Re: [PATCH][libsanitizer] Cherry-pick r210012

[Paolo Carlini]

On 06/11/2014 01:33 PM, Richard Biener wrote:

Committed.

Thanks!

Paolo,