The following invalid code snippet is accepted since GCC 3.4.0:
=========================================
template<int> struct A {};
template<typename> struct B : A<sizeof(0=0)> {};
=========================================
Before the code was correctly rejected, although the error message
couldn't be printed:
bug.cc:3: sorry, unimplemented: `modop_expr' not supported by dump_expr
bug.cc:3: sorry, unimplemented: `modop_expr' not supported by dump_expr
--
Summary: [4.1/4.2/4.3/4.4 regression] Invalid argument to sizeof
not rejected in template
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Keywords: accepts-invalid, monitored
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: reichelt at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35324
