diff options
-rw-r--r-- | share/portseal/portseal.cocci | 4 | ||||
-rw-r--r-- | test/test.c | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/share/portseal/portseal.cocci b/share/portseal/portseal.cocci index de1aeee..4525c72 100644 --- a/share/portseal/portseal.cocci +++ b/share/portseal/portseal.cocci @@ -17,8 +17,12 @@ F (..., mach_port_t *I, ...) { ... } identifier dec.I; expression E; @@ +{ +<... -I = E +I = portseal_set_port (&I, E) +...> +} /* The wrap hacks. */ diff --git a/test/test.c b/test/test.c index b3012d7..42d4cc9 100644 --- a/test/test.c +++ b/test/test.c @@ -36,7 +36,7 @@ dosthelse (mach_port_t *p) } mach_port_t some_port; -mach_port_t some_other_port; +mach_port_t some_other_port = MACH_PORT_DEAD; void dosthglobal (void) |