[clang] [Clang][Driver] Add new flags to control IR verification (PR #68172)

[Nikita Popov via cfe-commits]

================
@@ -146,6 +146,13 @@ Non-comprehensive list of changes in this release
 
 New Compiler Flags
 ------------------
+* ``-fverify-intermediate-code`` and it's complement ``-fno-verify-intermediate-code``.
+  Enables or disables verification of the generated LLVM IR.
+  It's strongly encouraged to enable this verification, as it can catch hard to
+  find code generation bugs.
----------------
nikic wrote:

> Does it really not make sense, or do you simply not agree we should recommend it?

Both? It doesn't make sense to "strongly recommend" that end users manually enable verification by passing `-fverify-intermediate-code`. If we think it's important, then we need to enable the option by default, not ask users to do so. (Of course, I am strongly opposed to actually enabling it by default.)

https://github.com/llvm/llvm-project/pull/68172