[PATCH] D31266: [sancov] fixing too aggressive instrumentation elimination

[George Karpenkov via Phabricator via llvm-commits]

george.karpenkov added a comment.

> The numbers I remember were like DOM gives 30% saving, PDOM gives 20% more, which is a lot.

But how would we know whether those numbers are good?
E.g. is it saving 20% of unneeded instrumentation, or missing 20% of code which actually needs to be instrumented?
LibFuzzer would find lots of bugs regardless, right?

With programs that large it would be hard to simply look at IR, and check whether instrumentation is spurious.


https://reviews.llvm.org/D31266