From 668c506a18bf0f39984fcd69c26b59976a3a2a7f Mon Sep 17 00:00:00 2001 From: Boris Faure Date: Thu, 11 Jun 2020 23:32:13 +0200 Subject: [PATCH] circleci: be stricter on ubsan --- .circleci/config.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 }}