misra: Removed some rules from getCppcheckRules() because those do no… #35
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Syntax reference https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions | |
| # Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners | |
| name: valgrind | |
| on: [push, pull_request] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Prepare | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install debian-goodies ubuntu-dbgsym-keyring | |
| # the key expired and the ubuntu-dbgsym-keyring package does not yet include the latest one - see https://bugs.launchpad.net/ubuntu/+source/ubuntu-keyring/+bug/1920640 | |
| wget -O - http://ddebs.ubuntu.com/dbgsym-release-key.asc | sudo apt-key add - | |
| - name: Add debug repos on ubuntu | |
| run: | | |
| echo "deb http://ddebs.ubuntu.com $(lsb_release -cs) main restricted universe multiverse" | sudo tee -a /etc/apt/sources.list.d/ddebs.list | |
| echo "deb http://ddebs.ubuntu.com $(lsb_release -cs)-updates main restricted universe multiverse" | sudo tee -a /etc/apt/sources.list.d/ddebs.list | |
| echo "deb http://ddebs.ubuntu.com $(lsb_release -cs)-proposed main restricted universe multiverse" | sudo tee -a /etc/apt/sources.list.d/ddebs.list | |
| - name: Install missing software | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install libxml2-utils | |
| sudo apt-get install valgrind | |
| sudo apt-get install libz3-dev libz3-4 libz3-4-dbgsym | |
| sudo apt-get install libc6-dbg-amd64-cross | |
| - name: Build cppcheck | |
| run: | | |
| CXXFLAGS="-O1 -g" make -j$(nproc) USE_Z3=yes HAVE_RULES=yes MATCHCOMPILER=yes | |
| - name: Build test | |
| run: | | |
| CXXFLAGS="-O1 -g" make -j$(nproc) testrunner USE_Z3=yes HAVE_RULES=yes MATCHCOMPILER=yes | |
| - name: Run valgrind | |
| run: | | |
| valgrind --error-limit=yes --leak-check=full --num-callers=50 --show-reachable=yes --track-origins=yes --suppressions=valgrind/testrunner.supp --gen-suppressions=all --log-fd=9 --error-exitcode=42 ./testrunner TestGarbage TestOther TestSimplifyTemplate 9>memcheck.log | |
| cat memcheck.log | |
| - uses: actions/upload-artifact@v2 | |
| with: | |
| name: Logs | |
| path: ./*.log |