[gcc r14-10548] c++: generic lambda in default template argument [PR88313]

https://gcc.gnu.org/g:81db6857686c2d7932949afb948419a575bc0b3f commit r14-10548-g81db6857686c2d7932949afb948419a575bc0b3f Author: Patrick Palka Date: Mon Jul 29 16:37:19 2024 -0400 c++: generic lambda in default template argument [PR88313] Here we're rejecting the generic lambda

[gcc r14-10547] c++: alias of alias tmpl with dependent attrs [PR115897]

https://gcc.gnu.org/g:37e54ffd2a0a18eec23c90bdf438c01a0393328a commit r14-10547-g37e54ffd2a0a18eec23c90bdf438c01a0393328a Author: Patrick Palka Date: Thu Jul 25 19:00:23 2024 -0400 c++: alias of alias tmpl with dependent attrs [PR115897] As a follow-up to

[gcc r14-10545] c++: normalizing ttp constraints [PR115656]

https://gcc.gnu.org/g:241f710c851aa6a8627c3ddba1e126d8e503e1b0 commit r14-10545-g241f710c851aa6a8627c3ddba1e126d8e503e1b0 Author: Patrick Palka Date: Tue Jul 23 13:16:14 2024 -0400 c++: normalizing ttp constraints [PR115656] Here we normalize the constraint same_as for the first

[gcc r14-10544] c++: missing SFINAE during alias CTAD [PR115296]

https://gcc.gnu.org/g:e548a881a4540378151f6195e47e8413fe75a0d6 commit r14-10544-ge548a881a4540378151f6195e47e8413fe75a0d6 Author: Patrick Palka Date: Tue Jul 23 11:37:31 2024 -0400 c++: missing SFINAE during alias CTAD [PR115296] During the alias CTAD transformation, if

[gcc r14-10543] c++: prev declared hidden tmpl friend inst [PR112288]

https://gcc.gnu.org/g:1287b4abc67a915ef6b63fb0753a0bea41de47f1 commit r14-10543-g1287b4abc67a915ef6b63fb0753a0bea41de47f1 Author: Patrick Palka Date: Wed Jul 17 21:02:52 2024 -0400 c++: prev declared hidden tmpl friend inst [PR112288] When partially instantiating a previously

[gcc r15-2387] c++: generic lambda in default template argument [PR88313]

https://gcc.gnu.org/g:72a7ab891ae0061841c4eb641ef6ab7719bf0369 commit r15-2387-g72a7ab891ae0061841c4eb641ef6ab7719bf0369 Author: Patrick Palka Date: Mon Jul 29 16:37:19 2024 -0400 c++: generic lambda in default template argument [PR88313] Here we're rejecting the generic lambda

gcc-wwwdocs branch master updated. e88adf00155f04f33f860b88c6ab7dae09d77225

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via e88adf00155f04f33f860b88c6ab7dae09d77225 (commit) from

[gcc r15-2331] c++: non-template alias with dependent attributes [PR115897]

https://gcc.gnu.org/g:523836716137d0f7f4088c85752a980f5f971b36 commit r15-2331-g523836716137d0f7f4088c85752a980f5f971b36 Author: Patrick Palka Date: Thu Jul 25 19:05:19 2024 -0400 c++: non-template alias with dependent attributes [PR115897] This patch generalizes our support for

[gcc r15-2330] c++: alias of alias tmpl with dependent attrs [PR115897]

https://gcc.gnu.org/g:9bcad238837e2100978cd839c343c488f72e1d4a commit r15-2330-g9bcad238837e2100978cd839c343c488f72e1d4a Author: Patrick Palka Date: Thu Jul 25 19:00:23 2024 -0400 c++: alias of alias tmpl with dependent attrs [PR115897] As a follow-up to r15-2047-g7954bb4fcb6fa8,

[gcc r15-2230] c++: normalizing ttp constraints [PR115656]

https://gcc.gnu.org/g:2861eb34e30973cb991a7964af7cfeae014a98b0 commit r15-2230-g2861eb34e30973cb991a7964af7cfeae014a98b0 Author: Patrick Palka Date: Tue Jul 23 13:16:14 2024 -0400 c++: normalizing ttp constraints [PR115656] Here we normalize the constraint same_as for the first

[gcc r15-2229] c++: missing SFINAE during alias CTAD [PR115296]

https://gcc.gnu.org/g:f70281222df432a7bec1271904c5ebefd7f2c934 commit r15-2229-gf70281222df432a7bec1271904c5ebefd7f2c934 Author: Patrick Palka Date: Tue Jul 23 11:37:31 2024 -0400 c++: missing SFINAE during alias CTAD [PR115296] During the alias CTAD transformation, if

[gcc r14-10498] c++/coroutines: correct passing *this to promise type [PR104981]

https://gcc.gnu.org/g:066c7893eae0bfc7d9b33b931f115f455246c914 commit r14-10498-g066c7893eae0bfc7d9b33b931f115f455246c914 Author: Patrick Palka Date: Mon Jul 22 21:30:49 2024 -0400 c++/coroutines: correct passing *this to promise type [PR104981] When passing *this to the promise

[gcc r14-10497] c++: xobj fn call without obj [PR115783]

