2018-09-25 09:08:44 +02:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
#
|
|
|
|
# Find missing and extra parameters in documentation compared to
|
|
|
|
# output of: gcc --help=params.
|
|
|
|
#
|
|
|
|
# This file is part of GCC.
|
|
|
|
#
|
|
|
|
# GCC is free software; you can redistribute it and/or modify it under
|
|
|
|
# the terms of the GNU General Public License as published by the Free
|
|
|
|
# Software Foundation; either version 3, or (at your option) any later
|
|
|
|
# version.
|
|
|
|
#
|
|
|
|
# GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
|
# WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
|
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
|
# for more details.
|
|
|
|
#
|
|
|
|
# You should have received a copy of the GNU General Public License
|
|
|
|
# along with GCC; see the file COPYING3. If not see
|
|
|
|
# <http://www.gnu.org/licenses/>. */
|
|
|
|
#
|
|
|
|
#
|
|
|
|
#
|
|
|
|
|
|
|
|
import argparse
|
2020-12-04 09:36:32 +01:00
|
|
|
import sys
|
2020-05-28 10:36:48 +02:00
|
|
|
from itertools import dropwhile, takewhile
|
2018-09-25 09:08:44 +02:00
|
|
|
|
|
|
|
|
|
|
|
def get_param_tuple(line):
|
2020-05-28 10:36:48 +02:00
|
|
|
line = line.strip().replace('--param=', '')
|
2018-09-25 09:08:44 +02:00
|
|
|
i = line.find(' ')
|
2020-05-28 10:36:48 +02:00
|
|
|
name = line[:i]
|
|
|
|
if '=' in name:
|
|
|
|
name = name[:name.find('=')]
|
|
|
|
description = line[i:].strip()
|
|
|
|
return (name, description)
|
|
|
|
|
2018-09-25 09:08:44 +02:00
|
|
|
|
|
|
|
parser = argparse.ArgumentParser()
|
|
|
|
parser.add_argument('texi_file')
|
|
|
|
parser.add_argument('params_output')
|
|
|
|
|
|
|
|
args = parser.parse_args()
|
|
|
|
|
2020-12-04 09:36:32 +01:00
|
|
|
ignored = {'logical-op-non-short-circuit'}
|
2018-09-25 09:08:44 +02:00
|
|
|
params = {}
|
|
|
|
|
|
|
|
for line in open(args.params_output).readlines():
|
|
|
|
if line.startswith(' '):
|
|
|
|
r = get_param_tuple(line)
|
|
|
|
params[r[0]] = r[1]
|
|
|
|
|
|
|
|
# Find section in .texi manual with parameters
|
|
|
|
texi = ([x.strip() for x in open(args.texi_file).readlines()])
|
2020-05-28 10:36:48 +02:00
|
|
|
texi = dropwhile(lambda x: 'item --param' not in x, texi)
|
|
|
|
texi = takewhile(lambda x: '@node Instrumentation Options' not in x, texi)
|
2018-09-25 09:08:44 +02:00
|
|
|
texi = list(texi)[1:]
|
|
|
|
|
|
|
|
token = '@item '
|
|
|
|
texi = [x[len(token):] for x in texi if x.startswith(token)]
|
2020-12-04 09:36:32 +01:00
|
|
|
# skip digits
|
|
|
|
texi = [x for x in texi if not x[0].isdigit()]
|
|
|
|
# skip aarch64 params
|
|
|
|
texi = [x for x in texi if not x.startswith('aarch64')]
|
2018-09-25 09:08:44 +02:00
|
|
|
sorted_texi = sorted(texi)
|
|
|
|
|
2019-03-06 11:00:37 +01:00
|
|
|
texi_set = set(texi) - ignored
|
|
|
|
params_set = set(params.keys()) - ignored
|
2018-09-25 09:08:44 +02:00
|
|
|
|
2020-12-04 09:36:32 +01:00
|
|
|
success = True
|
2018-09-25 09:08:44 +02:00
|
|
|
extra = texi_set - params_set
|
|
|
|
if len(extra):
|
|
|
|
print('Extra:')
|
|
|
|
print(extra)
|
2020-12-04 09:36:32 +01:00
|
|
|
success = False
|
2018-09-25 09:08:44 +02:00
|
|
|
|
|
|
|
missing = params_set - texi_set
|
|
|
|
if len(missing):
|
|
|
|
print('Missing:')
|
|
|
|
for m in missing:
|
|
|
|
print('@item ' + m)
|
|
|
|
print(params[m])
|
|
|
|
print()
|
2020-12-04 09:36:32 +01:00
|
|
|
success = False
|
2018-09-25 09:08:44 +02:00
|
|
|
|
|
|
|
if texi != sorted_texi:
|
|
|
|
print('WARNING: not sorted alphabetically!')
|
2020-12-04 09:36:32 +01:00
|
|
|
|
|
|
|
sys.exit(0 if success else 1)
|