On 26/10/15 12:23, Tom de Vries wrote:
> Hi,
>
> this patch enables recursive restrict handling in
> create_variable_info_for_1.
>
> This allows us to interpret all restricts in a function parameter
> "int *restrict *restrict *restrict a".
>
> This patch is the first step towards implementing a generic fix for
> PR67742.
>
> Bootstrapped and reg-tested on x86_64.
>

Reposting with restrict_pointed_var as a hash_map rather than a field.

> OK for trunk?
>

Thanks,
- Tom