check_sparse.py (1679B)
1 #! /usr/bin/env python3 2 3 # Invoke sparse based on the contents of compile_commands.json, 4 # also working around several deficiencies in cgcc's command line 5 # parsing 6 7 import json 8 import subprocess 9 import os 10 import sys 11 import shlex 12 13 def cmdline_for_sparse(sparse, cmdline): 14 # Do not include the C compiler executable 15 skip = True 16 arg = False 17 out = sparse + ['-no-compile'] 18 for x in cmdline: 19 if arg: 20 out.append(x) 21 arg = False 22 continue 23 if skip: 24 skip = False 25 continue 26 # prevent sparse from treating output files as inputs 27 if x == '-MF' or x == '-MQ' or x == '-o': 28 skip = True 29 continue 30 # cgcc ignores -no-compile if it sees -M or -MM? 31 if x.startswith('-M'): 32 continue 33 # sparse does not understand these! 34 if x == '-iquote' or x == '-isystem': 35 x = '-I' 36 if x == '-I': 37 arg = True 38 out.append(x) 39 return out 40 41 root_path = os.getenv('MESON_BUILD_ROOT') 42 def build_path(s): 43 return s if not root_path else os.path.join(root_path, s) 44 45 ccjson_path = build_path(sys.argv[1]) 46 with open(ccjson_path, 'r') as fd: 47 compile_commands = json.load(fd) 48 49 sparse = sys.argv[2:] 50 sparse_env = os.environ.copy() 51 for cmd in compile_commands: 52 cmdline = shlex.split(cmd['command']) 53 cmd = cmdline_for_sparse(sparse, cmdline) 54 print('REAL_CC=%s' % shlex.quote(cmdline[0]), 55 ' '.join((shlex.quote(x) for x in cmd))) 56 sparse_env['REAL_CC'] = cmdline[0] 57 r = subprocess.run(cmd, env=sparse_env, cwd=root_path) 58 if r.returncode != 0: 59 sys.exit(r.returncode)