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