| 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_;
|
| };
|
|
|
|
|