https://gcc.gnu.org/g:50ff112d17ec53ccff2858f6ded9dc04b1d5d2bc commit r14-10497-g50ff112d17ec53ccff2858f6ded9dc04b1d5d2bc Author: Patrick Palka Date: Fri Jul 19 13:48:12 2024 -0400 c++: xobj fn call without obj [PR115783] The code path for rejecting an object-less call to a

[gcc r15-2210] c++/coroutines: correct passing *this to promise type [PR104981]

https://gcc.gnu.org/g:7c5a9bf1d206fe20cb050200d4a30f11c76b1b19 commit r15-2210-g7c5a9bf1d206fe20cb050200d4a30f11c76b1b19 Author: Patrick Palka Date: Mon Jul 22 21:30:49 2024 -0400 c++/coroutines: correct passing *this to promise type [PR104981] When passing *this to the promise

[gcc r15-2159] c++: xobj fn call without obj [PR115783]

https://gcc.gnu.org/g:2ee70c9f83a1033f2897a35bff9e9ffdd03cc651 commit r15-2159-g2ee70c9f83a1033f2897a35bff9e9ffdd03cc651 Author: Patrick Palka Date: Fri Jul 19 13:48:12 2024 -0400 c++: xobj fn call without obj [PR115783] The code path for rejecting an object-less call to a

[gcc r15-2154] c++: add fixed testcase [PR109464]

https://gcc.gnu.org/g:58a9f3ded1a0ccc2c8b0a42f976950041734798e commit r15-2154-g58a9f3ded1a0ccc2c8b0a42f976950041734798e Author: Patrick Palka Date: Fri Jul 19 11:08:09 2024 -0400 c++: add fixed testcase [PR109464] Seems to be fixed by r15-521-g6ad7ca1bb90573. PR

[gcc r15-2120] c++: prev declared hidden tmpl friend inst [PR112288]

https://gcc.gnu.org/g:30dd420a06ad7d2adf4a672d176caee632f8168a commit r15-2120-g30dd420a06ad7d2adf4a672d176caee632f8168a Author: Patrick Palka Date: Wed Jul 17 21:02:52 2024 -0400 c++: prev declared hidden tmpl friend inst [PR112288] When partially instantiating a previously

[gcc r15-2118] c++: missing -Wunused-value for ! [PR114104]

https://gcc.gnu.org/g:144b6099cdaa9ac1b298687c0cfdb06a970e338b commit r15-2118-g144b6099cdaa9ac1b298687c0cfdb06a970e338b Author: Patrick Palka Date: Wed Jul 17 20:57:54 2024 -0400 c++: missing -Wunused-value for ! [PR114104] Here we're neglecting to issue a -Wunused-value warning

[gcc r14-10450] c++: alias template with dependent attributes [PR115897]

https://gcc.gnu.org/g:2249c6348835c817f43c9fc55eac66e54ac1efeb commit r14-10450-g2249c6348835c817f43c9fc55eac66e54ac1efeb Author: Patrick Palka Date: Mon Jul 15 18:07:55 2024 -0400 c++: alias template with dependent attributes [PR115897] Here we're prematurely stripping the

[gcc r14-10451] c++: constrained partial spec type context [PR111890]

https://gcc.gnu.org/g:1bbfe788d1a76979e5be14169248bc34106e9c03 commit r14-10451-g1bbfe788d1a76979e5be14169248bc34106e9c03 Author: Patrick Palka Date: Wed Jul 17 11:08:35 2024 -0400 c++: constrained partial spec type context [PR111890] maybe_new_partial_specialization wasn't

[gcc r14-10449] c++: bad 'this' conversion for nullary memfn [PR106760]

https://gcc.gnu.org/g:79c5a09f959dc63824bd005522a072424f16d89d commit r14-10449-g79c5a09f959dc63824bd005522a072424f16d89d Author: Patrick Palka Date: Fri Jun 28 19:45:21 2024 -0400 c++: bad 'this' conversion for nullary memfn [PR106760] Here we notice the 'this' conversion for

[gcc r15-2098] c++: constrained partial spec type context [PR111890]

https://gcc.gnu.org/g:247335823f420eb1dd56f4bf32ac78d441f5ccc2 commit r15-2098-g247335823f420eb1dd56f4bf32ac78d441f5ccc2 Author: Patrick Palka Date: Wed Jul 17 11:08:35 2024 -0400 c++: constrained partial spec type context [PR111890] maybe_new_partial_specialization wasn't

[gcc r15-2047] c++: alias template with dependent attributes [PR115897]

https://gcc.gnu.org/g:7954bb4fcb6fa80f6bb840133314885011821188 commit r15-2047-g7954bb4fcb6fa80f6bb840133314885011821188 Author: Patrick Palka Date: Mon Jul 15 18:07:55 2024 -0400 c++: alias template with dependent attributes [PR115897] Here we're prematurely stripping the

[gcc r15-1717] c++: bad 'this' conversion for nullary memfn [PR106760]

https://gcc.gnu.org/g:50073ffae0a9b8feb9b36fdafdebd9885f6d7dc8 commit r15-1717-g50073ffae0a9b8feb9b36fdafdebd9885f6d7dc8 Author: Patrick Palka Date: Fri Jun 28 19:45:21 2024 -0400 c++: bad 'this' conversion for nullary memfn [PR106760] Here we notice the 'this' conversion for the

