Re: [PATCH] Fix middle-end/67133, part 1

[Marek Polacek]

On Wed, Aug 19, 2015 at 11:48:12AM +0200, Richard Biener wrote:
> Looks good to me.

Thanks!  I'll wait for Jeff if he has any comments.

        Marek