diff options
| author | Cillian O'Donnell <cpodonnell8@gmail.com> | 2017-08-26 09:15:57 +0100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2017-08-29 18:06:17 +1000 |
| commit | 46009037b8f4a677f0d99e2320f1a0a14c5b6826 (patch) | |
| tree | 8303f8f427b23335ba1ba157a9118a9bfd803e94 | |
| parent | covoar: Use rld tempfile and add signals to clean up in event of crash. (diff) | |
| download | rtems-tools-46009037b8f4a677f0d99e2320f1a0a14c5b6826.tar.bz2 | |
covoar/CoverageReaderQEMU.cc: Remove trace block matching check.
This removes the 'Trace block inconsistent with coverage map' check as it was
deemed to be too restrictive and not neccessary.
| -rw-r--r-- | tester/covoar/CoverageReaderQEMU.cc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tester/covoar/CoverageReaderQEMU.cc b/tester/covoar/CoverageReaderQEMU.cc index 8e34f8f..37718ec 100644 --- a/tester/covoar/CoverageReaderQEMU.cc +++ b/tester/covoar/CoverageReaderQEMU.cc @@ -138,21 +138,7 @@ namespace Coverage { // Determine if additional branch information is available. if ( (entry->op & branchInfo) != 0 ) { - uint32_t offset_e, offset_a; uint32_t a = entry->pc + entry->size - 1; - if ((aCoverageMap->determineOffset( a, &offset_a ) != true) || - (aCoverageMap->determineOffset( entry->pc, &offset_e ) != true)) - { - fprintf( - stderr, - "*** Trace block is inconsistent with coverage map\n" - "*** Trace block (0x%08x - 0x%08x) for %d bytes\n" - "*** Coverage map XXX \n", - entry->pc, - a, - entry->size - ); - } else { while (!aCoverageMap->isStartOfInstruction(a)) a--; if (entry->op & taken) { @@ -160,7 +146,6 @@ namespace Coverage { } else if (entry->op & notTaken) { aCoverageMap->setWasNotTaken( a ); } - } } } } |