[llvm] [BOLT][rewrite] warn about functions without CFG before binary analyses. (PR #197294)

[Anatoly Trosinenko via llvm-commits]

================
@@ -3888,8 +3888,24 @@ void RewriteInstance::runBinaryAnalyses() {
   NamedRegionTimer T("runBinaryAnalyses", "run binary analysis passes",
                      TimerGroupName, TimerGroupDesc, opts::TimeRewrite);
   BinaryFunctionPassManager Manager(*BC);
-  // FIXME: add a pass that warns about which functions do not have CFG,
-  // and therefore, analysis is most likely to be less accurate.
+
+  // Warn about functions without a reconstructed CFG: binary analyses degrade
+  // in accuracy on those and may produce false negatives.
+  uint64_t NoCFGCount = 0;
----------------
atrosinenko wrote:

[nit] Possibly, plain `unsigned` would be a bit less surprising :)

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