Now tested with php 7.2.4, 7.2.3, 7.2.2 with same results, segmentation faults randomly.
Phalcon compiled without xdebug support (disabled xdebug.so before build/install.sh):
[email protected]:/opt/SOURCES/cphalcon/build # php -v
PHP 7.2.2 (cli) (built: May 22 2018 21:03:01) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.2.2, Copyright (c) 1999-2018, by Zend Technologies
Segmentation fault
[email protected]:/opt/SOURCES/cphalcon/build # php -m
[PHP Modules]
bcmath
bz2
calendar
Core
ctype
curl
date
dom
exif
fileinfo
filter
ftp
gd
geoip
gettext
gmp
hash
iconv
igbinary
intl
json
libxml
mbstring
memcached
mysqli
openssl
pcntl
pcre
PDO
pdo_mysql
pdo_sqlite
phalcon
Phar
posix
pspell
recode
Reflection
session
SimpleXML
SPL
sqlite3
standard
sysvmsg
sysvsem
sysvshm
tokenizer
wddx
xml
xmlreader
xmlwriter
Zend OPcache
zip
zlib
[Zend Modules]
Zend OPcache
Segmentation fault