diff options
| -rw-r--r-- | debian/patches/pedantic-port-management.patch | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/patches/pedantic-port-management.patch b/debian/patches/pedantic-port-management.patch index f1371ef..28a5a69 100644 --- a/debian/patches/pedantic-port-management.patch +++ b/debian/patches/pedantic-port-management.patch @@ -1,11 +1,11 @@ -commit 7912cfc77c543de45b2b3e843859e72a48e313f4 +commit b8a37a969944e48d3a1c8ed36c72c51c6f9f7f0f Author: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Wed Jan 21 00:09:10 2015 +0100 ipc: be more pedantic XXX diff --git a/ipc/mach_port.c b/ipc/mach_port.c -index c7d9b81..7f27533 100644 +index c7d9b81..24db40e 100644 --- a/ipc/mach_port.c +++ b/ipc/mach_port.c @@ -570,7 +570,7 @@ mach_port_destroy( @@ -13,7 +13,7 @@ index c7d9b81..7f27533 100644 kr = ipc_right_lookup_write(space, name, &entry); if (kr != KERN_SUCCESS) { - if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD && space == current_space()) { -+ if (space == current_space()) { ++ if (MACH_PORT_VALID (name) && space == current_space()) { printf("task %.*s destroying an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name); if (mach_port_deallocate_debug) SoftDebugger("mach_port_deallocate"); @@ -22,7 +22,7 @@ index c7d9b81..7f27533 100644 kr = ipc_right_lookup_write(space, name, &entry); if (kr != KERN_SUCCESS) { - if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD && space == current_space()) { -+ if (space == current_space()) { ++ if (MACH_PORT_VALID (name) && space == current_space()) { printf("task %.*s deallocating an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name); if (mach_port_deallocate_debug) SoftDebugger("mach_port_deallocate"); @@ -32,7 +32,7 @@ index c7d9b81..7f27533 100644 kr = ipc_right_lookup_write(space, name, &entry); - if (kr != KERN_SUCCESS) + if (kr != KERN_SUCCESS) { -+ if (space == current_space()) { ++ if (MACH_PORT_VALID (name) && space == current_space()) { + printf("task %.*s frobnicating an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name); + if (mach_port_deallocate_debug) + SoftDebugger("mach_port_mod_refs"); |