Ondřej Surý c8c6718ee4 Add semantic patch to replace RUNTIME_CHECK(dns_name_copy(..., NULL)) with dns_name_copynf ...

(cherry picked from commit ac26ecf540)

2019-10-04 14:08:25 +10:00

..

.gitignore

…

dns_name_copy-with-result.spatch

…

dns_name_copy.spatch

…

dns_name_copynf.spatch

Add semantic patch to replace RUNTIME_CHECK(dns_name_copy(..., NULL)) with dns_name_copynf

2019-10-04 14:08:25 +10:00

unreachable.spatch

…