Hello, the code I will attacch shortly is a (partial) reduction from a multi-thousands line testcase from Boost which fails with 4.0.
This is the link to the failure in the automatic testers: http://ln-s.net/2$N -- Summary: [4.0 Regression] Spurious error about variably modified type Product: gcc Version: 4.0.0 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal Priority: P2 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: giovannibajo at libero dot it CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19208