[llvm-commits] [llvm] r107071 - in /llvm/trunk: lib/Analysis/BasicAliasAnalysis.cpp lib/VMCore/Value.cpp test/Analysis/BasicAA/unreachable-block.ll

[Duncan Sands]

Hi Dan,

> +define void @func_2() nounwind {
> +entry:
> +  unreachable
> +
> +bb:
> +  %t = select i1 undef, i32* %t, i32* undef
> +  %p = select i1 undef, i32* %p, i32* %p
> +  %q = select i1 undef, i32* undef, i32* %p
> +  %a = getelementptr i8* %a, i32 0
> +  unreachable
> +}

is this IR really valid?  Wouldn't it be better to have the verifier
reject it?

Ciao,

Duncan.