＆＃34;验证＆＃34;传入选择

Question

我正在尝试编写llvm pass来做错误注入工作以错误地改变程序的控制流程。由于控制流中的注入错误，有以下错误消息（我不是试图找到这些消息背后的错误原因，它们是故意注入的）：

PHI节点条目与前辈不匹配！ 指令不会占主导地位！

通过检查源代码，我知道这些消息来自名为verifier.cpp的程序。看起来，它是＆＃34; -verify＆＃34;的源代码。通过选择。但是，在我的脚本中，我没有包含＆＃34; -verify＆＃34;传递我的命令。

所以，这是我的问题：

1. verifier.cpp是＆＃34; -verify＆＃34;的源代码。通过了吗？
2. 如果是的话，＆＃34; -verify＆＃34;无论你是否在选项中使用它，都会通过opt自动传递？
3. 如果2是正确的，有没有办法禁用此传递（因为我想获得运行实验的潜在错误代码）？

谢谢。