[gcc r14-10359] c++: decltype of capture proxy of ref [PR115504]

https://gcc.gnu.org/g:e6b115be1c392de415925282a38f28cd78cb6c35 commit r14-10359-ge6b115be1c392de415925282a38f28cd78cb6c35 Author: Patrick Palka Date: Tue Jun 25 20:07:15 2024 -0400 c++: decltype of capture proxy of ref [PR115504] The finish_decltype_type capture proxy handling

[gcc r14-10357] c++: using non-dep array var of unknown bound [PR115358]

https://gcc.gnu.org/g:33a9c4dd5fcac7e3f5d835b35fe787126339dd2b commit r14-10357-g33a9c4dd5fcac7e3f5d835b35fe787126339dd2b Author: Patrick Palka Date: Tue Jun 25 10:42:21 2024 -0400 c++: using non-dep array var of unknown bound [PR115358] For a non-dependent array variable of

[gcc r14-10358] c++: alias CTAD and copy deduction guide [PR115198]

https://gcc.gnu.org/g:a00a8d46ea6ff7130e2493e7bd9824e28e2509b7 commit r14-10358-ga00a8d46ea6ff7130e2493e7bd9824e28e2509b7 Author: Patrick Palka Date: Tue Jun 25 12:59:24 2024 -0400 c++: alias CTAD and copy deduction guide [PR115198] Here we're neglecting to update DECL_NAME

[gcc r15-1631] c++: decltype of capture proxy of ref [PR115504]

https://gcc.gnu.org/g:737449e5f233feb682b5dd2cc153892ad90a79bd commit r15-1631-g737449e5f233feb682b5dd2cc153892ad90a79bd Author: Patrick Palka Date: Tue Jun 25 20:07:15 2024 -0400 c++: decltype of capture proxy of ref [PR115504] The finish_decltype_type capture proxy handling

[gcc r15-1615] c++: alias CTAD and copy deduction guide [PR115198]

https://gcc.gnu.org/g:06ebb7c6f31fe42ffdea6f51ac1ba1f6b058c090 commit r15-1615-g06ebb7c6f31fe42ffdea6f51ac1ba1f6b058c090 Author: Patrick Palka Date: Tue Jun 25 12:59:24 2024 -0400 c++: alias CTAD and copy deduction guide [PR115198] Here we're neglecting to update DECL_NAME during

[gcc r15-1614] c++: using non-dep array var of unknown bound [PR115358]

https://gcc.gnu.org/g:e3915c1ad56591cbd68229a64c941c38330abd69 commit r15-1614-ge3915c1ad56591cbd68229a64c941c38330abd69 Author: Patrick Palka Date: Tue Jun 25 10:42:21 2024 -0400 c++: using non-dep array var of unknown bound [PR115358] For a non-dependent array variable of

[gcc r14-10320] c++: undeclared identifier in requires-clause [PR99678]

https://gcc.gnu.org/g:20cda2e85c307096a3856f7f27215b8a28982fb6 commit r14-10320-g20cda2e85c307096a3856f7f27215b8a28982fb6 Author: Patrick Palka Date: Thu Jun 13 10:16:10 2024 -0400 c++: undeclared identifier in requires-clause [PR99678] Since the terms of a requires-clause are

[gcc r14-10319] c++: ICE w/ ambig and non-strictly-viable cands [PR115239]

https://gcc.gnu.org/g:4df86402990e2f45e02a367f1734a22ebc041e98 commit r14-10319-g4df86402990e2f45e02a367f1734a22ebc041e98 Author: Patrick Palka Date: Thu Jun 13 10:02:43 2024 -0400 c++: ICE w/ ambig and non-strictly-viable cands [PR115239] Here during overload resolution we have

[gcc r14-10318] c++: visibility wrt concept-id as targ [PR115283]

https://gcc.gnu.org/g:9583f781e17d4da881ee64db43af939402331413 commit r14-10318-g9583f781e17d4da881ee64db43af939402331413 Author: Patrick Palka Date: Wed Jun 12 20:05:05 2024 -0400 c++: visibility wrt concept-id as targ [PR115283] Like with alias templates, it seems we don't

[gcc r15-1294] c++: undeclared identifier in requires-clause [PR99678]

https://gcc.gnu.org/g:d387ecb2b2f44f33fd6a7c5ec7eadaf6dd70efc9 commit r15-1294-gd387ecb2b2f44f33fd6a7c5ec7eadaf6dd70efc9 Author: Patrick Palka Date: Thu Jun 13 10:16:10 2024 -0400 c++: undeclared identifier in requires-clause [PR99678] Since the terms of a requires-clause are

[gcc r15-1292] c++: ICE w/ ambig and non-strictly-viable cands [PR115239]

https://gcc.gnu.org/g:7fed7e9bbc57d502e141e079a6be2706bdbd4560 commit r15-1292-g7fed7e9bbc57d502e141e079a6be2706bdbd4560 Author: Patrick Palka Date: Thu Jun 13 10:02:43 2024 -0400 c++: ICE w/ ambig and non-strictly-viable cands [PR115239] Here during overload resolution we have

[gcc r15-1227] c++: visibility wrt concept-id as targ [PR115283]

