mirror of
https://github.com/ddnet/ddnet.git
synced 2024-11-10 10:08:18 +00:00
46 lines
1.6 KiB
YAML
46 lines
1.6 KiB
YAML
name: Check ASan & UBSan
|
|
|
|
on:
|
|
push:
|
|
branches-ignore:
|
|
- master
|
|
- staging.tmp
|
|
- trying.tmp
|
|
- staging-squash-merge.tmp
|
|
pull_request:
|
|
|
|
jobs:
|
|
check-clang-san:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v2
|
|
with:
|
|
submodules: true
|
|
|
|
- name: Prepare linux
|
|
run: |
|
|
sudo apt-get update -y
|
|
sudo apt-get install pkg-config cmake ninja-build libfreetype6-dev libnotify-dev libsdl2-dev libsqlite3-dev libavcodec-dev libavformat-dev libavutil-dev libswresample-dev libswscale-dev libx264-dev libvulkan-dev glslang-tools spirv-tools -y
|
|
- name: Build with ASan and UBSan
|
|
run: |
|
|
mkdir san
|
|
cd san
|
|
export CC=clang
|
|
export CXX=clang++
|
|
export CXXFLAGS="-fsanitize=address,undefined -fsanitize-recover=address,undefined -fno-omit-frame-pointer"
|
|
export CFLAGS="-fsanitize=address,undefined -fsanitize-recover=address,undefined -fno-omit-frame-pointer"
|
|
cmake -DCMAKE_BUILD_TYPE=Debug -DHEADLESS_CLIENT=ON ..
|
|
make -j"$(nproc)"
|
|
- name: Run server and headless client with ASan and UBSan
|
|
run: |
|
|
cd san
|
|
export UBSAN_OPTIONS=suppressions=../ubsan.supp:log_path=./SAN:print_stacktrace=1:halt_on_errors=0
|
|
export ASAN_OPTIONS=log_path=./SAN:print_stacktrace=1:check_initialization_order=1:detect_leaks=1:halt_on_errors=0
|
|
./DDNet "cl_download_skins 0;quit" || true
|
|
./DDNet-Server shutdown || true
|
|
if test -n "$(find . -maxdepth 1 -name 'SAN.*' -print -quit)"
|
|
then
|
|
cat ./SAN.*
|
|
exit 1
|
|
fi
|