| Index: src/assembler.h
|
| ===================================================================
|
| --- src/assembler.h (revision 13614)
|
| +++ src/assembler.h (working copy)
|
| @@ -844,6 +844,7 @@
|
| #ifdef ENABLE_GDB_JIT_INTERFACE
|
| gdbjit_lineinfo_ = NULL;
|
| #endif
|
| + jit_handler_data_ = NULL;
|
| }
|
|
|
| #ifdef ENABLE_GDB_JIT_INTERFACE
|
| @@ -863,7 +864,15 @@
|
| return lineinfo;
|
| }
|
| #endif
|
| + void AttachJITHandlerData(void* user_data) {
|
| + jit_handler_data_ = user_data;
|
| + }
|
|
|
| + void* DetachJITHandlerData() {
|
| + void* old_data = jit_handler_data_;
|
| + jit_handler_data_ = NULL;
|
| + return old_data;
|
| + }
|
| // Set current position to pos.
|
| void RecordPosition(int pos);
|
|
|
| @@ -886,6 +895,9 @@
|
| GDBJITLineInfo* gdbjit_lineinfo_;
|
| #endif
|
|
|
| + // Currently jit_handler_data_ is used to store JITHandler-specific data
|
| + // over the lifetime of a PositionsRecorder
|
| + void* jit_handler_data_;
|
| friend class PreservePositionScope;
|
|
|
| DISALLOW_COPY_AND_ASSIGN(PositionsRecorder);
|
|
|