https://gcc.gnu.org/g:b1fe718cbe0c8883af89f52e0aad3ebf913683de commit r15-1227-gb1fe718cbe0c8883af89f52e0aad3ebf913683de Author: Patrick Palka Date: Wed Jun 12 20:05:05 2024 -0400 c++: visibility wrt concept-id as targ [PR115283] Like with alias templates, it seems we don't

[gcc r14-10301] c++: lambda in pack expansion [PR115378]

https://gcc.gnu.org/g:ff8105b4910f7dbee326cb36b01c16ac9bf10c4b commit r14-10301-gff8105b4910f7dbee326cb36b01c16ac9bf10c4b Author: Patrick Palka Date: Fri Jun 7 12:12:30 2024 -0400 c++: lambda in pack expansion [PR115378] Here find_parameter_packs_r is incorrectly treating the

[gcc r15-1103] c++: lambda in pack expansion [PR115378]

https://gcc.gnu.org/g:5c761395402a730535983a5e49ef1775561ebc61 commit r15-1103-g5c761395402a730535983a5e49ef1775561ebc61 Author: Patrick Palka Date: Fri Jun 7 12:12:30 2024 -0400 c++: lambda in pack expansion [PR115378] Here find_parameter_packs_r is incorrectly treating the

[gcc r15-892] c++: canonicity of fn types w/ instantiated eh specs [PR115223]

https://gcc.gnu.org/g:58b8c87b7fb281e35a6817cc91a292096fdc02dc commit r15-892-g58b8c87b7fb281e35a6817cc91a292096fdc02dc Author: Patrick Palka Date: Wed May 29 04:49:37 2024 -0400 c++: canonicity of fn types w/ instantiated eh specs [PR115223] When propagating structural equality

[gcc r15-779] c++: canonicity of fn types w/ complex eh specs [PR115159]

https://gcc.gnu.org/g:3c98d06a9016a0fa3a806879bd168f13b8a606f8 commit r15-779-g3c98d06a9016a0fa3a806879bd168f13b8a606f8 Author: Patrick Palka Date: Wed May 22 17:45:04 2024 -0400 c++: canonicity of fn types w/ complex eh specs [PR115159] Here the member functions QList::g and

[gcc r14-10226] c++: folding non-dep enumerator from current inst [PR115139]

https://gcc.gnu.org/g:caf43cc9e5c0b3265b55e5a0dc77fc55e9618c77 commit r14-10226-gcaf43cc9e5c0b3265b55e5a0dc77fc55e9618c77 Author: Patrick Palka Date: Tue May 21 15:54:10 2024 -0400 c++: folding non-dep enumerator from current inst [PR115139] After the tsubst_copy removal

[gcc r15-759] c++: folding non-dep enumerator from current inst [PR115139]

https://gcc.gnu.org/g:f0c0bced62b9c728ed1e672747aa234d918da22c commit r15-759-gf0c0bced62b9c728ed1e672747aa234d918da22c Author: Patrick Palka Date: Tue May 21 15:54:10 2024 -0400 c++: folding non-dep enumerator from current inst [PR115139] After the tsubst_copy removal

[gcc r14-10221] c++: aggregate CTAD w/ paren init and bases [PR115114]

https://gcc.gnu.org/g:a9837934203d41c96b5cf05e34f68c0d3311c973 commit r14-10221-ga9837934203d41c96b5cf05e34f68c0d3311c973 Author: Patrick Palka Date: Fri May 17 09:02:52 2024 -0400 c++: aggregate CTAD w/ paren init and bases [PR115114] During aggregate CTAD with paren init, we're

[gcc r14-10220] c++: lvalueness of non-dependent assignment expr [PR114994]

https://gcc.gnu.org/g:b3399b445ba7495b0479d43f2389e64d48de870e commit r14-10220-gb3399b445ba7495b0479d43f2389e64d48de870e Author: Patrick Palka Date: Tue May 14 22:55:16 2024 -0400 c++: lvalueness of non-dependent assignment expr [PR114994] r14-4111-g6e92a6a2a72d3b made us check

[gcc r15-630] c++: aggregate CTAD w/ paren init and bases [PR115114]

https://gcc.gnu.org/g:5aaf47cb1987bbc5508c4b9b7dad5ea7d69af2c2 commit r15-630-g5aaf47cb1987bbc5508c4b9b7dad5ea7d69af2c2 Author: Patrick Palka Date: Fri May 17 09:02:52 2024 -0400 c++: aggregate CTAD w/ paren init and bases [PR115114] During aggregate CTAD with paren init, we're

[gcc r15-498] c++: lvalueness of non-dependent assignment expr [PR114994]

https://gcc.gnu.org/g:c6cc6d4741a880109c4e0e64d5a189687fb526f6 commit r15-498-gc6cc6d4741a880109c4e0e64d5a189687fb526f6 Author: Patrick Palka Date: Tue May 14 22:55:16 2024 -0400 c++: lvalueness of non-dependent assignment expr [PR114994] r14-4111-g6e92a6a2a72d3b made us check

[gcc r13-8767] c++: build_extra_args recapturing local specs [PR114303]

https://gcc.gnu.org/g:47cac09307874ff1d640392e3d986453f34f7bcb commit r13-8767-g47cac09307874ff1d640392e3d986453f34f7bcb Author: Patrick Palka Date: Thu Apr 11 10:16:41 2024 -0400 c++: build_extra_args recapturing local specs [PR114303] r13-6452-g341e6cd8d603a3 made

