@@ -607,7 +607,7 @@ void test6(struct anon_struct *p, int index) {
607607// SANITIZE-WITH-ATTR-NEXT: ret i64 [[TMP0]]
608608//
609609// NO-SANITIZE-WITH-ATTR-LABEL: define dso_local range(i64 0, -9223372036854775808) i64 @test6_bdos(
610- // NO-SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readonly [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
610+ // NO-SANITIZE-WITH-ATTR-SAME: ptr noundef readonly captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
611611// NO-SANITIZE-WITH-ATTR-NEXT: entry:
612612// NO-SANITIZE-WITH-ATTR-NEXT: [[COUNTED_BY_GEP:%.*]] = getelementptr inbounds nuw i8, ptr [[P]], i64 8
613613// NO-SANITIZE-WITH-ATTR-NEXT: [[COUNTED_BY_LOAD:%.*]] = load i64, ptr [[COUNTED_BY_GEP]], align 4
@@ -966,7 +966,7 @@ size_t test10_bdos(struct union_of_fams *p) {
966966// SANITIZE-WITH-ATTR-NEXT: ret void
967967//
968968// NO-SANITIZE-WITH-ATTR-LABEL: define dso_local void @test11(
969- // NO-SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef [[P:%.*]], i32 noundef [[INDEX:%.*]]) local_unnamed_addr #[[ATTR1]] {
969+ // NO-SANITIZE-WITH-ATTR-SAME: ptr noundef captures(none) [[P:%.*]], i32 noundef [[INDEX:%.*]]) local_unnamed_addr #[[ATTR1]] {
970970// NO-SANITIZE-WITH-ATTR-NEXT: entry:
971971// NO-SANITIZE-WITH-ATTR-NEXT: [[COUNTED_BY_GEP:%.*]] = getelementptr inbounds nuw i8, ptr [[P]], i64 8
972972// NO-SANITIZE-WITH-ATTR-NEXT: [[COUNTED_BY_LOAD:%.*]] = load i32, ptr [[COUNTED_BY_GEP]], align 4
@@ -1015,7 +1015,7 @@ void test11(struct annotated *p, int index) {
10151015// SANITIZE-WITH-ATTR-NEXT: ret i64 [[TMP1]]
10161016//
10171017// NO-SANITIZE-WITH-ATTR-LABEL: define dso_local range(i64 -8589934584, 8589934597) i64 @test11_bdos(
1018- // NO-SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readonly [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
1018+ // NO-SANITIZE-WITH-ATTR-SAME: ptr noundef readonly captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
10191019// NO-SANITIZE-WITH-ATTR-NEXT: entry:
10201020// NO-SANITIZE-WITH-ATTR-NEXT: [[COUNTED_BY_GEP:%.*]] = getelementptr inbounds nuw i8, ptr [[P]], i64 8
10211021// NO-SANITIZE-WITH-ATTR-NEXT: [[COUNTED_BY_LOAD:%.*]] = load i32, ptr [[COUNTED_BY_GEP]], align 4
@@ -1359,7 +1359,7 @@ size_t test19(struct annotated *p) {
13591359}
13601360
13611361// SANITIZE-WITH-ATTR-LABEL: define dso_local noundef i64 @test20(
1362- // SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readnone [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
1362+ // SANITIZE-WITH-ATTR-SAME: ptr noundef readnone captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
13631363// SANITIZE-WITH-ATTR-NEXT: entry:
13641364// SANITIZE-WITH-ATTR-NEXT: ret i64 -1
13651365//
@@ -1384,7 +1384,7 @@ size_t test20(struct annotated *p) {
13841384}
13851385
13861386// SANITIZE-WITH-ATTR-LABEL: define dso_local noundef i64 @test21(
1387- // SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readnone [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
1387+ // SANITIZE-WITH-ATTR-SAME: ptr noundef readnone captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
13881388// SANITIZE-WITH-ATTR-NEXT: entry:
13891389// SANITIZE-WITH-ATTR-NEXT: ret i64 -1
13901390//
@@ -1409,7 +1409,7 @@ size_t test21(struct annotated *p) {
14091409}
14101410
14111411// SANITIZE-WITH-ATTR-LABEL: define dso_local noundef i64 @test22(
1412- // SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readnone [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
1412+ // SANITIZE-WITH-ATTR-SAME: ptr noundef readnone captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
14131413// SANITIZE-WITH-ATTR-NEXT: entry:
14141414// SANITIZE-WITH-ATTR-NEXT: ret i64 -1
14151415//
@@ -1434,7 +1434,7 @@ size_t test22(struct annotated *p) {
14341434}
14351435
14361436// SANITIZE-WITH-ATTR-LABEL: define dso_local noundef i64 @test23(
1437- // SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readnone [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
1437+ // SANITIZE-WITH-ATTR-SAME: ptr noundef readnone captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
14381438// SANITIZE-WITH-ATTR-NEXT: entry:
14391439// SANITIZE-WITH-ATTR-NEXT: ret i64 -1
14401440//
@@ -1953,7 +1953,7 @@ struct annotated_with_array {
19531953// SANITIZE-WITH-ATTR-NEXT: ret void
19541954//
19551955// NO-SANITIZE-WITH-ATTR-LABEL: define dso_local void @test32(
1956- // NO-SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef [[PTR:%.*]], i32 noundef [[IDX1:%.*]], i32 noundef [[IDX2:%.*]]) local_unnamed_addr #[[ATTR1]] {
1956+ // NO-SANITIZE-WITH-ATTR-SAME: ptr noundef captures(none) [[PTR:%.*]], i32 noundef [[IDX1:%.*]], i32 noundef [[IDX2:%.*]]) local_unnamed_addr #[[ATTR1]] {
19571957// NO-SANITIZE-WITH-ATTR-NEXT: entry:
19581958// NO-SANITIZE-WITH-ATTR-NEXT: [[IDXPROM:%.*]] = sext i32 [[IDX2]] to i64
19591959// NO-SANITIZE-WITH-ATTR-NEXT: [[COUNTED_BY_GEP:%.*]] = getelementptr inbounds nuw i8, ptr [[PTR]], i64 336
@@ -2023,7 +2023,7 @@ void test32(struct annotated_with_array *ptr, int idx1, int idx2) {
20232023// SANITIZE-WITH-ATTR-NEXT: ret i64 [[TMP4]]
20242024//
20252025// NO-SANITIZE-WITH-ATTR-LABEL: define dso_local range(i64 -34359738016, 34359738705) i64 @test32_bdos(
2026- // NO-SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readonly [[PTR:%.*]], i32 noundef [[INDEX:%.*]]) local_unnamed_addr #[[ATTR2]] {
2026+ // NO-SANITIZE-WITH-ATTR-SAME: ptr noundef readonly captures(none) [[PTR:%.*]], i32 noundef [[INDEX:%.*]]) local_unnamed_addr #[[ATTR2]] {
20272027// NO-SANITIZE-WITH-ATTR-NEXT: entry:
20282028// NO-SANITIZE-WITH-ATTR-NEXT: [[IDXPROM:%.*]] = sext i32 [[INDEX]] to i64
20292029// NO-SANITIZE-WITH-ATTR-NEXT: [[COUNTED_BY_GEP:%.*]] = getelementptr inbounds nuw i8, ptr [[PTR]], i64 336
@@ -2160,7 +2160,7 @@ size_t test34(struct multi_subscripts *ptr, int idx1, int idx2) {
21602160// SANITIZE-WITH-ATTR-NEXT: ret void
21612161//
21622162// NO-SANITIZE-WITH-ATTR-LABEL: define dso_local void @test35(
2163- // NO-SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef writeonly [[P:%.*]], i64 noundef [[INDEX:%.*]]) local_unnamed_addr #[[ATTR0]] {
2163+ // NO-SANITIZE-WITH-ATTR-SAME: ptr noundef writeonly captures(none) [[P:%.*]], i64 noundef [[INDEX:%.*]]) local_unnamed_addr #[[ATTR0]] {
21642164// NO-SANITIZE-WITH-ATTR-NEXT: entry:
21652165// NO-SANITIZE-WITH-ATTR-NEXT: [[ARRAY:%.*]] = getelementptr inbounds nuw i8, ptr [[P]], i64 12
21662166// NO-SANITIZE-WITH-ATTR-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw [0 x i32], ptr [[ARRAY]], i64 0, i64 [[INDEX]]
@@ -2176,7 +2176,7 @@ size_t test34(struct multi_subscripts *ptr, int idx1, int idx2) {
21762176// SANITIZE-WITHOUT-ATTR-NEXT: ret void
21772177//
21782178// NO-SANITIZE-WITHOUT-ATTR-LABEL: define dso_local void @test35(
2179- // NO-SANITIZE-WITHOUT-ATTR-SAME: ptr nocapture noundef writeonly [[P:%.*]], i64 noundef [[INDEX:%.*]]) local_unnamed_addr #[[ATTR0]] {
2179+ // NO-SANITIZE-WITHOUT-ATTR-SAME: ptr noundef writeonly captures(none) [[P:%.*]], i64 noundef [[INDEX:%.*]]) local_unnamed_addr #[[ATTR0]] {
21802180// NO-SANITIZE-WITHOUT-ATTR-NEXT: entry:
21812181// NO-SANITIZE-WITHOUT-ATTR-NEXT: [[ARRAY:%.*]] = getelementptr inbounds nuw i8, ptr [[P]], i64 12
21822182// NO-SANITIZE-WITHOUT-ATTR-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw [0 x i32], ptr [[ARRAY]], i64 0, i64 [[INDEX]]
@@ -2188,22 +2188,22 @@ void test35(struct annotated *p, size_t index) {
21882188}
21892189
21902190// SANITIZE-WITH-ATTR-LABEL: define dso_local noundef i64 @test35_bdos(
2191- // SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readnone [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
2191+ // SANITIZE-WITH-ATTR-SAME: ptr noundef readnone captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
21922192// SANITIZE-WITH-ATTR-NEXT: entry:
21932193// SANITIZE-WITH-ATTR-NEXT: ret i64 0
21942194//
21952195// NO-SANITIZE-WITH-ATTR-LABEL: define dso_local noundef i64 @test35_bdos(
2196- // NO-SANITIZE-WITH-ATTR-SAME: ptr nocapture noundef readnone [[P:%.*]]) local_unnamed_addr #[[ATTR3]] {
2196+ // NO-SANITIZE-WITH-ATTR-SAME: ptr noundef readnone captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR3]] {
21972197// NO-SANITIZE-WITH-ATTR-NEXT: entry:
21982198// NO-SANITIZE-WITH-ATTR-NEXT: ret i64 0
21992199//
22002200// SANITIZE-WITHOUT-ATTR-LABEL: define dso_local noundef i64 @test35_bdos(
2201- // SANITIZE-WITHOUT-ATTR-SAME: ptr nocapture noundef readnone [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
2201+ // SANITIZE-WITHOUT-ATTR-SAME: ptr noundef readnone captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR2]] {
22022202// SANITIZE-WITHOUT-ATTR-NEXT: entry:
22032203// SANITIZE-WITHOUT-ATTR-NEXT: ret i64 0
22042204//
22052205// NO-SANITIZE-WITHOUT-ATTR-LABEL: define dso_local noundef i64 @test35_bdos(
2206- // NO-SANITIZE-WITHOUT-ATTR-SAME: ptr nocapture noundef readnone [[P:%.*]]) local_unnamed_addr #[[ATTR1]] {
2206+ // NO-SANITIZE-WITHOUT-ATTR-SAME: ptr noundef readnone captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR1]] {
22072207// NO-SANITIZE-WITHOUT-ATTR-NEXT: entry:
22082208// NO-SANITIZE-WITHOUT-ATTR-NEXT: ret i64 0
22092209//
0 commit comments