Searched refs:original_sigsegv_handler (Results 1 - 1 of 1) sorted by relevance

/PHP_TRUNK/Zend/
H A Dzend_execute_API.c53 static void (*original_sigsegv_handler)(int); variable
58 if (original_sigsegv_handler == zend_handle_sigsegv) {
59 signal(SIGSEGV, original_sigsegv_handler);
76 if (original_sigsegv_handler!=zend_handle_sigsegv) {
77 original_sigsegv_handler(dummy);
135 original_sigsegv_handler = signal(SIGSEGV, zend_handle_sigsegv);
382 signal(SIGSEGV, original_sigsegv_handler);

Completed in 4 milliseconds