commit 8240c53ec2b3eacc96bff755893cf40e60cdb80b
author Snehal Koukuntla <snehalreddy@google.com> Tue Apr 30 15:58:41 2024 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Tue Apr 30 15:58:41 2024 +0000
tree 8b86c336b2d016199d4d968241c59e7d81137ebe
parent e4518372989b8ff76aa12e887d071d3c8bde57d8
parent 030dd05027f1f6cde06449e0aae25c1f3eb937f5

Merge "[Coverage] Fix coverage bug in which extra garbage is being written" into main

trusty/line-coverage/coverage.cpp

diff --git a/trusty/line-coverage/coverage.cpp b/trusty/line-coverage/coverage.cpp
index 5f7b3a3..e4db59c 100644
--- a/trusty/line-coverage/coverage.cpp
+++ b/trusty/line-coverage/coverage.cpp
@@ -174,7 +174,7 @@
     }
 
     uintptr_t* begin = (uintptr_t*)((char *)shm_ + sizeof(struct control));
-    bool ret = WriteFully(output_fd, begin, record_len_);
+    bool ret = WriteFully(output_fd, begin, record_len_ - sizeof(struct control));
     if(!ret) {
         fprintf(stderr, "Coverage write to file failed\n");
     }