1 // Purpose: 2 // Check that declaring duplicate addresses gives a useful error message. 3 // 4 // RUN: not %dexter_regression_test -v -- %s | FileCheck %s --match-full-lines 5 6 7 int main() { 8 int *result = new int(0); 9 delete result; // DexLabel('test_line') 10 } 11 12 // CHECK: parser error:{{.*}}err_duplicate_address.cpp([[# @LINE + 4]]): Found duplicate address: 'oops' 13 // CHECK-NEXT: {{Dex}}DeclareAddress('oops', 'result', on_line=ref('test_line')) 14 15 // DexDeclareAddress('oops', 'result', on_line=ref('test_line')) 16 // DexDeclareAddress('oops', 'result', on_line=ref('test_line')) 17