Hi Wojtek, I agree that it's very annoying that you cannot always reproduce with opt optimizers bugs seen with llvm-gcc. I don't know of a solution unfortunately. Ciao, Duncan.