[ was: Re: [PATCH, 1/2] Add handle_param parameter to create_variable_info_for_1 ] On 26/10/15 17:23, Tom de Vries wrote: >> Why does create_variable_info_for_1 only handle >> the single-field case? That is, I expected this to be handled by >> c_v_r_f_1 >> fully. >> > > Yep, that's the goal of PR67742. I've written a patch in an earlier > version of the patch series that implements that, I'm currently porting > that patch to this patch series. I'll post asap. This is the follow-up patch that handles restrict parameters recursively, also in struct fields. Bootstrapped and reg-tested on x86_64. OK for trunk? Thanks, - Tom