diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-01-21 00:22:38 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-01-21 00:22:38 +0100 |
| commit | 73d29af047847cec430436d20dc88054c6b34521 (patch) | |
| tree | 038b5d31e30b138fc6e126f4db49e6a8f2b9e4fc /debian/patches | |
| parent | 4e8b5329355f4fcd9f247df5f85d6f1c96113582 (diff) | |
fix patch
Diffstat (limited to 'debian/patches')
| -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"); |