1; RUN: opt %s -aa-eval -disable-output 2>&1 | FileCheck %s
2
3; CHECK: 6 Total Alias Queries Performed
4; CHECK-NEXT: 6 no alias responses
5
6define void @patatino() {
7BB:
8  %G22 = getelementptr i1*, i1** undef, i8 -1
9  %B1 = mul i66 undef, 9223372036854775808
10  %G45 = getelementptr i1**, i1*** undef, i66 %B1
11  ret void
12}
13