aboutsummaryrefslogtreecommitdiffhomepage
path: root/projects/php
diff options
context:
space:
mode:
authorGravatar Nikita Popov <nikita.ppv@gmail.com>2019-12-17 15:59:42 +0100
committerGravatar Abhishek Arya <inferno@chromium.org>2019-12-17 06:59:42 -0800
commit3c39a1936612dac94ce3d866f6b7399d56a24051 (patch)
treee6b903bf789337c7534b00bfcda76ba0dda4fde0 /projects/php
parentf6131a0cca2b867520af2427de06868e6d93aed2 (diff)
[php] Enable memory sanitizer (#3141)
Diffstat (limited to 'projects/php')
-rwxr-xr-xprojects/php/build.sh1
-rw-r--r--projects/php/project.yaml1
2 files changed, 2 insertions, 0 deletions
diff --git a/projects/php/build.sh b/projects/php/build.sh
index c5871162..0dd2a79e 100755
--- a/projects/php/build.sh
+++ b/projects/php/build.sh
@@ -37,6 +37,7 @@ export CXXFLAGS="$CXXFLAGS -fno-sanitize=object-size"
--enable-json \
--enable-exif \
--enable-mbstring \
+ --without-pcre-jit \
--disable-phpdbg \
--disable-cgi \
--with-pic
diff --git a/projects/php/project.yaml b/projects/php/project.yaml
index bccd56b7..55200298 100644
--- a/projects/php/project.yaml
+++ b/projects/php/project.yaml
@@ -6,6 +6,7 @@ auto_ccs:
sanitizers:
- address
- undefined
+ - memory
architectures:
- x86_64
- i386