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