int main(void) { testCopy(); testCast(); return 0; }
void testVirtual() { DV d; clang_analyzer_eval(testCast(&d)); // expected-warning{{TRUE}} }