Lines Matching full:into
2 "valid map access into an array with a constant",
19 "valid map access into an array with a register",
40 "valid map access into an array with a variable",
62 "valid map access into an array with a signed variable",
88 "invalid map access into an array with a constant",
105 "invalid map access into an array with a register",
125 "invalid map access into an array with a variable",
140 .errstr = "R0 unbounded memory access, make sure to bounds check any array access into a map",
145 "invalid map access into an array with no floor check",
170 "invalid map access into an array with a invalid max check",
195 "invalid map access into an array with a invalid max check",
221 "valid read map access into a read-only array 1",
237 "valid read map access into a read-only array 2",
261 "invalid write map access into a read-only array 1",
274 .errstr = "write into map forbidden",
277 "invalid write map access into a read-only array 2",
297 .errstr = "write into map forbidden",
300 "valid write map access into a write-only array 1",
317 "valid write map access into a write-only array 2",
340 "invalid read map access into a write-only array 1",
356 "invalid read map access into a write-only array 2",