@@ -707,6 +707,7 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValidityVisitor<'rt, 'tcx, M> {
707
707
interp_ok ( true )
708
708
}
709
709
ty:: Float ( _) | ty:: Int ( _) | ty:: Uint ( _) => {
710
+ // tidy-keep-sync-with=tidy-ticket-try_visit_primitive
710
711
// NOTE: Keep this in sync with the array optimization for int/float
711
712
// types below!
712
713
self . read_scalar (
@@ -722,6 +723,7 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValidityVisitor<'rt, 'tcx, M> {
722
723
self . add_data_range_place ( value) ;
723
724
}
724
725
interp_ok ( true )
726
+ // tidy-keep-sync-with=tidy-ticket-try_visit_primitive
725
727
}
726
728
ty:: RawPtr ( ..) => {
727
729
let place = self . deref_pointer ( value, ExpectedKind :: RawPtr ) ?;
@@ -1188,9 +1190,10 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValueVisitor<'tcx, M> for ValidityVisitor<'rt,
1188
1190
}
1189
1191
} ;
1190
1192
1193
+ // tidy-keep-sync-with=tidy-ticket-visit_value
1191
1194
// Optimization: we just check the entire range at once.
1192
1195
// NOTE: Keep this in sync with the handling of integer and float
1193
- // types above, in `visit_primitive `.
1196
+ // types above, in `try_visit_primitive `.
1194
1197
// No need for an alignment check here, this is not an actual memory access.
1195
1198
let alloc = self . ecx . get_ptr_alloc ( mplace. ptr ( ) , size) ?. expect ( "we already excluded size 0" ) ;
1196
1199
@@ -1230,6 +1233,7 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValueVisitor<'tcx, M> for ValidityVisitor<'rt,
1230
1233
// Also, mark this as containing data, not padding.
1231
1234
self . add_data_range ( mplace. ptr ( ) , size) ;
1232
1235
}
1236
+ // tidy-keep-sync-with=tidy-ticket-visit_value
1233
1237
}
1234
1238
// Fast path for arrays and slices of ZSTs. We only need to check a single ZST element
1235
1239
// of an array and not all of them, because there's only a single value of a specific
0 commit comments