[gcc r15-438] c++: replace tf_norm with a local flag

https://gcc.gnu.org/g:67476ba8adb432033993f429b1aa4ee5689fa046 commit r15-438-g67476ba8adb432033993f429b1aa4ee5689fa046 Author: Patrick Palka Date: Mon May 13 15:46:55 2024 -0400 c++: replace tf_norm with a local flag The tf_norm flag controlling whether to build diagnostic

[gcc r13-8765] c++: constexpr union member access folding [PR114709]

https://gcc.gnu.org/g:d3659e2dfcc6db83391cd2c6d70097cba35eb4b9 commit r13-8765-gd3659e2dfcc6db83391cd2c6d70097cba35eb4b9 Author: Patrick Palka Date: Wed Apr 24 17:49:56 2024 -0400 c++: constexpr union member access folding [PR114709] The object/offset canonicalization performed

[gcc r14-10201] c++: nested aggregate/alias CTAD fixes [PR114974, PR114901, PR114903]

https://gcc.gnu.org/g:57cd8665fea4c339369a43be017583621aa82fed commit r14-10201-g57cd8665fea4c339369a43be017583621aa82fed Author: Patrick Palka Date: Mon May 13 09:53:40 2024 -0400 c++: nested aggregate/alias CTAD fixes [PR114974, PR114901, PR114903] During maybe_aggr_guide with

[gcc r15-434] c++: nested aggregate/alias CTAD fixes [PR114974, PR114901, PR114903]

https://gcc.gnu.org/g:6d31a370e26eeb950c326332633b3e8e84b6630b commit r15-434-g6d31a370e26eeb950c326332633b3e8e84b6630b Author: Patrick Palka Date: Mon May 13 09:53:40 2024 -0400 c++: nested aggregate/alias CTAD fixes [PR114974, PR114901, PR114903] During maybe_aggr_guide with a

[gcc r14-10176] c++/modules: imported spec befriending class tmpl [PR114889]

https://gcc.gnu.org/g:390bd23fd9c98dc40856beef05364f5d1c7b9d04 commit r14-10176-g390bd23fd9c98dc40856beef05364f5d1c7b9d04 Author: Patrick Palka Date: Mon Apr 29 21:27:59 2024 -0400 c++/modules: imported spec befriending class tmpl [PR114889] When adding to

[gcc r15-123] c++: remove lookup_template_class's entering_scope flag

https://gcc.gnu.org/g:f04dc89a991ddc6c08ac92c8ad29c6915c4ecafa commit r15-123-gf04dc89a991ddc6c08ac92c8ad29c6915c4ecafa Author: Patrick Palka Date: Thu May 2 21:14:30 2024 -0400 c++: remove lookup_template_class's entering_scope flag lookup_template_class's entering_scope flag

[gcc r13-8670] c++: problematic assert in reference_binding [PR113141]

https://gcc.gnu.org/g:c70abea054fe0021b7b2c2e07996afaadc17a07b commit r13-8670-gc70abea054fe0021b7b2c2e07996afaadc17a07b Author: Patrick Palka Date: Wed May 1 18:16:08 2024 -0400 c++: problematic assert in reference_binding [PR113141] r14-9946 / r14-9947 fixed this PR properly

[gcc r15-57] c++/modules: imported spec befriending class tmpl [PR114889]

https://gcc.gnu.org/g:22b20ac6c6aead2d3f36c413a77dd0b80adfec39 commit r15-57-g22b20ac6c6aead2d3f36c413a77dd0b80adfec39 Author: Patrick Palka Date: Mon Apr 29 21:27:59 2024 -0400 c++/modules: imported spec befriending class tmpl [PR114889] When adding to

[gcc r14-10149] c++: ICE with templated sizeof(E1) / sizeof(E2) [PR114888]

https://gcc.gnu.org/g:3c925ac349b03ae9439c632fb1c042cdc8d78f40 commit r14-10149-g3c925ac349b03ae9439c632fb1c042cdc8d78f40 Author: Patrick Palka Date: Mon Apr 29 21:14:18 2024 -0400 c++: ICE with templated sizeof(E1) / sizeof(E2) [PR114888] In the sizeof / sizeof operator

[gcc r15-56] c++: ICE with templated sizeof(E1) / sizeof(E2) [PR114888]

https://gcc.gnu.org/g:3900e944b0ac9db77380c5bb8635977dfd3b0691 commit r15-56-g3900e944b0ac9db77380c5bb8635977dfd3b0691 Author: Patrick Palka Date: Mon Apr 29 21:14:18 2024 -0400 c++: ICE with templated sizeof(E1) / sizeof(E2) [PR114888] In the sizeof / sizeof operator expression

[gcc r14-10140] c++: fix source printing for "required from here" message

https://gcc.gnu.org/g:c014cfd8853240827feb3a4cef92403e83cd4265 commit r14-10140-gc014cfd8853240827feb3a4cef92403e83cd4265 Author: Patrick Palka Date: Fri Apr 26 07:44:25 2024 -0400 c++: fix source printing for "required from here" message It seems the diagnostic machinery's

