Green Sky
227425b90e
git-subtree-dir: external/toxcore/c-toxcore git-subtree-split: 67badf69416a74e74f6d7eb51dd96f37282b8455
26 lines
530 B
Bash
Executable File
26 lines
530 B
Bash
Executable File
#!/bin/sh
|
|
|
|
# --bufferoverrun \
|
|
# --pulse \
|
|
|
|
read -r -d '' SCRIPT <<'EOF'
|
|
infer \
|
|
--report-console-limit 100 \
|
|
--jobs 8 \
|
|
--biabduction \
|
|
--loop-hoisting \
|
|
--quandary \
|
|
--racerd \
|
|
--starvation \
|
|
--uninit \
|
|
-- clang++ -fsyntax-only \
|
|
$(pkg-config --cflags libconfig libsodium opus vpx) \
|
|
/work/other/bootstrap_daemon/src/*.c \
|
|
/work/other/bootstrap_node_packets.c \
|
|
/work/toxav/*.c \
|
|
/work/toxcore/*.c \
|
|
/work/toxencryptsave/*.c
|
|
EOF
|
|
|
|
docker run --rm -it -v "$PWD:/work" toxchat/infer bash -c "$SCRIPT"
|