scripts/check_sparse.py

   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)