Hi,
On Wed, 30 Jun 2021 11:19:35 +0100 Cristian Cadar <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