[gcc r15-4] c++: fix source printing for "required from here" message

https://gcc.gnu.org/g:7d5479a2ecf6309281de10b747a7423169a2ff95 commit r15-4-g7d5479a2ecf6309281de10b747a7423169a2ff95 Author: Patrick Palka Date: Fri Apr 26 07:44:25 2024 -0400 c++: fix source printing for "required from here" message It seems the diagnostic machinery's source

[gcc r14-10111] c++/modules testsuite: restrict expensive pr99023 test

https://gcc.gnu.org/g:26a3edbe2357cf975f345ad1b59b9f9a3444316e commit r14-10111-g26a3edbe2357cf975f345ad1b59b9f9a3444316e Author: Patrick Palka Date: Wed Apr 24 17:51:54 2024 -0400 c++/modules testsuite: restrict expensive pr99023 test The pr99023 testcase uses

[gcc r14-10110] c++: constexpr union member access folding [PR114709]

https://gcc.gnu.org/g:0844170e9ef60a8b2f6fba6786672f30ce1c2749 commit r14-10110-g0844170e9ef60a8b2f6fba6786672f30ce1c2749 Author: Patrick Palka Date: Wed Apr 24 17:49:56 2024 -0400 c++: constexpr union member access folding [PR114709] The object/offset canonicalization performed

[gcc r14-10096] c++/modules: deduced return type merging [PR114795]

https://gcc.gnu.org/g:4f9401d1a802325e5dfa2db841945e1a9c59a980 commit r14-10096-g4f9401d1a802325e5dfa2db841945e1a9c59a980 Author: Patrick Palka Date: Tue Apr 23 14:01:22 2024 -0400 c++/modules: deduced return type merging [PR114795] When merging an imported function template

[gcc r13-8608] c++: requires-exprs and partial constraint subst [PR110006]

https://gcc.gnu.org/g:38c2679ff9330d3ac1d5d86459294446733a435a commit r13-8608-g38c2679ff9330d3ac1d5d86459294446733a435a Author: Patrick Palka Date: Fri Feb 2 19:07:08 2024 -0500 c++: requires-exprs and partial constraint subst [PR110006] In r11-3261-gb28b621ac67bee we made

[gcc r14-9956] c++/modules: make bits_in/out move-constructible

https://gcc.gnu.org/g:da375baf54944298303f13c375a5756c6131d672 commit r14-9956-gda375baf54944298303f13c375a5756c6131d672 Author: Patrick Palka Date: Sat Apr 13 16:06:28 2024 -0400 c++/modules: make bits_in/out move-constructible gcc/cp/ChangeLog: * module.cc

[gcc r14-9955] c++/modules: optimize tree flag streaming

https://gcc.gnu.org/g:436ab7e8e8b16866d8a807af242560ad4fdff0d6 commit r14-9955-g436ab7e8e8b16866d8a807af242560ad4fdff0d6 Author: Patrick Palka Date: Sat Apr 13 10:52:32 2024 -0400 c++/modules: optimize tree flag streaming One would expect consecutive calls to bytes_in/out::b for

[gcc r14-9948] c++/modules: local type merging [PR99426]

https://gcc.gnu.org/g:716af95fd454871473c4b118b8412b6a68459b75 commit r14-9948-g716af95fd454871473c4b118b8412b6a68459b75 Author: Patrick Palka Date: Fri Apr 12 15:50:04 2024 -0400 c++/modules: local type merging [PR99426] One known missing piece in the modules implementation is

[gcc r14-9943] c++: templated substitution into lambda-expr, cont [PR114393]

https://gcc.gnu.org/g:d74fe10b13336b9de2e025ced4af00a25ff1d3e7 commit r14-9943-gd74fe10b13336b9de2e025ced4af00a25ff1d3e7 Author: Patrick Palka Date: Fri Apr 12 14:52:31 2024 -0400 c++: templated substitution into lambda-expr, cont [PR114393] The original PR114393 testcase is

[gcc r14-9938] c++: templated substitution into lambda-expr [PR114393]

https://gcc.gnu.org/g:081c1e93d56d35c7314ed68e6d87628b430de917 commit r14-9938-g081c1e93d56d35c7314ed68e6d87628b430de917 Author: Patrick Palka Date: Fri Apr 12 08:59:27 2024 -0400 c++: templated substitution into lambda-expr [PR114393] The below testcases use a lambda-expr as a

[gcc r14-9916] c++: build_extra_args recapturing local specs [PR114303]

https://gcc.gnu.org/g:b262b17636e47ae969a74f16e86ccb00678d5e88 commit r14-9916-gb262b17636e47ae969a74f16e86ccb00678d5e88 Author: Patrick Palka Date: Thu Apr 11 10:16:41 2024 -0400 c++: build_extra_args recapturing local specs [PR114303] r13-6452-g341e6cd8d603a3 made

[gcc r14-9673] c++/modules testsuite: fix a couple of dg-module-do directives

https://gcc.gnu.org/g:2f47ca046eecf8f2fcae23df3ccee44d943ef512 commit r14-9673-g2f47ca046eecf8f2fcae23df3ccee44d943ef512 Author: Patrick Palka Date: Tue Mar 26 10:21:53 2024 -0400 c++/modules testsuite: fix a couple of dg-module-do directives gcc/testsuite/ChangeLog:

