1; This testcase consists of alias relations which should be completely
2; resolvable by cfl-steens-aa (derived from BasicAA/2003-11-04-SimpleCases.ll).
3
4; RUN: opt < %s -cfl-steens-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s
5
6%T = type { i32, [10 x i8] }
7
8; CHECK:     Function: test
9; CHECK-NOT:   May:
10
11define void @test(%T* %P) {
12  %A = getelementptr %T, %T* %P, i64 0
13  %B = getelementptr %T, %T* %P, i64 0, i32 0
14  %C = getelementptr %T, %T* %P, i64 0, i32 1
15  %D = getelementptr %T, %T* %P, i64 0, i32 1, i64 0
16  %E = getelementptr %T, %T* %P, i64 0, i32 1, i64 5
17  ret void
18}
19