[klee-dev] Phi nodes and LLVM11

[Frank Busse]

Hi,


On Wed, 30 Jun 2021 11:19:35 +0100
Cristian Cadar <c.cadar at imperial.ac.uk> wrote:

> I think your suspicions are reasonable, but perhaps the first thing 
> would be to report a small code example that triggers this issue.
> Have you tried C-Reduce?

Do you mean llvm-reduce? I don't think C-Reduce works on Rust code.


@Alastair

> What I am seeing is a large number of error reports like this:
> 
> Instruction does not dominate all uses!
>    %.i0385 = phi i64 [ <badref>, <badref> ], [ %.i0664, 
> [...]
> PHI nodes not grouped at top of basic block!

I'd start looking at that LLVM IR. Seems like there is a PHI node after
some other instruction in the basic block or the value/label arguments
are invalid.


Kind regards,

Frank