diff options
| -rw-r--r-- | include/pub_tool_tooliface.h | 2 | ||||
| -rw-r--r-- | memcheck/mc_main.c | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/include/pub_tool_tooliface.h b/include/pub_tool_tooliface.h index ecdad5fc8..be530a4b1 100644 --- a/include/pub_tool_tooliface.h +++ b/include/pub_tool_tooliface.h @@ -445,7 +445,7 @@ extern void VG_(needs_xml_output)( void ); /* Part of the core from which this call was made. Useful for determining what kind of error message should be emitted. */ typedef - enum { Vg_CoreStartup, Vg_CorePThread, Vg_CoreSignal, Vg_CoreSysCall, + enum { Vg_CoreStartup, Vg_CoreSignal, Vg_CoreSysCall, Vg_CoreTranslate, Vg_CoreClientReq } CorePart; diff --git a/memcheck/mc_main.c b/memcheck/mc_main.c index 85986224d..0db5b625c 100644 --- a/memcheck/mc_main.c +++ b/memcheck/mc_main.c @@ -2468,7 +2468,6 @@ void check_mem_is_addressable ( CorePart part, ThreadId tid, Char* s, /*isUnaddr*/True, s ); break; - case Vg_CorePThread: case Vg_CoreSignal: mc_record_core_mem_error( tid, /*isUnaddr*/True, s ); break; @@ -2496,7 +2495,6 @@ void check_mem_is_defined ( CorePart part, ThreadId tid, Char* s, break; case Vg_CoreClientReq: // Kludge: make this a CoreMemErr - case Vg_CorePThread: mc_record_core_mem_error( tid, isUnaddr, s ); break; |