The core working group just discussed core issue 478 and decided that the issue was NAD, i.e. the following code is ill-formed as per 8.3.4p1.
struct S { virtual void v() = 0; }; void f(S sa[10]); gcc does not detect that the code is ill-formed. -- Summary: core issue 478: array parameters of abstract class type are ill-formed Product: gcc Version: 3.4.3 Status: UNCONFIRMED Severity: normal Priority: P2 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: jens dot maurer at gmx dot net CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: i686-pc-linux-gnu GCC host triplet: i686-pc-linux-gnu GCC target triplet: i686-pc-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20964