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

[Kostya Serebryany via Phabricator via llvm-commits]

kcc added inline comments.


================
Comment at: lib/Transforms/Instrumentation/SanitizerCoverage.cpp:422
   }
 
   return true;
----------------
what if you add here something like this: 
 for (const BasicBlock *SUCC : make_range(succ_begin(BB), succ_end(BB))) {
    if (PDT->dominates(SUCC, BB))
      return false;
  }


https://reviews.llvm.org/D31266