https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101180

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:b751b225e4f02cf0c446e659e7c3e204096468bf

commit r12-5426-gb751b225e4f02cf0c446e659e7c3e204096468bf
Author: Jakub Jelinek <ja...@redhat.com>
Date:   Fri Nov 19 22:09:01 2021 +0100

    c++: Avoid adding implicit attributes during apply_late_template_attributes
[PR101180]

    decl_attributes and its caller cplus_decl_attributes sometimes add
    implicit attributes, e.g. optimize attribute if #pragma GCC optimize
    is active, target attribute if #pragma GCC target is active, or
    e.g. omp declare target attribute if in between #pragma omp declare target
    and #pragma omp end declare target.

    For templates that seems highly undesirable to me though, they should
    get those implicit attributes from the spot the templates were parsed
    (and they do get that), then tsubst through copy_node copies those
    attributes, but then apply_late_template_attributes can or does add
    a new set from the spot where they are instantiated, which can be pretty
    random point of first use of the template.

    Consider e.g.
     #pragma GCC push_options
     #pragma GCC target "avx"
     template <int N>
     inline void foo ()
     {
     }
     #pragma GCC pop_options
     #pragma GCC push_options
     #pragma GCC target "crc32"
     void
     bar ()
     {
       foo<0> ();
     }
     #pragma GCC pop_options
    testcase where the intention is that foo has avx target attribute
    and bar has crc32 target attribute, but we end up with
    __attribute__((target ("crc32"), target ("avx")))
    on foo<0> (and due to yet another bug actually don't enable avx
    in foo<0>).  In this particular case it is a regression caused
    by r12-299-ga0fdff3cf33f7284 which apparently calls
    cplus_decl_attributes even if attributes != NULL but late_attrs
    is NULL, before those changes we didn't call it in those cases.
    But, if there is at least one unrelated dependent attribute this
    would happen already in older releases.

    The following patch fixes that by temporarily overriding the variables
    that control the addition of the implicit attributes.

    Shall we also change the function so that it doesn't call
    cplus_decl_attributes if late_attrs is NULL, or was that change
    intentional?

    2021-11-19  Jakub Jelinek  <ja...@redhat.com>

            PR c++/101180
            * pt.c (apply_late_template_attributes): Temporarily override
            current_optimize_pragma, optimization_current_node,
            current_target_pragma and
scope_chain->omp_declare_target_attribute,
            so that cplus_decl_attributes doesn't add implicit attributes.

            * g++.target/i386/pr101180.C: New test.

Reply via email to