@@ -990,11 +990,11 @@ NOTE(regionbasedisolation_type_use_after_send_callee, none,
990
990
(Type, StringRef, const ValueDecl *, StringRef))
991
991
992
992
NOTE(regionbasedisolation_named_info_send_yields_race, none,
993
- " sending %1%0 to %2 callee risks causing data races between %2 and local %3 uses" ,
994
- (Identifier, StringRef, StringRef, StringRef))
993
+ " sending %select{%2 |}0%1 to %3 callee risks causing data races between %3 and local %4 uses" ,
994
+ (bool , Identifier, StringRef, StringRef, StringRef))
995
995
NOTE(regionbasedisolation_named_info_send_yields_race_callee, none,
996
- " sending %1%0 to %2 %kind3 risks causing data races between %2 and local %4 uses" ,
997
- (Identifier, StringRef, StringRef, const ValueDecl *, StringRef))
996
+ " sending %select{%2 |}0%1 to %3 %kind4 risks causing data races between %3 and local %5 uses" ,
997
+ (bool , Identifier, StringRef, StringRef, const ValueDecl *, StringRef))
998
998
999
999
// Use after send closure.
1000
1000
NOTE(regionbasedisolation_type_isolated_capture_yields_race, none,
@@ -1010,8 +1010,8 @@ NOTE(regionbasedisolation_named_value_used_after_explicit_sending, none,
1010
1010
" %0 used after being passed as a 'sending' parameter; Later uses could race" ,
1011
1011
(Identifier))
1012
1012
NOTE(regionbasedisolation_named_isolated_closure_yields_race, none,
1013
- " %0 %1 is captured by a %2 closure. %2 uses in closure may race against later %3 uses" ,
1014
- (StringRef, Identifier, StringRef, StringRef))
1013
+ " %select{ %1 |}0%2 is captured by a %3 closure. %3 uses in closure may race against later %4 uses" ,
1014
+ (bool , StringRef, Identifier, StringRef, StringRef))
1015
1015
1016
1016
NOTE(regionbasedisolation_typed_use_after_sending, none,
1017
1017
" Passing value of non-Sendable type %0 as a 'sending' argument risks causing races in between local and caller code" ,
@@ -1024,19 +1024,19 @@ NOTE(regionbasedisolation_typed_use_after_sending_callee, none,
1024
1024
// Sending Never Sendable Emitter
1025
1025
1026
1026
NOTE(regionbasedisolation_named_send_never_sendable, none,
1027
- " sending %1%0 to %2 callee risks causing data races between %2 and %3 uses" ,
1028
- (Identifier, StringRef, StringRef, StringRef))
1027
+ " sending %select{%2 |}0%1 to %3 callee risks causing data races between %3 and %4 uses" ,
1028
+ (bool , Identifier, StringRef, StringRef, StringRef))
1029
1029
NOTE(regionbasedisolation_named_send_never_sendable_callee, none,
1030
- " sending %1%0 to %2 %kind3 risks causing data races between %2 and %4 uses" ,
1031
- (Identifier, StringRef, StringRef, const ValueDecl *, StringRef))
1030
+ " sending %select{%2 |}0%1 to %3 %kind4 risks causing data races between %3 and %5 uses" ,
1031
+ (bool , Identifier, StringRef, StringRef, const ValueDecl *, StringRef))
1032
1032
1033
1033
NOTE(regionbasedisolation_named_send_into_sending_param, none,
1034
- " %0%1 is passed as a 'sending' parameter; Uses in callee may race with "
1035
- " later %0uses " ,
1036
- (StringRef, Identifier))
1034
+ " %select{%1 |}0%2 is passed as a 'sending' parameter; Uses in callee may race with "
1035
+ " later %1 uses " ,
1036
+ (bool , StringRef, Identifier))
1037
1037
NOTE(regionbasedisolation_named_nosend_send_into_result, none,
1038
- " %0 %1 cannot be a 'sending' result. %2 uses may race with caller uses" ,
1039
- (StringRef, Identifier, StringRef))
1038
+ " %select{ %1 |}0%2 cannot be a 'sending' result. %3 uses may race with caller uses" ,
1039
+ (bool , StringRef, Identifier, StringRef))
1040
1040
NOTE(regionbasedisolation_typed_tns_passed_to_sending, none,
1041
1041
" Passing %0 value of non-Sendable type %1 as a 'sending' parameter risks "
1042
1042
" causing races inbetween %0 uses and uses reachable from the callee" ,
@@ -1098,10 +1098,10 @@ NOTE(regionbasedisolation_inout_sending_must_be_reinitialized, none,
1098
1098
" 'inout sending' parameter must be reinitialized before function exit with a non-actor isolated value" ,
1099
1099
())
1100
1100
ERROR(regionbasedisolation_inout_sending_cannot_be_actor_isolated, none,
1101
- " 'inout sending' parameter %0 cannot be %1at end of function" ,
1101
+ " 'inout sending' parameter %0 cannot be %1 at end of function" ,
1102
1102
(Identifier, StringRef))
1103
1103
NOTE(regionbasedisolation_inout_sending_cannot_be_actor_isolated_note, none,
1104
- " %1%0 risks causing races in between %1uses and caller uses since caller assumes value is not actor isolated" ,
1104
+ " %1 %0 risks causing races in between %1 uses and caller uses since caller assumes value is not actor isolated" ,
1105
1105
(Identifier, StringRef))
1106
1106
1107
1107
// ===
0 commit comments