Displaying 2 results from an estimated 2 matches for "arr_oob".
Did you mean:
arr_b
2016 Apr 15
3
(BasicAA) PartialAlias between different fields of a structure, intentional?
...t = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 1
%arr_first = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 0, i64 0
%arr_last = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 0, i64 9
%arr_oob = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 0, i64 10 ; out-of-bound access
br label %loop
loop:
%index = phi i64 [ 0, %entry ], [ %inc, %loop ]
%arr_index = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 0, i64 %index...
2016 Apr 21
2
(BasicAA) PartialAlias between different fields of a structure, intentional?
...t;type"* %base, i64
> 0, i32 1
> %arr_first = getelementptr inbounds %"type", %"type"* %base, i64
> 0, i32 0, i64 0
> %arr_last = getelementptr inbounds %"type", %"type"* %base, i64
> 0, i32 0, i64 9
> %arr_oob = getelementptr inbounds %"type", %"type"* %base, i64
> 0, i32 0, i64 10 ; out-of-bound access
>
> This is okay. Even for an inbounds GEP, addressing one-past-the-end of
> the array is allowed.
>
> br label %loop
>
> loop:
> %in...