1*673dc3d4SNico Weber // RUN: %clang_cl_asan -Od %s -Fe%t
2*673dc3d4SNico Weber // RUN: not %run %t 2>&1 | FileCheck %s
3*673dc3d4SNico Weber 
4*673dc3d4SNico Weber #include <windows.h>
5*673dc3d4SNico Weber 
main()6*673dc3d4SNico Weber int main() {
7*673dc3d4SNico Weber   int *x = new int[42];
8*673dc3d4SNico Weber   delete (x + 1);
9*673dc3d4SNico Weber // CHECK: AddressSanitizer: attempting free on address which was not malloc()-ed
10*673dc3d4SNico Weber // CHECK:   {{#0 0x.* operator delete}}
11*673dc3d4SNico Weber // CHECK:   {{#1 .* main .*operator_delete_wrong_argument.cpp}}:[[@LINE-3]]
12*673dc3d4SNico Weber }
13