Skip to content

Commit 1b3d5a5

Browse files
bcardosolopeslanza
authored andcommitted
[CIR][Lifetime] Add one more test for mulitple pointers and one owner
1 parent f442472 commit 1b3d5a5

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

clang/test/CIR/Transforms/lifetime-check-owner.cpp

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,3 +43,17 @@ void yolo2() {
4343
(void)p.read(); // expected-warning {{use of invalid pointer 'p'}}
4444
// expected-remark@-1 {{pset => { invalid }}}
4545
}
46+
47+
void yolo3() {
48+
MyIntPointer p, q;
49+
MyIntOwner o(1);
50+
p = o;
51+
q = o;
52+
(void)q.read(); // expected-remark {{pset => { o__1' }}}
53+
(void)p.read(); // expected-remark {{pset => { o__1' }}}
54+
o.changeInt(42); // expected-note {{invalidated by non-const use of owner type}}
55+
(void)p.read(); // expected-warning {{use of invalid pointer 'p'}}
56+
// expected-remark@-1 {{pset => { invalid }}}
57+
(void)q.read(); // expected-warning {{use of invalid pointer 'q'}}
58+
// expected-remark@-1 {{pset => { invalid }}}
59+
}

0 commit comments

Comments
 (0)