Re: [PATCH] Fix middle-end/86528

[Richard Biener]

On July 16, 2018 5:36:22 PM GMT+02:00, Bernd Edlinger 
<bernd.edlin...@hotmail.de> wrote:
>Hi,
>
>this fixes PR middle-end/86528.
>
>
>Bootstrapped and reg-tested on x86_64-pc-linux-gnu.
>Is it OK for trunk?

OK. 

Richard. 

>
>Thanks
>Bernd.