Commit 5cb47bd
[-Wunsafe-buffer-usage] Emit a warning if pointer returned by vector::data and array::data is cast to larger type (llvm#111910)
Emit a warning when the raw pointer retrieved from std::vector and
std::array instances are cast to a larger type. Such a cast followed by
a field dereference to the resulting pointer could cause an OOB access.
This is similar to the existing span::data warning.
(rdar://136704278)
Co-authored-by: MalavikaSamak <[email protected]>
(cherry picked from commit e913a33)1 parent 2b23b84 commit 5cb47bd
File tree
4 files changed
+82
-33
lines changed- clang
- include/clang/Basic
- lib
- Analysis
- Sema
- test/SemaCXX
4 files changed
+82
-33
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
12475 | 12475 | | |
12476 | 12476 | | |
12477 | 12477 | | |
12478 | | - | |
| 12478 | + | |
12479 | 12479 | | |
12480 | 12480 | | |
12481 | 12481 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1505 | 1505 | | |
1506 | 1506 | | |
1507 | 1507 | | |
1508 | | - | |
1509 | | - | |
| 1508 | + | |
| 1509 | + | |
| 1510 | + | |
| 1511 | + | |
| 1512 | + | |
1510 | 1513 | | |
1511 | 1514 | | |
1512 | 1515 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2279 | 2279 | | |
2280 | 2280 | | |
2281 | 2281 | | |
| 2282 | + | |
2282 | 2283 | | |
2283 | 2284 | | |
2284 | 2285 | | |
| 2286 | + | |
| 2287 | + | |
| 2288 | + | |
| 2289 | + | |
| 2290 | + | |
| 2291 | + | |
| 2292 | + | |
| 2293 | + | |
2285 | 2294 | | |
2286 | 2295 | | |
2287 | 2296 | | |
| |||
Lines changed: 67 additions & 30 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | | - | |
| 35 | + | |
36 | 36 | | |
37 | | - | |
| 37 | + | |
38 | 38 | | |
39 | | - | |
| 39 | + | |
40 | 40 | | |
41 | | - | |
42 | | - | |
43 | | - | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
44 | 44 | | |
45 | | - | |
46 | | - | |
47 | | - | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
48 | 84 | | |
49 | | - | |
50 | | - | |
51 | | - | |
52 | | - | |
53 | | - | |
54 | | - | |
55 | 85 | | |
56 | | - | |
| 86 | + | |
57 | 87 | | |
58 | | - | |
| 88 | + | |
59 | 89 | | |
60 | | - | |
| 90 | + | |
61 | 91 | | |
62 | | - | |
63 | | - | |
64 | | - | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
65 | 95 | | |
66 | | - | |
| 96 | + | |
67 | 97 | | |
68 | 98 | | |
69 | 99 | | |
| |||
89 | 119 | | |
90 | 120 | | |
91 | 121 | | |
92 | | - | |
93 | | - | |
94 | | - | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
95 | 125 | | |
96 | | - | |
97 | | - | |
| 126 | + | |
| 127 | + | |
98 | 128 | | |
99 | | - | |
| 129 | + | |
100 | 130 | | |
101 | 131 | | |
102 | | - | |
| 132 | + | |
103 | 133 | | |
104 | 134 | | |
105 | 135 | | |
106 | | - | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
107 | 144 | | |
108 | 145 | | |
109 | 146 | | |
| |||
0 commit comments