Commit 53149eb
committed
[-Wunsafe-buffer-usage] Allow passing anything to void *__single
BoundsSafety assumes that `void *__single` cannot be dereferenced and
allows assigning anything to `void *__single`. This commit ports this
behavior to C++ interop.
rdar://1560072561 parent 7f078cb commit 53149eb
File tree
2 files changed
+35
-10
lines changed- clang
- lib/Analysis
- test/SemaCXX
2 files changed
+35
-10
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1076 | 1076 | | |
1077 | 1077 | | |
1078 | 1078 | | |
1079 | | - | |
1080 | | - | |
1081 | | - | |
1082 | | - | |
1083 | | - | |
1084 | | - | |
| 1079 | + | |
| 1080 | + | |
| 1081 | + | |
| 1082 | + | |
| 1083 | + | |
| 1084 | + | |
| 1085 | + | |
| 1086 | + | |
1085 | 1087 | | |
1086 | 1088 | | |
1087 | | - | |
| 1089 | + | |
1088 | 1090 | | |
1089 | 1091 | | |
| 1092 | + | |
| 1093 | + | |
1090 | 1094 | | |
| 1095 | + | |
| 1096 | + | |
| 1097 | + | |
| 1098 | + | |
1091 | 1099 | | |
1092 | 1100 | | |
1093 | 1101 | | |
1094 | 1102 | | |
1095 | 1103 | | |
1096 | | - | |
| 1104 | + | |
1097 | 1105 | | |
1098 | 1106 | | |
1099 | 1107 | | |
| |||
1108 | 1116 | | |
1109 | 1117 | | |
1110 | 1118 | | |
1111 | | - | |
| 1119 | + | |
1112 | 1120 | | |
1113 | 1121 | | |
1114 | 1122 | | |
| |||
3463 | 3471 | | |
3464 | 3472 | | |
3465 | 3473 | | |
3466 | | - | |
| 3474 | + | |
3467 | 3475 | | |
3468 | 3476 | | |
3469 | 3477 | | |
| |||
Lines changed: 17 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
56 | 56 | | |
57 | 57 | | |
58 | 58 | | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
59 | 76 | | |
60 | 77 | | |
61 | 78 | | |
| |||
0 commit comments