------- Comment #3 from jakub at gcc dot gnu dot org 2008-10-31 11:26 ------- Testcase that covers more cases which should be rejected: #include <typeinfo>
int i = *(auto *) 0;// { dg-error "" } struct A *p = (auto *) 0;// { dg-error "" } int *q = static_cast<auto *>(0);// { dg-error "" } const int *r = const_cast<auto *>(q);// { dg-error "" } const std::type_info &t1 = typeid (auto);// { dg-error "" } const std::type_info &t2 = typeid (auto *);// { dg-error "" } struct A { operator auto ();// { dg-error "" } operator auto * ();// { dg-error "" } }; void foo () { (auto) { 0 };// { dg-error "" } } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37962