[gcc r14-9374] c++/modules: member alias tmpl partial inst [PR103994]

https://gcc.gnu.org/g:f5c1224708a0cf9cc2770c44bbbe7d0c883942be commit r14-9374-gf5c1224708a0cf9cc2770c44bbbe7d0c883942be Author: Patrick Palka Date: Thu Mar 7 16:39:20 2024 -0500 c++/modules: member alias tmpl partial inst [PR103994] Alias templates are weird in that their

[gcc r14-9372] c++/modules: inline namespace abi_tag streaming [PR110730]

https://gcc.gnu.org/g:0552560f6d2eaa1ae6df5c80660b489de1d5c772 commit r14-9372-g0552560f6d2eaa1ae6df5c80660b489de1d5c772 Author: Patrick Palka Date: Thu Mar 7 16:23:22 2024 -0500 c++/modules: inline namespace abi_tag streaming [PR110730] The unreduced testcase from PR110730

[gcc r14-9327] c++/modules: befriending template from current class scope

https://gcc.gnu.org/g:b0d11bb02a4a4c7d61e9b53411ccdc54610b1429 commit r14-9327-gb0d11bb02a4a4c7d61e9b53411ccdc54610b1429 Author: Patrick Palka Date: Tue Mar 5 20:36:36 2024 -0500 c++/modules: befriending template from current class scope Here the TEMPLATE_DECL representing the

Re: [PATCH] c++: optimize tsubst_template_decl for function templates

On Mon, Sep 18, 2023 at 9:36 AM Jason Merrill wrote: > > On 9/18/23 08:58, Patrick Palka wrote: > > On Sun, 17 Sep 2023, Jason Merrill wrote: > > > >> On 9/17/23 15:13, Patrick Palka wrote: > >>> Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for > >>> trunk? > >>> > >>> --

Re: [PATCH v2 2/2] c++: convert_to_void and volatile references

On Mon, 18 Sep 2023, Patrick Palka wrote: > Jason pointed out that even implicit loads of volatile references need > to undergo lvalue-to-rvalue conversion, but we currently emit a warning > in this case and discard the load. This patch changes this behavior so > that we don't issue a warning,

Re: [PATCH v2 1/2] c++: overeager type completion in convert_to_void [PR111419]

On Mon, 18 Sep 2023, Patrick Palka wrote: > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for > trunk? > > -- >8 -- > > Here convert_to_void always completes the type of an indirection or > id-expression, but according to [expr.context] an lvalue-to-rvalue > conversion is

[PATCH v2 2/2] c++: convert_to_void and volatile references

Jason pointed out that even implicit loads of volatile references need to undergo lvalue-to-rvalue conversion, but we currently emit a warning in this case and discard the load. This patch changes this behavior so that we don't issue a warning, and preserve the load. gcc/cp/ChangeLog: *

Re: [PATCH] c++: overeager type completion in convert_to_void [PR111419]

On Mon, 18 Sep 2023, Patrick Palka wrote: > On Sun, 17 Sep 2023, Jason Merrill wrote: > > > On 9/16/23 17:41, Patrick Palka wrote: > > > On Sat, 16 Sep 2023, Jason Merrill wrote: > > > > > > > On 9/15/23 12:03, Patrick Palka wrote: > > > > > Bootstrapped and regtested on x86_64-pc-linux-gnu,

[PATCH v2 1/2] c++: overeager type completion in convert_to_void [PR111419]

Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- Here convert_to_void always completes the type of an indirection or id-expression, but according to [expr.context] an lvalue-to-rvalue conversion is applied to a discarded-value expression only if "the

Re: [PATCH] c++: overeager type completion in convert_to_void [PR111419]

On Sun, 17 Sep 2023, Jason Merrill wrote: > On 9/16/23 17:41, Patrick Palka wrote: > > On Sat, 16 Sep 2023, Jason Merrill wrote: > > > > > On 9/15/23 12:03, Patrick Palka wrote: > > > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for > > > > trunk? > > > > > > > > -- >8

Re: [PATCH] c++: non-dependent assignment checking [PR63198, PR18474]

On Sun, 17 Sep 2023, Jason Merrill wrote: > On 9/17/23 14:51, Patrick Palka wrote: > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for > > trunk? Patch generatde with -w to avoid noisy whitespace changes. > > > > -- >8 -- > > > > This patch makes us recognize and check

Re: [PATCH] c++: optimize tsubst_template_decl for function templates

On Sun, 17 Sep 2023, Jason Merrill wrote: > On 9/17/23 15:13, Patrick Palka wrote: > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for > > trunk? > > > > -- >8 -- > > > > r14-2655-g92d1425ca78040 made instantiate_template avoid redundantly > > performing a

[PATCH] c++: optimize tsubst_template_decl for function templates

Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- r14-2655-g92d1425ca78040 made instantiate_template avoid redundantly performing a specialization lookup when instantiating a function or alias template. This patch applies the same optimization to

[PATCH] c++: non-dependent assignment checking [PR63198, PR18474]

Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? Patch generatde with -w to avoid noisy whitespace changes. -- >8 -- This patch makes us recognize and check non-dependent simple assigments ahead of time, like we already do for compound assignments. This means the

Re: [PATCH] c++: constness of decltype of NTTP object [PR98820]

