From 21fa40d611db7624f06ff1d508b2844013265000 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jere=20Lepp=C3=A4nen?= <jere.leppanen@nokia.com>
Date: Wed, 27 Mar 2024 13:42:13 +0200
Subject: [PATCH] github_ci: add undefined sanitizier to the sanitizer job
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Add undefined sanitizier to the sanitizer job.

Signed-off-by: Jere Leppänen <jere.leppanen@nokia.com>
---
 .github/workflows/ci-pipeline.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci-pipeline.yml b/.github/workflows/ci-pipeline.yml
index a0540262e4a..c03adb7117f 100644
--- a/.github/workflows/ci-pipeline.yml
+++ b/.github/workflows/ci-pipeline.yml
@@ -453,7 +453,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        flags: ['-fsanitize=address']
+        flags: ['-fsanitize=address,undefined -fno-sanitize-recover=all']
     steps:
       - uses: actions/checkout@v4
       - run: sudo docker run -i -v `pwd`:/odp --privileged --shm-size 8g -e CC="${CC}" -e ARCH="${ARCH}"