| Paolo Bonzini | 968b4db | 2020-02-03 14:45:33 +0100 | [diff] [blame^] | 1 | #! /usr/bin/env python3 |
| 2 | |
| 3 | # Invoke sparse based on the contents of compile_commands.json |
| 4 | |
| 5 | import json |
| 6 | import subprocess |
| 7 | import sys |
| 8 | import shlex |
| 9 | |
| 10 | def extract_cflags(shcmd): |
| 11 | cflags = shlex.split(shcmd) |
| 12 | return [x for x in cflags |
| 13 | if x.startswith('-D') or x.startswith('-I') or x.startswith('-W') |
| 14 | or x.startswith('-std=')] |
| 15 | |
| 16 | cflags = sys.argv[1:-1] |
| 17 | with open(sys.argv[-1], 'r') as fd: |
| 18 | compile_commands = json.load(fd) |
| 19 | |
| 20 | for cmd in compile_commands: |
| 21 | cmd = ['sparse'] + cflags + extract_cflags(cmd['command']) + [cmd['file']] |
| 22 | print(' '.join((shlex.quote(x) for x in cmd))) |
| 23 | r = subprocess.run(cmd) |
| 24 | if r.returncode != 0: |
| 25 | sys.exit(r.returncode) |