add clang-analyze

Author: ObiWahn

.github/workflows/clang-analyze.yml

@@ -0,0 +1,27 @@
+name: clang-analyze
+
+on:
+  push:
+    paths-ignore:
+      - 'README.md'
+      - 'doc/**'
+  pull_request:
+    paths-ignore:
+      - 'README.md'
+      - 'doc/**'
+
+jobs:
+  clang-analyze:
+    runs-on: ubuntu-latest
+    env:
+        SB: scan-build-15
+
+    steps:
+      - uses: actions/checkout@v4
+      - run: sudo apt-get update -yq
+      - run: sudo apt-get install -yq clang-tools-15
+      - run: ${SB} cmake -E make_directory build
+      - working-directory: build/
+        run: ${SB} cmake -DLIBEXT_TESTS=ON -DLIBEXT_TESTS_NO_TIME_CRITICAL=ON -DLIBEXT_EXAMPLES=ON -DEXT_DOWNLOAD=ON -DCLANG_ANALYZE=ON $GITHUB_WORKSPACE
+      - working-directory: build/
+        run: ${SB} cmake --build .

.github/workflows/linux.yml

@@ -54,4 +54,4 @@ jobs:
         working-directory: ${{github.workspace}}/build
         # Execute tests defined by the CMake configuration.
         # See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
-        run: ctest -VV -C ${{ env.build_type }}
+        run: ctest -VV -C ${{ matrix.build_type }}

CMakeLists.txt

@@ -12,6 +12,7 @@ option(EXT_WRITE_VERSION "write version.hpp" OFF)
 option(LIBEXT_EXAMPLES "build examples" OFF)
 option(LIBEXT_TESTS "build tests" OFF)
 option(LIBEXT_TESTS_NO_TIME_CRITICAL "disable time critical tests" OFF)
+option(CLANG_ANALYZE "clang analyze build" OFF)
 
 ### configure defer
 option(LIBEXT_WARNINGS "enable warnings" ON)
@@ -29,6 +30,7 @@ set(ext_basics_compile_definitions
     $<$<BOOL:${LIBEXT_TESTS_NO_TIME_CRITICAL}>:EXT_TESTS_NO_TIME_CRITICAL=1>
     $<$<BOOL:${EXT_DEFER_NON_NOTHROW}>:EXT_DEFER_ALLOW_NON_NOTHROW_INVOCABLE=1>
     $<$<BOOL:${EXT_DEFER_MOVE_ASSIGN}>:EXT_DEFER_ENABLE_MOVE_ASSIGN=1>
+    $<$<BOOL:${CLANG_ANALYZE}>:CLANG_ANALYZE>
 )
 
 find_package(Threads REQUIRED)

examples/show.cpp

@@ -28,11 +28,13 @@ int main(/*int argc, const char *argv[]*/) {
     // prefer this!
     std::cout << vec << std::endl;
 
+#ifndef CLANG_ANALYZE
     // a bit more magic
     std::cout << vec_of_maps << std::endl;
 
     // prefer this!
     std::cout << vec2 << std::endl;
+#endif
 
     return 0;
 }

tests/algorithm_longest_common_subsequence.cpp

@@ -12,12 +12,15 @@ class algorithm_longest_common_subsequence : public ::testing::Test {
             auto lenght = lsc_get_length(matrix);
             auto common = lcs_get_sequence(matrix, test_string_pair.first);
 
-            EXPECT_TRUE(expected_lenght == lenght && expected_common == common)
-                << "\n    input: '" << test_string_pair.first << "' and '" << test_string_pair.second << "'"
-                << "\n   result: "  << lenght << " -- " <<  common
-                << "\n expected: "  << expected_lenght << " -- " << expected_common
-                << "\n" << ext::util::pretty::fmt(matrix)
-                << "\n\n";
+        EXPECT_TRUE(expected_lenght == lenght && expected_common == common)
+            << "\n    input: '" << test_string_pair.first << "' and '" << test_string_pair.second << "'"
+            << "\n   result: " << lenght << " -- " << common << "\n expected: " << expected_lenght << " -- "
+            << expected_common << "\n"
+#ifndef CLANG_ANALYZE
+            << ext::util::pretty::fmt(matrix) << "\n\n";
+#else
+            << "\n";
+#endif
     }
 };
 

tests/util_show.cpp

@@ -44,6 +44,7 @@ TEST(util_pretty, map_int_str) {
 }
 
 TEST(util_pretty, vec_map_vec_int_str) {
+#ifndef CLANG_ANALYZE
     using Map = std::map<std::vector<int>, std::string>;
     Map item{{std::vector{1, 2}, "foo"s}, {std::vector{3}, "bar"s}};
     std::vector<Map> out = {item, item};
@@ -52,6 +53,7 @@ TEST(util_pretty, vec_map_vec_int_str) {
     using eu::operator<<;
     ss << out;
     ASSERT_EQ(ss.str(), "[{[1, 2]:\"foo\", [3]:\"bar\"}, {[1, 2]:\"foo\", [3]:\"bar\"}]");
+#endif
 }
 
 TEST(util_pretty, set_int) {