Index: src/common/dwarf/dwarf2reader.h |
diff --git a/src/common/dwarf/dwarf2reader.h b/src/common/dwarf/dwarf2reader.h |
index 8824bf90e7a4af65fa66364cb671a6c30500cb0a..e4f7f495c16a37adf90b9b3771576d19bee48e18 100644 |
--- a/src/common/dwarf/dwarf2reader.h |
+++ b/src/common/dwarf/dwarf2reader.h |
@@ -140,7 +140,9 @@ class LineInfo { |
// the line info to read is. after_header is the place right after |
// the end of the line information header. |
const char* buffer_; |
+#ifndef NDEBUG |
uint64 buffer_length_; |
+#endif |
const char* after_header_; |
}; |