summaryrefslogtreecommitdiff
path: root/other/analysis/run-infer
blob: 2a897227332d81bb72ece0e2badfdba96aaf3a98 (plain)
1
2
3
4
5
6
7
8
#!/bin/sh

# Infer ignores everything that's not in the "current file".
SKIP_LINES=1

. other/analysis/gen-file.sh

infer -- clang++ -fsyntax-only amalgamation.cc $CPPFLAGS