1; RUN: opt -aa-pipeline=basic-aa -passes=aa-eval -disable-output < %s > /dev/null 2>&1 2 3; BasicAA shouldn't infinitely recurse on the use-def cycles in 4; unreachable code. 5 6define void @func_2() nounwind { 7entry: 8 unreachable 9 10bb: 11 %t = select i1 undef, ptr %t, ptr undef 12 %p = select i1 undef, ptr %p, ptr %p 13 %q = select i1 undef, ptr undef, ptr %p 14 unreachable 15} 16