1 ; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -disable-output 2>/dev/null
2 ; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2
3 define void @test(ptr %A, i64 %X, i64 %Y) {
4 %P1 = getelementptr {[2 x i32],[2 x i32]}, ptr %A, i64 0, i32 0, i64 %X
5 %P2 = getelementptr {[2 x i32],[2 x i32]}, ptr %A, i64 0, i32 1, i64 %Y