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; 162d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines Child *c = (Child*)&p; // Intentional error here! 172d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines c->extra_field = 42; 182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: AddressSanitizer: stack-buffer-overflow on address [[ADDR:0x[0-9a-f]+]] 192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: WRITE of size 4 at [[ADDR]] thread T0 202d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-NEXT: {{#0 0x[0-9a-f]* in main .*wrong_downcast_on_stack.cc}}:[[@LINE-3]] 212d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: [[ADDR]] is located in stack of thread T0 at offset [[OFFSET:[0-9]+]] in frame 222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-NEXT: {{#0 0x[0-9a-f]* in main }} 232d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: 'p' <== Memory access at offset [[OFFSET]] overflows this variable 242d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines return 0; 252d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 262d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 27