diff options
-rw-r--r-- | covoar/DesiredSymbols.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/covoar/DesiredSymbols.cc b/covoar/DesiredSymbols.cc index f7a4a0b..6b780dd 100644 --- a/covoar/DesiredSymbols.cc +++ b/covoar/DesiredSymbols.cc @@ -238,7 +238,12 @@ namespace Coverage { break; if (theCoverageMap->isNop( ha )) - theCoverageMap->setWasExecuted( ha ); + do { + theCoverageMap->setWasExecuted( ha ); + ha++; + if ( ha >= endAddress ) + break; + } while ( !theCoverageMap->isStartOfInstruction( ha ) ); a = ha; } |