public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/38541] New: function parameter type T(*)[]
@ 2008-12-16 12:08 wolfgang dot roehrl at gi-de dot com
2009-01-30 15:20 ` [Bug c++/38541] " bangerth at gmail dot com
2009-01-30 15:20 ` bangerth at gmail dot com
0 siblings, 2 replies; 6+ messages in thread
From: wolfgang dot roehrl at gi-de dot com @ 2008-12-16 12:08 UTC (permalink / raw)
To: gcc-bugs
Dear all,
I would like to post a fault report for the GNU C/C++ compiler 4.3.0.
Used invokation line for the GNU C++ compiler:
gcc -c -x c++ -ansi -Wall -Werror -mcpu=603e -fverbose-asm -mbig
-mmultiple -mstring -mstrict-align -meabi -msdata -fno-common
-fno-exceptions -fno-rtti -O3 -fno-section-anchors
-I<different include paths>
-D<different #define's>
X.CPP -oX.O
// example program
template <typename T_>
bool f (T_* p);
bool g ()
{ return f(static_cast<int(*)[]>(0)); }
GNU accepts the code frgment above which is illegal. It is illegal because
a function parameter like "int(*)[]" is illegal (8.3.5/6).
BTW, the Comeau online compiler rejects the code above.
Kind regards
W. Roehrl
--
Summary: function parameter type T(*)[]
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: wolfgang dot roehrl at gi-de dot com
GCC build triplet: athlon-redhat-linux
GCC host triplet: i686-pc-mingw32
GCC target triplet: powerpc-rtems4.9
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38541
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/38541] function parameter type T(*)[]
2008-12-16 12:08 [Bug c++/38541] New: function parameter type T(*)[] wolfgang dot roehrl at gi-de dot com
@ 2009-01-30 15:20 ` bangerth at gmail dot com
2009-01-30 15:20 ` bangerth at gmail dot com
1 sibling, 0 replies; 6+ messages in thread
From: bangerth at gmail dot com @ 2009-01-30 15:20 UTC (permalink / raw)
To: gcc-bugs
--
bangerth at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2009-01-30 15:20:38
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38541
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/38541] function parameter type T(*)[]
2008-12-16 12:08 [Bug c++/38541] New: function parameter type T(*)[] wolfgang dot roehrl at gi-de dot com
2009-01-30 15:20 ` [Bug c++/38541] " bangerth at gmail dot com
@ 2009-01-30 15:20 ` bangerth at gmail dot com
1 sibling, 0 replies; 6+ messages in thread
From: bangerth at gmail dot com @ 2009-01-30 15:20 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from bangerth at gmail dot com 2009-01-30 15:20 -------
Confirmed. The original testcase had a function argument of type
pointer-to-pointer-to-array-of-unknown-size, but this testcase
also fails:
----------------------------
template <typename T_>
bool f (T_ p);
bool g ()
{ return f<int(*)[]>(0); }
-----------------------------
--
bangerth at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |4.3.1 4.4.0 2.95.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38541
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/38541] function parameter type T(*)[]
[not found] <bug-38541-4@http.gcc.gnu.org/bugzilla/>
2021-12-11 8:23 ` pinskia at gcc dot gnu.org
2021-12-16 2:16 ` de34 at live dot cn
@ 2021-12-16 2:26 ` pinskia at gcc dot gnu.org
2 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-12-16 2:26 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38541
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|NEW |RESOLVED
Alias| |cwg393
Blocks| |94404
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
[Moved to DR at the November, 2014 meeting.]
So closing as invalid.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94404
[Bug 94404] [meta-bug] C++ core issues
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/38541] function parameter type T(*)[]
[not found] <bug-38541-4@http.gcc.gnu.org/bugzilla/>
2021-12-11 8:23 ` pinskia at gcc dot gnu.org
@ 2021-12-16 2:16 ` de34 at live dot cn
2021-12-16 2:26 ` pinskia at gcc dot gnu.org
2 siblings, 0 replies; 6+ messages in thread
From: de34 at live dot cn @ 2021-12-16 2:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38541
Jiang An <de34 at live dot cn> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |de34 at live dot cn
--- Comment #3 from Jiang An <de34 at live dot cn> ---
These cases are made valid by CWG DR393 (https://wg21.link/cwg393).
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/38541] function parameter type T(*)[]
[not found] <bug-38541-4@http.gcc.gnu.org/bugzilla/>
@ 2021-12-11 8:23 ` pinskia at gcc dot gnu.org
2021-12-16 2:16 ` de34 at live dot cn
2021-12-16 2:26 ` pinskia at gcc dot gnu.org
2 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-12-11 8:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38541
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Are we sure this is invalid code? GCC, ICC, clang and MSVC all accept both
testcases.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2021-12-16 2:26 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-12-16 12:08 [Bug c++/38541] New: function parameter type T(*)[] wolfgang dot roehrl at gi-de dot com
2009-01-30 15:20 ` [Bug c++/38541] " bangerth at gmail dot com
2009-01-30 15:20 ` bangerth at gmail dot com
[not found] <bug-38541-4@http.gcc.gnu.org/bugzilla/>
2021-12-11 8:23 ` pinskia at gcc dot gnu.org
2021-12-16 2:16 ` de34 at live dot cn
2021-12-16 2:26 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).