From bdd2212363c440b17b8664c90f67c6f9910ff7c7 Mon Sep 17 00:00:00 2001
From: Justin Bogner <mail@justinbogner.com>
Date: Tue, 17 Mar 2015 00:18:51 +0000
Subject: [PATCH] llvm-cov: Warn instead of error if a .gcda has arcs from an
 exit block

Patch by Vanderson M. Rosario. Thanks!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@232443 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/IR/GCOV.cpp                                   |   4 +++-
 .../llvm-cov/Inputs/test_exit_block_arcs.gcda     | Bin 0 -> 124 bytes
 .../llvm-cov/Inputs/test_exit_block_arcs.gcno     | Bin 0 -> 216 bytes
 test/tools/llvm-cov/llvm-cov.test                 |   4 ++++
 4 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 test/tools/llvm-cov/Inputs/test_exit_block_arcs.gcda
 create mode 100644 test/tools/llvm-cov/Inputs/test_exit_block_arcs.gcno

diff --git a/lib/IR/GCOV.cpp b/lib/IR/GCOV.cpp
index 08f44e079a4..b0a2bae4e06 100644
--- a/lib/IR/GCOV.cpp
+++ b/lib/IR/GCOV.cpp
@@ -302,10 +302,12 @@ bool GCOVFunction::readGCDA(GCOVBuffer &Buff, GCOV::GCOVVersion Version) {
   // required to combine the edge counts that are contained in the GCDA file.
   for (uint32_t BlockNo = 0; Count > 0; ++BlockNo) {
     // The last block is always reserved for exit block
-    if (BlockNo >= Blocks.size() - 1) {
+    if (BlockNo >= Blocks.size()) {
       errs() << "Unexpected number of edges (in " << Name << ").\n";
       return false;
     }
+    if (BlockNo == Blocks.size() - 1)
+      errs() << "(" << Name << ") has arcs from exit block.\n";
     GCOVBlock &Block = *Blocks[BlockNo];
     for (size_t EdgeNo = 0, End = Block.getNumDstEdges(); EdgeNo < End;
          ++EdgeNo) {
diff --git a/test/tools/llvm-cov/Inputs/test_exit_block_arcs.gcda b/test/tools/llvm-cov/Inputs/test_exit_block_arcs.gcda
new file mode 100644
index 0000000000000000000000000000000000000000..3ca483d1f466f66fc5752db1491af4486eaad342
GIT binary patch
literal 124
zcmYdHNlw=?GB8=X^e`&}0|O(70D(6*WB)S&>D<K3Jg@-6LPi!KgAu}k(?IS*PN*1&
Ng2^KZAu|^va{xBL3nl;n

literal 0
HcmV?d00001

diff --git a/test/tools/llvm-cov/Inputs/test_exit_block_arcs.gcno b/test/tools/llvm-cov/Inputs/test_exit_block_arcs.gcno
new file mode 100644
index 0000000000000000000000000000000000000000..d453566282f9e35463a7b4829bd515f29d385b7a
GIT binary patch
literal 216
zcmd1LOHS7^GB8=X^e`&}0|O&3kN|-<H)H=Z0qNYt%sddE4Twupi%a5DD>6&slXCKt
zv*Qzsl8g0{fto-H7#tay!89`A3>O2L1pyE-5FersB<c!R2T=nN;{j4IeT3~t=mfC<
DnFt(<

literal 0
HcmV?d00001

diff --git a/test/tools/llvm-cov/llvm-cov.test b/test/tools/llvm-cov/llvm-cov.test
index 6a71120c882..ad4ceefbbce 100644
--- a/test/tools/llvm-cov/llvm-cov.test
+++ b/test/tools/llvm-cov/llvm-cov.test
@@ -111,4 +111,8 @@ RUN: llvm-cov test.c -gcda=test_file_checksum_fail.gcda
 # Bad function checksum on gcda
 RUN: llvm-cov test.c -gcda=test_func_checksum_fail.gcda
 
+# Has arcs from exit blocks
+RUN: llvm-cov test_exit_block_arcs.c 2>&1 | FileCheck %s -check-prefix=EXIT_BLOCK_ARCS
+EXIT_BLOCK_ARCS: (main) has arcs from exit block.
+
 XFAIL: powerpc64-, s390x, mips-, mips64-, sparc