gcc/testsuite/g++.old-deja/g++.mike/scast1.C

class A {};
class C {};

int main() {
  A* a = 0;
  C* c = static_cast<C*>(a);	// ERROR - bad static cast 
}