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