Summary: | Template instantiation generating a zero-sized array doesn't fail | ||
---|---|---|---|
Product: | gcc | Reporter: | Joshua Conner <jconner> |
Component: | c++ | Assignee: | Not yet assigned to anyone <unassigned> |
Status: | NEW --- | ||
Severity: | normal | CC: | felix.morgner, gcc-bugs, tangyixuan, webrown.cpp |
Priority: | P3 | Keywords: | rejects-valid |
Version: | 4.1.0 | ||
Target Milestone: | --- | ||
See Also: |
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71007 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114479 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24664 |
||
Host: | Target: | ||
Build: | Known to work: | ||
Known to fail: | 2.95.3, 3.2.3, 3.3.3, 3.4.0, 4.0.0, 4.1.0 | Last reconfirmed: | 2021-08-01 00:00:00 |
Bug Depends on: | |||
Bug Blocks: | 24666, 101239 |
Description
Joshua Conner
2005-11-04 02:09:29 UTC
Confirmed, I think this is another case of the arrays decaying too early. Note you are most likely right that GCC is applying pointers to array too early, see the meta-bug (PR 24666) which I just filed after you filed these two bugs, there were two other bugs about arrays decaying too early to pointers. Author: ppalka Date: Tue Jan 19 00:19:16 2016 New Revision: 232547 URL: https://gcc.gnu.org/viewcvs?rev=232547&root=gcc&view=rev Log: Fix the remaining PR c++/24666 blockers (arrays decay to pointers too early) gcc/cp/ChangeLog: PR c++/11858 PR c++/24663 PR c++/24664 * decl.c (grokdeclarator): Don't decay array parameter type to a pointer type if it's dependent. (grokparms): Invoke strip_top_quals instead of directly invoking cp_build_qualified_type. * pt.c (decay_dependent_array_parm_type): New static function. (type_unification_real): Call decay_dependent_array_parm_type to decay a dependent array parameter type to its corresponding pointer type before unification. (more_specialized_fn): Likewise. (get_bindings): Likewise. * tree.c (cp_build_qualified_type): Trivial typofix in documentation. gcc/testsuite/ChangeLog: PR c++/11858 PR c++/24663 PR c++/24664 * g++.dg/template/pr11858.C: New test. * g++.dg/template/pr24663.C: New test. * g++.dg/template/unify12.C: New test. * g++.dg/template/unify13.C: New test. * g++.dg/template/unify14.C: New test. * g++.dg/template/unify15.C: New test. * g++.dg/template/unify16.C: New test. * g++.dg/template/unify17.C: New test. Added: trunk/gcc/testsuite/g++.dg/template/pr11858.C trunk/gcc/testsuite/g++.dg/template/pr24663.C trunk/gcc/testsuite/g++.dg/template/unify12.C trunk/gcc/testsuite/g++.dg/template/unify13.C trunk/gcc/testsuite/g++.dg/template/unify14.C trunk/gcc/testsuite/g++.dg/template/unify15.C trunk/gcc/testsuite/g++.dg/template/unify16.C trunk/gcc/testsuite/g++.dg/template/unify17.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/decl.c trunk/gcc/cp/pt.c trunk/gcc/cp/tree.c trunk/gcc/testsuite/ChangeLog Fixed for GCC 6. Author: ppalka Date: Sun Jan 24 17:45:21 2016 New Revision: 232778 URL: https://gcc.gnu.org/viewcvs?rev=232778&root=gcc&view=rev Log: Revert "Fix the remaining PR c++/24666 blockers" gcc/cp/ChangeLog: Revert: 2016-01-18 Patrick Palka <ppalka@gcc.gnu.org> PR c++/11858 PR c++/24663 PR c++/24664 * decl.c (grokdeclarator): Don't decay array parameter type to a pointer type if it's dependent. (grokparms): Invoke strip_top_quals instead of directly invoking cp_build_qualified_type. * pt.c (decay_dependent_array_parm_type): New static function. (type_unification_real): Call decay_dependent_array_parm_type to decay a dependent array parameter type to its corresponding pointer type before unification. (more_specialized_fn): Likewise. (get_bindings): Likewise. * tree.c (cp_build_qualified_type): Trivial typofix in documentation. gcc/testsuite/ChangeLog: Revert: 2016-01-18 Patrick Palka <ppalka@gcc.gnu.org> PR c++/11858 PR c++/24663 PR c++/24664 * g++.dg/template/pr11858.C: New test. * g++.dg/template/pr24663.C: New test. * g++.dg/template/unify12.C: New test. * g++.dg/template/unify13.C: New test. * g++.dg/template/unify14.C: New test. * g++.dg/template/unify15.C: New test. * g++.dg/template/unify16.C: New test. * g++.dg/template/unify17.C: New test. Removed: trunk/gcc/testsuite/g++.dg/template/pr11858.C trunk/gcc/testsuite/g++.dg/template/pr24663.C trunk/gcc/testsuite/g++.dg/template/unify12.C trunk/gcc/testsuite/g++.dg/template/unify13.C trunk/gcc/testsuite/g++.dg/template/unify14.C trunk/gcc/testsuite/g++.dg/template/unify15.C trunk/gcc/testsuite/g++.dg/template/unify16.C trunk/gcc/testsuite/g++.dg/template/unify17.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/decl.c trunk/gcc/cp/pt.c trunk/gcc/cp/tree.c trunk/gcc/testsuite/ChangeLog Patch reverted due to numerous issues mentioned in the following thread: https://gcc.gnu.org/ml/gcc-patches/2016-01/msg01463.html *** Bug 96944 has been marked as a duplicate of this bug. *** |