15d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clang_cl_asan -O0 %s -Fe%t 22d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: not %run %t 2>&1 | FileCheck %s 32d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 42d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesclass Parent { 52d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines public: 62d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines int field; 72d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines}; 82d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 92d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesclass Child : public Parent { 102d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines public: 112d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines int extra_field; 122d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines}; 132d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 142d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesint main(void) { 152d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines Parent *p = new Parent; 162d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines Child *c = (Child*)p; // Intentional error here! 172d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines c->extra_field = 42; 182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: AddressSanitizer: heap-buffer-overflow on address [[ADDR:0x[0-9a-f]+]] 192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: WRITE of size 4 at [[ADDR]] thread T0 202d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: {{#0 0x[0-9a-f]* in main .*wrong_downcast_on_heap.cc}}:[[@LINE-3]] 212d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: [[ADDR]] is located 0 bytes to the right of 4-byte region 222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: allocated by thread T0 here: 232d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: #0 {{.*}} operator new 242d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines return 0; 252d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 262d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 27