On Sat, 16 Sep 2023, Jason Merrill wrote: > On 9/15/23 13:55, Patrick Palka wrote: > > This corrects decltype of a (class) NTTP object as per > > [dcl.type.decltype]/1.2 and [temp.param]/6 in the type-dependent case. > > In the non-dependent case (nontype-class8.C) we resolve the decltype > >

Re: [PATCH] c++: overeager type completion in convert_to_void [PR111419]

On Sat, 16 Sep 2023, Jason Merrill wrote: > On 9/15/23 12:03, Patrick Palka wrote: > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for > > trunk? > > > > -- >8 -- > > > > Here convert_to_void always completes the type of an INDIRECT_REF or > > VAR_DECL expression, but

[PATCH] c++: constness of decltype of NTTP object [PR98820]

bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk/13? -- >8 -- This corrects decltype of a (class) NTTP object as per [dcl.type.decltype]/1.2 and [temp.param]/6 in the type-dependent case. In the non-dependent case (nontype-class8.C) we resolve the decltype ahead of

[PATCH] c++: visibility wrt template and ptrmem targs [PR70413]

Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- When constraining the visibility of an instantiation, we weren't properly considering the visibility of PTRMEM_CST and TEMPLATE_DECL template arguments. PR c++/70413 gcc/cp/ChangeLog: *

[PATCH] c++: overeager type completion in convert_to_void [PR111419]

Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- Here convert_to_void always completes the type of an INDIRECT_REF or VAR_DECL expression, but according to [expr.context] an lvalue-to-rvalue conversion is applied to a discarded-value expression only if

Re: [PATCH] libstdc++: Use C++20 constraints in

On Thu, 14 Sep 2023, Jonathan Wakely wrote: > On Thu, 14 Sept 2023 at 15:13, Patrick Palka via Libstdc++ > wrote: > > > > Tested on x86_64-pc-linux-gnu, does this look OK for trunk? > > > > -- >8 -- > > > > By now it's probably safe to assume supported compilers have full > > concepts support in

[PATCH] libstdc++: Use C++20 constraints in

Tested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- By now it's probably safe to assume supported compilers have full concepts support in C++20 mode. And using a requires-clase instead enable_if_t inside the return type greatly reduces the sizes of the corresponding symbol

[PATCH] libstdc++: Reduce integer std::to/from_chars symbol sizes

Tested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- For std::to_chars: The constrained alias __integer_to_chars_result_type seems unnecessary ever since r10-3080-g28f0075742ed58 got rid of the only public overload which used it. Now only non-public overloads are constrained by

[PATCH] c++: optimize unification of class specializations [PR89231]

Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- Since the LHS of a qualified-id is a non-deduced context, it effectively means we can't deduce from outer template arguments of a class template specialization. And checking for equality between the

[PATCH] c++: unifying identical tmpls from current inst [PR108347]

Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- Here more_specialized_partial_spec considers the two partial specializations to be unordered ultimately because unify for identical parm=arg=A::C returns failure due to C being dependent. This patch fixes

[PATCH] c++: always check arity before deduction

Bootstrpaped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- This simple patch extends the r12-3271-gf1e73199569287 optimization to apply to deduction without explicit template arguments as well. The motivation for this is to accept testcases such as conv20.C and

Re: [PATCH 1/3] libstdc++: Remove std::bind_front specialization for no bound args

On Mon, 11 Sep 2023, Patrick Palka wrote: > This specialization for the case of no bound args, added by > r13-4214-gcbd05ca5ab1231, seems to be mostly obsoleted by > r13-5033-ge2eab3c4edb6aa which added [[no_unique_address]] to the > main template's data members. And the compile time advantage

[PATCH 3/3] libstdc++: Fix std::not_fn perfect forwarding [PR111327]

The previous patch fixed perfect forwarding for std::bind_front. This patch fixes the same issue for std::not_fn. Tested on x86_64-pc-linux-gnu, does this look OK for trunk and perhaps 13? PR libstdc++/111327 libstdc++-v3/ChangeLog: * include/std/functional

[PATCH 2/3] libstdc++: Fix std::bind_front perfect forwarding [PR111327]

In order to properly implement a perfect forwarding call wrapper (before 'deducing this' at least) we need a total of 8 operator() overloads, 4 main ones and 4 deleted ones for each const/ref qual pair, as described in section 5.5 of P0847R6. Otherwise the wrapper may not perfectly forward

[PATCH 1/3] libstdc++: Remove std::bind_front specialization for no bound args

This specialization for the case of no bound args, added by r13-4214-gcbd05ca5ab1231, seems to be mostly obsoleted by r13-5033-ge2eab3c4edb6aa which added [[no_unique_address]] to the main template's data members. And the compile time advantage of avoiding an empty tuple and index_sequence seems

Re: [PATCH] libstdc++ Use _GLIBCXX_USE_BUILTIN_TRAIT

On Mon, 11 Sep 2023, Ken Matsui via Gcc-patches wrote: > This patch uses _GLIBCXX_USE_BUILTIN_TRAIT macro instead of __has_builtin in > the type_traits header for traits that have a corresponding fallback > non-built-in implementation. This macro supports to toggle the use of built-in > traits in

  1   2   3   4   5   6   7   8   9   10   >