aizatsky added inline comments. ================ Comment at: tools/sancov/sancov.cc:233 @@ -225,1 +232,3 @@ + + return Result; // not reachable. } ---------------- krasin wrote: > llvm_unreachable(); It's actually reachable now, I'll update the comment. http://reviews.llvm.org/D15430