Ondřej Surý bc1d4c9cb4 Clear the pointer to destroyed object early using the semantic patch ...

Also disable the semantic patch as the code needs tweaks here and there because
some destroy functions might not destroy the object and return early if the
object is still in use.

2020-02-09 18:00:17 -08:00

..

.gitignore

…

config-h.spatch

…

dns_name_copy-with-result.spatch

…

dns_name_copy.spatch

…

dns_name_copynf.spatch

…

dns_name_dup.disabled

…

dns_rbtnodechain_init.disabled

…

isc_buffer_allocate_never_fail.spatch

…

isc_event_allocat_never_fail.spatch

…

isc_mem_allocate_never_fail.spatch

…

isc_mem_create_never_fail.disabled

…

isc_mem_get_never_fail.spatch

…

isc_mem_putanddetach.spatch

…

isc_mem_strdup_never_fail.spatch

…

isc_mempool_create_cannot_fail.cocci

…

memcpy.spatch

…

null-the-pointer-early.disabled

…

return-void-from-void.spatch

…

unreachable.spatch

…