On 9/5/19 3:01 PM, Richard Biener wrote: > Not sure if you or Martin wants to improve it according to my > comments. Yes please. I'm working on that based on the review you provided. Thanks, Martin