Instruction does not dominate all uses! message

[LucianF777]

Hi!

I got an error like this:

[info] Applying mutations (threads: 1)
[################################] 258/258. Finished in 22ms
[error] Uh oh! Mull corrupted LLVM module.
Please, add the following lines:
debug:
slowIRVerification: true
to the config file (/home/blabla/my_c_test/mull.yml) and re-run the failing command.

Otherwise, report the following error message here https://github.com/mull-project/mull/issues
Underlying error message:
Instruction does not dominate all uses!
%10 = icmp eq i32 %9, 0, !dbg !1411
%13 = phi i1 [ %10, %11 ], [ %10, %7 ], !dbg !1412

[error] Error messages are treated as fatal errors. Exiting now.
Ubuntu clang version 12.0.1-19ubuntu3
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Selected GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64

Any help is more than appreciated!

Thank you in advance!

[AlexDenisov]

Hi @LucianF777, thank you for the report. The error message gives me some hints on where things go wrong, but if you can add

debug:
  slowIRVerification: true

to the config and share a more detailed error message, it would be very helpful as well.

[correaa]

related #1077