On 08/29/2016 10:12 AM, Tom de Vries wrote:
On 29/08/16 17:51, Joseph Myers wrote:
On Wed, 24 Aug 2016, Tom de Vries wrote:

This patch fixes PR71602 by making canonical_va_list_type more strict.

Bootstrapped and reg-tested on x86_64.

OK for trunk, 6-branch?

ENOPATCH


Patch attached this time.

Thanks,
- Tom

0004-Make-canonical_va_list_type-more-strict.patch


Make canonical_va_list_type more strict

2016-08-22  Tom de Vries  <t...@codesourcery.com>

        PR C/71602
        * builtins.c (std_canonical_va_list_type): Strictly return non-null for
        va_list type only.
        * config/i386/i386.c (ix86_canonical_va_list_type): Same.
        * gimplify.c (gimplify_va_arg_expr): Handle &va_list.

        * c-common.c (build_va_arg): Handle more strict
        targetm.canonical_va_list_type.

        * c-c++-common/va-arg-va-list-type.c: New test.

---
Happy to see the _REF nodes disappearing from std_canonical_va_list_type. If I understand the code correctly its argument should always be a type node, so handling an _REF node makes no sense.

OK for the trunk.

jeff

Reply via email to