From 007d8644741b6ecbef2f3deadbb59c5e99ba8930 Mon Sep 17 00:00:00 2001
From: Russ Allbery <eagle@eyrie.org>
Date: Sat, 16 May 2020 16:41:48 -0700
Subject: [PATCH] Enable valgrind and cppcheck testing for CI

Run both MIT and Heimdal GCC tests under valgrind, and use the
MIT plus GCC build to run cppcheck.
---
 ci/test | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/ci/test b/ci/test
index cd75a5d..c0df36b 100755
--- a/ci/test
+++ b/ci/test
@@ -23,7 +23,19 @@ if [ "$KERBEROS" = 'heimdal' ]; then
 else
     ./configure CC="$COMPILER"
 fi
-make warnings
 
-# Run tests.
-make check
+# Run the tests with valgrind for one of the compilers.  Arbitrarily
+# pick the GCC build.  (The assumption here is that other compilers won't
+# produce sufficiently different code as to create memory management
+# problems.)
+if [ "$COMPILER" = 'gcc' ]; then
+    make check-valgrind
+else
+    make check
+fi
+
+# Run some additional checks for one of the builds.  Arbitrarily pick the GCC
+# MIT build.
+if [ "$COMPILER" = 'gcc' ] && [ "$KERBEROS" = 'mit' ]; then
+    make check-cppcheck
+fi
-- 
2.39.2