Turn on the undefined behavior sanitizer on Travis

This commit is contained in:
Kovid Goyal 2017-05-15 09:20:10 +05:30
parent 59ac12570c
commit ba7a6e8106
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -103,7 +103,7 @@ def init_env(debug=False, asan=False, native_optimizations=True):
if debug or asan:
optimize = '-ggdb'
if asan:
optimize += ' -fsanitize=address -fno-omit-frame-pointer'
optimize += ' -fsanitize=address -fsanitize=undefined -fno-sanitize-recover=all -fno-omit-frame-pointer'
cflags = os.environ.get(
'OVERRIDE_CFLAGS', (
'-Wextra -Wno-missing-field-initializers -Wall -std=c99 -D_XOPEN_SOURCE=700'
@ -117,7 +117,7 @@ def init_env(debug=False, asan=False, native_optimizations=True):
) + shlex.split(sysconfig.get_config_var('CCSHARED'))
ldflags = os.environ.get(
'OVERRIDE_LDFLAGS', '-Wall ' +
('-fsanitize=address' if asan else ('' if debug else '-O3'))
('-fsanitize=address -fsanitize=undefined' if asan else ('' if debug else '-O3'))
)
ldflags = shlex.split(ldflags)
cflags += shlex.split(os.environ.get('CFLAGS', ''))