diff options
Diffstat (limited to '.github/workflows/check-c.yml')
-rw-r--r-- | .github/workflows/check-c.yml | 22 |
1 files changed, 14 insertions, 8 deletions
diff --git a/.github/workflows/check-c.yml b/.github/workflows/check-c.yml index dcd7bbcc0..5c20f9892 100644 --- a/.github/workflows/check-c.yml +++ b/.github/workflows/check-c.yml | |||
@@ -67,11 +67,11 @@ jobs: | |||
67 | run: ./ci/printenv.sh | 67 | run: ./ci/printenv.sh |
68 | - name: configure | 68 | - name: configure |
69 | run: > | 69 | run: > |
70 | CC=clang-14 ./configure --enable-fatal-warnings --enable-apparmor | 70 | ./configure CC=clang-14 SCAN_BUILD=scan-build-14 |
71 | --enable-selinux | 71 | --enable-fatal-warnings --enable-apparmor --enable-selinux |
72 | || (cat config.log; exit 1) | 72 | || (cat config.log; exit 1) |
73 | - name: scan-build | 73 | - name: scan-build |
74 | run: scan-build-14 --status-bugs make | 74 | run: make scan-build |
75 | 75 | ||
76 | cppcheck: | 76 | cppcheck: |
77 | runs-on: ubuntu-22.04 | 77 | runs-on: ubuntu-22.04 |
@@ -93,11 +93,13 @@ jobs: | |||
93 | run: sudo apt-get update -qy | 93 | run: sudo apt-get update -qy |
94 | - name: install cppcheck | 94 | - name: install cppcheck |
95 | run: sudo apt-get install -qy cppcheck | 95 | run: sudo apt-get install -qy cppcheck |
96 | - name: configure | ||
97 | run: > | ||
98 | ./configure CPPCHECK='cppcheck -q' | ||
99 | || (cat config.log; exit 1) | ||
96 | - run: cppcheck --version | 100 | - run: cppcheck --version |
97 | - name: cppcheck | 101 | - name: cppcheck |
98 | run: > | 102 | run: make cppcheck |
99 | cppcheck -q --force --error-exitcode=1 --enable=warning,performance | ||
100 | -i src/firejail/checkcfg.c -i src/firejail/main.c . | ||
101 | 103 | ||
102 | # new cppcheck version currently chokes on checkcfg.c and main.c, therefore | 104 | # new cppcheck version currently chokes on checkcfg.c and main.c, therefore |
103 | # scan all files also with older cppcheck version from ubuntu 20.04. | 105 | # scan all files also with older cppcheck version from ubuntu 20.04. |
@@ -122,9 +124,13 @@ jobs: | |||
122 | run: sudo apt-get update -qy | 124 | run: sudo apt-get update -qy |
123 | - name: install cppcheck | 125 | - name: install cppcheck |
124 | run: sudo apt-get install -qy cppcheck | 126 | run: sudo apt-get install -qy cppcheck |
127 | - name: configure | ||
128 | run: > | ||
129 | ./configure CPPCHECK='cppcheck -q' | ||
130 | || (cat config.log; exit 1) | ||
125 | - run: cppcheck --version | 131 | - run: cppcheck --version |
126 | - name: cppcheck | 132 | - name: cppcheck-old |
127 | run: cppcheck -q --force --error-exitcode=1 --enable=warning,performance . | 133 | run: make cppcheck-old |
128 | 134 | ||
129 | codeql-cpp: | 135 | codeql-cpp: |
130 | permissions: | 136 | permissions: |