[Bug 1032155] VUL-0: CVE-2017-6441: php7: denial of service (NULL pointer dereference and application crash) via crafted use of "declare(ticks="