diff options
author | Max Moroz <mmoroz@chromium.org> | 2019-06-21 11:34:01 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-21 11:34:01 -0700 |
commit | e0f427fb3b699cbb51ba40821c875f5cca7ce534 (patch) | |
tree | 31b6826d591eabacc3f6583945e95079336e8179 /projects/php | |
parent | ab071b3ced5a607ab32ecae12c3a438573fd8a20 (diff) |
[php] Enable undefined sanitizer configuration (#1984). (#2535)
Diffstat (limited to 'projects/php')
-rw-r--r-- | projects/php/project.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/projects/php/project.yaml b/projects/php/project.yaml index 054648d3..eb6446fa 100644 --- a/projects/php/project.yaml +++ b/projects/php/project.yaml @@ -4,3 +4,5 @@ auto_ccs: - "smalyshev@gmail.com" sanitizers: - address + - undefined +
\ No newline at end of file |