aboutsummaryrefslogtreecommitdiff
path: root/scripts/check_sparse.py
blob: 0de7aa55d98c002692c5809f4fa1e45ee276df9d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#! /usr/bin/env python3

# Invoke sparse based on the contents of compile_commands.json

import json
import subprocess
import sys
import shlex

def extract_cflags(shcmd):
    cflags = shlex.split(shcmd)
    return [x for x in cflags
            if x.startswith('-D') or x.startswith('-I') or x.startswith('-W')
               or x.startswith('-std=')]

cflags = sys.argv[1:-1]
with open(sys.argv[-1], 'r') as fd:
    compile_commands = json.load(fd)

for cmd in compile_commands:
    cmd = ['sparse'] + cflags + extract_cflags(cmd['command']) + [cmd['file']]
    print(' '.join((shlex.quote(x) for x in cmd)))
    r = subprocess.run(cmd)
    if r.returncode != 0:
        sys.exit(r.returncode)