diff --git a/.circleci/config.yml b/.circleci/config.yml index 4050a88c..3bc95cc0 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -143,7 +143,7 @@ jobs: - image: borisfaure/terminology-ci:latest environment: - CC: clang - - CFLAGS: -O0 -pipe -g -fno-omit-frame-pointer -fsanitize=undefined -fno-sanitize-recover=undefined + - CFLAGS: -O0 -pipe -g -fno-omit-frame-pointer -fsanitize=undefined,float-divide-by-zero,unsigned-integer-overflow,implicit-conversion,local-bounds,nullability -fno-sanitize-recover=undefined,float-divide-by-zero,unsigned-integer-overflow,implicit-conversion,local-bounds,nullability steps: - restore_cache: key: checkout-{{ .Environment.CIRCLE_SHA1 }}