diff options
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/cp/mangle.c | 6 | ||||
-rw-r--r-- | gcc/doc/invoke.texi | 8 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/abi/mangle13.C | 2 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/abi/mangle37.C | 1 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/abi/pr70182.C | 28 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/dfp/mangle-1.C | 1 | ||||
-rw-r--r-- | libiberty/ChangeLog | 7 | ||||
-rw-r--r-- | libiberty/cp-demangle.c | 2 | ||||
-rw-r--r-- | libiberty/testsuite/demangle-expected | 7 |
11 files changed, 68 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 13a7015..257a21d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de> + PR c++/70182 + * doc/invoke.texi (fabi-version): Mention mangling fix for + operator names. + +2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de> + PR c++/77489 * doc/invoke.texi (fabi-version): Document discriminator mangling. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 86669ae..a42454a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,10 @@ 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de> + PR c++/70182 + * mangle.c (write_template_args): Add "on" for operator names. + +2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de> + PR c++/77489 * mangle.c (write_discriminator): Handle discriminator >= 10. diff --git a/gcc/cp/mangle.c b/gcc/cp/mangle.c index 67ec5c3..d1b107c 100644 --- a/gcc/cp/mangle.c +++ b/gcc/cp/mangle.c @@ -2817,6 +2817,12 @@ write_template_args (tree args) static void write_member_name (tree member) { + if (abi_version_at_least (11) && IDENTIFIER_OPNAME_P (member)) + { + write_string ("on"); + if (abi_warn_or_compat_version_crosses (11)) + G.need_abi_warning = 1; + } if (identifier_p (member)) write_unqualified_id (member); else if (DECL_P (member)) diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 767c8f4..06e3ae8 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -2252,10 +2252,10 @@ attributes that affect type identity, such as ia32 calling convention attributes (e.g. @samp{stdcall}). Version 11, which first appeared in G++ 7, corrects the mangling of -sizeof... expressions. For multiple entities with the same name within -a function, that are declared in different scopes, the mangling now -changes starting with the eighth occurence. It also implies -@option{-fnew-inheriting-ctors}. +sizeof... expressions and operator names. For multiple entities with +the same name within a function, that are declared in different scopes, +the mangling now changes starting with the eighth occurence. It also +implies @option{-fnew-inheriting-ctors}. See also @option{-Wabi}. diff --git a/gcc/testsuite/g++.dg/abi/mangle13.C b/gcc/testsuite/g++.dg/abi/mangle13.C index 716c4c3..c8822a3 100644 --- a/gcc/testsuite/g++.dg/abi/mangle13.C +++ b/gcc/testsuite/g++.dg/abi/mangle13.C @@ -1,4 +1,4 @@ -// { dg-options "-fabi-version=0" } +// { dg-options "-fabi-version=10" } struct A { template <typename T> int f (); diff --git a/gcc/testsuite/g++.dg/abi/mangle37.C b/gcc/testsuite/g++.dg/abi/mangle37.C index 691566b..4dd87e8 100644 --- a/gcc/testsuite/g++.dg/abi/mangle37.C +++ b/gcc/testsuite/g++.dg/abi/mangle37.C @@ -1,5 +1,6 @@ // Testcase for mangling of expressions involving operator names. // { dg-do compile { target c++11 } } +// { dg-options "-fabi-version=10" } // { dg-final { scan-assembler "_Z1fI1AEDTclonplfp_fp_EET_" } } // { dg-final { scan-assembler "_Z1gI1AEDTclonplIT_Efp_fp_EES1_" } } // { dg-final { scan-assembler "_Z1hI1AEDTcldtfp_miEET_" } } diff --git a/gcc/testsuite/g++.dg/abi/pr70182.C b/gcc/testsuite/g++.dg/abi/pr70182.C new file mode 100644 index 0000000..d299362 --- /dev/null +++ b/gcc/testsuite/g++.dg/abi/pr70182.C @@ -0,0 +1,28 @@ +// { dg-options "-fabi-version=0" } + +struct A { + template <typename T> int f (); + int operator+(); + operator int (); + template <typename T> + int operator-(); +}; + +typedef int (A::*P)(); + +template <P> struct S {}; + +template <typename T> void g (S<&T::template f<int> >) {} +template <typename T> void g (S<&T::operator+ >) {} +template <typename T> void g (S<&T::operator int>) {} +template <typename T> void g (S<&T::template operator- <double> >) {} + +template void g<A> (S<&A::f<int> >); +template void g<A> (S<&A::operator+>); +template void g<A> (S<&A::operator int>); +template void g<A> (S<&A::operator-<double> >); + +// { dg-final { scan-assembler _Z1gI1AEv1SIXadsrT_1fIiEEE } } +// { dg-final { scan-assembler _Z1gI1AEv1SIXadsrT_onplEE } } +// { dg-final { scan-assembler _Z1gI1AEv1SIXadsrT_oncviEE } } +// { dg-final { scan-assembler _Z1gI1AEv1SIXadsrT_onmiIdEEE } } diff --git a/gcc/testsuite/g++.dg/dfp/mangle-1.C b/gcc/testsuite/g++.dg/dfp/mangle-1.C index 455d3e4..ee9644b 100644 --- a/gcc/testsuite/g++.dg/dfp/mangle-1.C +++ b/gcc/testsuite/g++.dg/dfp/mangle-1.C @@ -1,4 +1,5 @@ // { dg-do compile } +// { dg-options "-fabi-version=10" } // Mangling of classes from std::decimal are special-cased. // Derived from g++.dg/abi/mangle13.C. diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog index 104907c..0c5972a 100644 --- a/libiberty/ChangeLog +++ b/libiberty/ChangeLog @@ -1,5 +1,12 @@ 2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de> + PR PR c++/70182 + * cp-demangle.c (d_unqualified_name): Handle "on" for + operator names. + * testsuite/demangle-expected: Add tests. + +2017-01-18 Markus Trippelsdorf <markus@trippelsdorf.de> + PR c++/77489 * cp-demangle.c (d_discriminator): Handle discriminator >= 10. * testsuite/demangle-expected: Add tests for discriminator. diff --git a/libiberty/cp-demangle.c b/libiberty/cp-demangle.c index d84929e..f0dbf93 100644 --- a/libiberty/cp-demangle.c +++ b/libiberty/cp-demangle.c @@ -1594,6 +1594,8 @@ d_unqualified_name (struct d_info *di) ret = d_source_name (di); else if (IS_LOWER (peek)) { + if (peek == 'o' && d_peek_next_char (di) == 'n') + d_advance (di, 2); ret = d_operator_name (di); if (ret != NULL && ret->type == DEMANGLE_COMPONENT_OPERATOR) { diff --git a/libiberty/testsuite/demangle-expected b/libiberty/testsuite/demangle-expected index 07e258f..c1cfa15 100644 --- a/libiberty/testsuite/demangle-expected +++ b/libiberty/testsuite/demangle-expected @@ -4682,3 +4682,10 @@ _ZZ3foovE8localVar__9_ _ZZ3foovE8localVar__12 _ZZ3foovE8localVar__12 + +# PR 70182 +_Z1gI1AEv1SIXadsrT_onplEE +void g<A>(S<&A::operator+>) + +_Z1gI1AEv1SIXadsrT_plEE +void g<A>(S<&A::operator+>) |