Hi Alastair,
On 28. Jun 2021, at 15:02, Alastair Reid
mailto:adr...@google.com>> wrote:
Hi,
Instruction does not dominate all uses!
%.i0385 = phi i64 [ , ], [ %.i0664, %2236 ], [ %.i0381,
%2227 ], !dbg !30427
%.upto04194 = insertelement <4 x i64> undef, i64 %.i0385, i32 0
This looks
Hi,
On Wed, 30 Jun 2021 11:19:35 +0100
Cristian Cadar 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
Hi Alastair,
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?
Best,
Cristian
On 28/06/2021 15:02, Alastair Reid wrote:
Hi,
I am seeing KLEE crash on a large example generated by