#!/usr/bin/python3
# Check header contents against the given standard.
# Copyright (C) 2018-2021 Free Software Foundation, Inc.
# This file is part of the GNU C Library.
#
# The GNU C Library is free software; you can redistribute it and/or
# modify it under the terms of the GNU Lesser General Public
# License as published by the Free Software Foundation; either
# version 2.1 of the License, or (at your option) any later version.
#
# The GNU C Library 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
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public
# License along with the GNU C Library; if not, see
# .
import argparse
import fnmatch
import os.path
import re
import subprocess
import sys
import tempfile
import glibcconform
class CompileSubTest(object):
"""A compilation subtest."""
def __init__(self, name, text):
"""Initialize a CompileSubTest object."""
self.run_early = False
self.name = name
self.text = text
def run(self, header_tests):
"""Run a compilation subtest."""
header_tests.compile_test(self.name, self.text)
class ExecuteSubTest(object):
"""An execution subtest."""
def __init__(self, name, text):
"""Initialize an ExecuteSubTest object."""
self.run_early = False
self.name = name
self.text = text
def run(self, header_tests):
"""Run an execution subtest."""
header_tests.execute_test(self.name, self.text)
class ElementTest(object):
"""Test for an element of a structure or union type."""
def __init__(self, dummy, type_name, member_type, member_name, *rest):
"""Initialize an ElementTest object."""
self.type_name = type_name
self.member_type = member_type
self.member_name = member_name
self.rest = ' '.join(rest)
self.allow_name = self.member_name
def gen_subtests(self):
"""Generate subtests for an ElementTest."""
text = ('%(type_name)s a_%(num)d;\n'
'%(type_name)s b_%(num)d;\n'
'extern void xyzzy_%(num)d '
'(__typeof__ (&b_%(num)d.%(member_name)s), '
'__typeof__ (&a_%(num)d.%(member_name)s), unsigned);\n'
'void foobarbaz_%(num)d (void) {\n'
'xyzzy_%(num)d (&a_%(num)d.%(member_name)s, '
'&b_%(num)d.%(member_name)s, '
'sizeof (a_%(num)d.%(member_name)s));\n'
'}\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of member %s' % self.member_name,
text))
text = ('%(type_name)s a2_%(num)d;\n'
'extern %(member_type)s b2_%(num)d%(rest)s;\n'
'extern __typeof__ (a2_%(num)d.%(member_name)s) b2_%(num)d;\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Type of member %s' % self.member_name,
text))
class ConstantTest(object):
"""Test for a macro or constant."""
def __init__(self, symbol_type, symbol, extra1=None, extra2=None,
extra3=None):
"""Initialize a ConstantTest object."""
self.symbol_type = symbol_type
self.symbol = symbol
# A comparison operation may be specified without a type.
if extra2 is not None and extra3 is None:
self.c_type = None
self.op = extra1
self.value = extra2
else:
self.c_type = extra1
self.op = extra2
self.value = extra3
self.allow_name = self.symbol
def gen_subtests(self):
"""Generate subtests for a ConstantTest."""
if 'macro' in self.symbol_type:
text = ('#ifndef %(symbol)s\n'
'# error "Macro %(symbol)s not defined"\n'
'#endif\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of macro %s' % self.symbol,
text))
if 'constant' in self.symbol_type:
text = ('__typeof__ (%(symbol)s) a_%(num)d = %(symbol)s;\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of constant %s' % self.symbol,
text))
if self.symbol_type == 'macro-int-constant':
sym_bits_def_neg = ''.join(
'# if %s & (1LL << %d)\n'
'# define conformtest_%d_bit_%d 0LL\n'
'# else\n'
'# define conformtest_%d_bit_%d (1LL << %d)\n'
'# endif\n'
% (self.symbol, i, self.num, i, self.num, i, i)
for i in range(63))
sym_bits_or_neg = '|'.join('conformtest_%d_bit_%d' % (self.num, i)
for i in range(63))
sym_bits_def_pos = ''.join(
'# if %s & (1ULL << %d)\n'
'# define conformtest_%d_bit_%d (1ULL << %d)\n'
'# else\n'
'# define conformtest_%d_bit_%d 0ULL\n'
'# endif\n'
% (self.symbol, i, self.num, i, i, self.num, i)
for i in range(64))
sym_bits_or_pos = '|'.join('conformtest_%d_bit_%d' % (self.num, i)
for i in range(64))
text = ('#if %s < 0\n'
'# define conformtest_%d_negative 1\n'
'%s'
'# define conformtest_%d_value ~(%s)\n'
'#else\n'
'# define conformtest_%d_negative 0\n'
'%s'
'# define conformtest_%d_value (%s)\n'
'#endif\n'
'_Static_assert (((%s < 0) == conformtest_%d_negative) '
'&& (%s == conformtest_%d_value), '
'"value match inside and outside #if");\n'
% (self.symbol, self.num, sym_bits_def_neg, self.num,
sym_bits_or_neg, self.num, sym_bits_def_pos, self.num,
sym_bits_or_pos, self.symbol, self.num, self.symbol,
self.num))
self.subtests.append(CompileSubTest(
'#if usability of symbol %s'% self.symbol,
text))
if self.c_type is not None:
if self.c_type.startswith('promoted:'):
c_type = self.c_type[len('promoted:'):]
text = ('__typeof__ ((%s) 0 + (%s) 0) a2_%d;\n'
% (c_type, c_type, self.num))
else:
text = '__typeof__ ((%s) 0) a2_%d;\n' % (self.c_type, self.num)
text += 'extern __typeof__ (%s) a2_%d;\n' % (self.symbol, self.num)
self.subtests.append(CompileSubTest(
'Type of symbol %s' % self.symbol,
text))
if self.op is not None:
text = ('_Static_assert (%(symbol)s %(op)s %(value)s, '
'"value constraint");\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Value of symbol %s' % self.symbol,
text))
class SymbolTest(object):
"""Test for a symbol (not a compile-time constant)."""
def __init__(self, dummy, symbol, value=None):
"""Initialize a SymbolTest object."""
self.symbol = symbol
self.value = value
self.allow_name = self.symbol
def gen_subtests(self):
"""Generate subtests for a SymbolTest."""
text = ('void foobarbaz_%(num)d (void) {\n'
'__typeof__ (%(symbol)s) a_%(num)d = %(symbol)s;\n'
'}\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of symbol %s' % self.symbol,
text))
if self.value is not None:
text = ('int main (void) { return %(symbol)s != %(symbol)s; }\n'
% vars(self))
self.subtests.append(ExecuteSubTest(
'Value of symbol %s' % self.symbol,
text))
class TypeTest(object):
"""Test for a type name."""
def __init__(self, dummy, type_name):
"""Initialize a TypeTest object."""
self.type_name = type_name
if type_name.startswith('struct '):
self.allow_name = type_name[len('struct '):]
self.maybe_opaque = False
elif type_name.startswith('union '):
self.allow_name = type_name[len('union '):]
self.maybe_opaque = False
else:
self.allow_name = type_name
self.maybe_opaque = True
def gen_subtests(self):
"""Generate subtests for a TypeTest."""
text = ('%s %sa_%d;\n'
% (self.type_name, '*' if self.maybe_opaque else '', self.num))
self.subtests.append(CompileSubTest(
'Availability of type %s' % self.type_name,
text))
class TagTest(object):
"""Test for a tag name."""
def __init__(self, dummy, type_name):
"""Initialize a TagTest object."""
self.type_name = type_name
if type_name.startswith('struct '):
self.allow_name = type_name[len('struct '):]
elif type_name.startswith('union '):
self.allow_name = type_name[len('union '):]
else:
raise ValueError('unexpected kind of tag: %s' % type_name)
def gen_subtests(self):
"""Generate subtests for a TagTest."""
# If the tag is not declared, these function prototypes have
# incompatible types.
text = ('void foo_%(num)d (%(type_name)s *);\n'
'void foo_%(num)d (%(type_name)s *);\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of tag %s' % self.type_name,
text))
class FunctionTest(object):
"""Test for a function."""
def __init__(self, dummy, return_type, function_name, *args):
"""Initialize a FunctionTest object."""
self.function_name_full = function_name
self.args = ' '.join(args)
if function_name.startswith('(*'):
# Function returning a pointer to function.
self.return_type = '%s (*' % return_type
self.function_name = function_name[len('(*'):]
else:
self.return_type = return_type
self.function_name = function_name
self.allow_name = self.function_name
def gen_subtests(self):
"""Generate subtests for a FunctionTest."""
text = ('%(return_type)s (*foobarbaz_%(num)d) %(args)s '
'= %(function_name)s;\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of function %s' % self.function_name,
text))
text = ('extern %(return_type)s (*foobarbaz2_%(num)d) %(args)s;\n'
'extern __typeof__ (&%(function_name)s) foobarbaz2_%(num)d;\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Type of function %s' % self.function_name,
text))
class VariableTest(object):
"""Test for a variable."""
def __init__(self, dummy, var_type, var_name, *rest):
"""Initialize a VariableTest object."""
self.var_type = var_type
self.var_name = var_name
self.rest = ' '.join(rest)
self.allow_name = var_name
def gen_subtests(self):
"""Generate subtests for a VariableTest."""
text = ('typedef %(var_type)s xyzzy_%(num)d%(rest)s;\n'
'xyzzy_%(num)d *foobarbaz_%(num)d = &%(var_name)s;\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of variable %s' % self.var_name,
text))
text = ('extern %(var_type)s %(var_name)s%(rest)s;\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Type of variable %s' % self.var_name,
text))
class MacroFunctionTest(object):
"""Test for a possibly macro-only function."""
def __init__(self, dummy, return_type, function_name, *args):
"""Initialize a MacroFunctionTest object."""
self.return_type = return_type
self.function_name = function_name
self.args = ' '.join(args)
self.allow_name = function_name
def gen_subtests(self):
"""Generate subtests for a MacroFunctionTest."""
text = ('#ifndef %(function_name)s\n'
'%(return_type)s (*foobarbaz_%(num)d) %(args)s '
'= %(function_name)s;\n'
'#endif\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of macro %s' % self.function_name,
text))
text = ('#ifndef %(function_name)s\n'
'extern %(return_type)s (*foobarbaz2_%(num)d) %(args)s;\n'
'extern __typeof__ (&%(function_name)s) foobarbaz2_%(num)d;\n'
'#endif\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Type of macro %s' % self.function_name,
text))
class MacroStrTest(object):
"""Test for a string-valued macro."""
def __init__(self, dummy, macro_name, value):
"""Initialize a MacroStrTest object."""
self.macro_name = macro_name
self.value = value
self.allow_name = macro_name
def gen_subtests(self):
"""Generate subtests for a MacroStrTest."""
text = ('#ifndef %(macro_name)s\n'
'# error "Macro %(macro_name)s not defined"\n'
'#endif\n'
% vars(self))
self.subtests.append(CompileSubTest(
'Availability of macro %s' % self.macro_name,
text))
# We can't include here.
text = ('extern int (strcmp)(const char *, const char *);\n'
'int main (void) { return (strcmp) (%(macro_name)s, '
'%(value)s) != 0; }\n'
% vars(self))
self.subtests.append(ExecuteSubTest(
'Value of macro %s' % self.macro_name,
text))
class HeaderTests(object):
"""The set of tests run for a header."""
def __init__(self, header, standard, cc, flags, cross, xfail):
"""Initialize a HeaderTests object."""
self.header = header
self.standard = standard
self.cc = cc
self.flags = flags
self.cross = cross
self.xfail_str = xfail
self.cflags_namespace = ('%s -fno-builtin %s -D_ISOMAC'
% (flags, glibcconform.CFLAGS[standard]))
# When compiling the conformance test programs, use of
# __attribute__ in headers is disabled because of attributes
# that affect the types of functions as seen by typeof.
self.cflags = "%s '-D__attribute__(x)='" % self.cflags_namespace
self.tests = []
self.allow = set()
self.allow_fnmatch = set()
self.headers_handled = set()
self.num_tests = 0
self.total = 0
self.skipped = 0
self.errors = 0
self.xerrors = 0
def add_allow(self, name, pattern_ok):
"""Add an identifier as an allowed token for this header.
If pattern_ok, fnmatch patterns are OK as well as
identifiers.
"""
if re.fullmatch(r'[A-Za-z_][A-Za-z0-9_]*', name):
self.allow.add(name)
elif pattern_ok:
self.allow_fnmatch.add(name)
else:
raise ValueError('bad identifier: %s' % name)
def check_token(self, bad_tokens, token):
"""Check whether an identifier token is allowed, and record it in
bad_tokens if not.
"""
if token.startswith('_'):
return
if token in glibcconform.KEYWORDS[self.standard]:
return
if token in self.allow:
return
for pattern in self.allow_fnmatch:
if fnmatch.fnmatch(token, pattern):
return
bad_tokens.add(token)
def handle_test_line(self, line, allow):
"""Handle a single line in the test data.
If allow is true, the header is one specified in allow-header
and so tests are marked as allowed for namespace purposes but
otherwise ignored.
"""
orig_line = line
xfail = False
if line.startswith('xfail-'):
xfail = True
line = line[len('xfail-'):]
else:
match = re.match(r'xfail\[(.*?)\]-(.*)', line)
if match:
xfail_cond = match.group(1)
line = match.group(2)
# "xfail[cond]-" or "xfail[cond1|cond2|...]-" means a
# failure of the test is allowed if any of the listed
# conditions are in the --xfail command-line option
# argument.
if self.xfail_str and re.search(r'\b(%s)\b' % xfail_cond,
self.xfail_str):
xfail = True
optional = False
if line.startswith('optional-'):
optional = True
line = line[len('optional-'):]
# Tokens in test data are space-separated, except for {...}
# tokens that may contain spaces.
tokens = []
while line:
match = re.match(r'\{(.*?)\}(.*)', line)
if match:
tokens.append(match.group(1))
line = match.group(2)
else:
match = re.match(r'([^ ]*)(.*)', line)
tokens.append(match.group(1))
line = match.group(2)
line = line.strip()
if tokens[0] == 'allow-header':
if len(tokens) != 2 or xfail or optional:
raise ValueError('bad allow-header line: %s' % orig_line)
if tokens[1] not in self.headers_handled:
self.load_tests(tokens[1], True)
return
if tokens[0] == 'allow':
if len(tokens) != 2 or xfail or optional:
raise ValueError('bad allow line: %s' % orig_line)
self.add_allow(tokens[1], True)
return
test_classes = {'element': ElementTest,
'macro': ConstantTest,
'constant': ConstantTest,
'macro-constant': ConstantTest,
'macro-int-constant': ConstantTest,
'symbol': SymbolTest,
'type': TypeTest,
'tag': TagTest,
'function': FunctionTest,
'variable': VariableTest,
'macro-function': MacroFunctionTest,
'macro-str': MacroStrTest}
test = test_classes[tokens[0]](*tokens)
test.xfail = xfail
test.optional = optional
test.num = self.num_tests
test.subtests = []
self.num_tests += 1
self.add_allow(test.allow_name, False)
if not allow:
test.gen_subtests()
self.tests.append(test)
def load_tests(self, header, allow):
"""Load tests of a header.
If allow is true, the header is one specified in allow-header
and so tests are marked as allowed for namespace purposes but
otherwise ignored.
"""
self.headers_handled.add(header)
header_s = header.replace('/', '_')
temp_file = os.path.join(self.temp_dir, 'header-data-%s' % header_s)
cmd = ('%s -E -D%s -std=c99 -x c data/%s-data > %s'
% (self.cc, self.standard, header, temp_file))
subprocess.check_call(cmd, shell=True)
with open(temp_file, 'r') as tests:
for line in tests:
line = line.strip()
if line == '' or line.startswith('#'):
continue
self.handle_test_line(line, allow)
def note_error(self, name, xfail):
"""Note a failing test."""
if xfail:
print('XFAIL: %s' % name)
self.xerrors += 1
else:
print('FAIL: %s' % name)
self.errors += 1
sys.stdout.flush()
def note_skip(self, name):
"""Note a skipped test."""
print('SKIP: %s' % name)
self.skipped += 1
sys.stdout.flush()
def compile_test(self, name, text):
"""Run a compilation test; return True if it passes."""
self.total += 1
if self.group_ignore:
return False
optional = self.group_optional
self.group_optional = False
if self.group_skip:
self.note_skip(name)
return False
c_file = os.path.join(self.temp_dir, 'test.c')
o_file = os.path.join(self.temp_dir, 'test.o')
with open(c_file, 'w') as c_file_out:
c_file_out.write('#include <%s>\n%s' % (self.header, text))
cmd = ('%s %s -c %s -o %s' % (self.cc, self.cflags, c_file, o_file))
try:
subprocess.check_call(cmd, shell=True)
except subprocess.CalledProcessError:
if optional:
print('MISSING: %s' % name)
sys.stdout.flush()
self.group_ignore = True
else:
self.note_error(name, self.group_xfail)
self.group_skip = True
return False
print('PASS: %s' % name)
sys.stdout.flush()
return True
def execute_test(self, name, text):
"""Run an execution test."""
self.total += 1
if self.group_ignore:
return False
if self.group_skip:
self.note_skip(name)
return
c_file = os.path.join(self.temp_dir, 'test.c')
exe_file = os.path.join(self.temp_dir, 'test')
with open(c_file, 'w') as c_file_out:
c_file_out.write('#include <%s>\n%s' % (self.header, text))
cmd = ('%s %s %s -o %s' % (self.cc, self.cflags, c_file, exe_file))
try:
subprocess.check_call(cmd, shell=True)
except subprocess.CalledProcessError:
self.note_error(name, self.group_xfail)
return
if self.cross:
self.note_skip(name)
return
try:
subprocess.check_call(exe_file, shell=True)
except subprocess.CalledProcessError:
self.note_error(name, self.group_xfail)
return
print('PASS: %s' % name)
sys.stdout.flush()
def check_namespace(self, name):
"""Check the namespace of a header."""
c_file = os.path.join(self.temp_dir, 'namespace.c')
out_file = os.path.join(self.temp_dir, 'namespace-out')
with open(c_file, 'w') as c_file_out:
c_file_out.write('#include <%s>\n' % self.header)
cmd = ('%s %s -E %s -P -Wp,-dN > %s'
% (self.cc, self.cflags_namespace, c_file, out_file))
subprocess.check_call(cmd, shell=True)
bad_tokens = set()
with open(out_file, 'r') as content:
for line in content:
line = line.strip()
if not line:
continue
if re.match(r'# [1-9]', line):
continue
match = re.match(r'#define (.*)', line)
if match:
self.check_token(bad_tokens, match.group(1))
continue
match = re.match(r'#undef (.*)', line)
if match:
bad_tokens.discard(match.group(1))
continue
# Tokenize the line and check identifiers found. The
# handling of strings and character constants does not
# allow for escaped quotes, and hex floats may be
# wrongly split into tokens including identifiers, but
# this is sufficient in practice.
line = re.sub(r'(?:\bL)?(?:"[^"]*"|\'[^\']*\')', '', line)
line = line.strip()
for token in re.split(r'[^A-Za-z0-9_]+', line):
if re.match(r'[A-Za-z_]', token):
self.check_token(bad_tokens, token)
if bad_tokens:
for token in sorted(bad_tokens):
print(' Namespace violation: "%s"' % token)
self.note_error(name, False)
else:
print('PASS: %s' % name)
sys.stdout.flush()
def run(self):
"""Load and run tests of a header."""
with tempfile.TemporaryDirectory() as self.temp_dir:
self.load_tests(self.header, False)
self.group_optional = False
self.group_xfail = False
self.group_ignore = False
self.group_skip = False
available = self.compile_test('Availability of <%s>' % self.header,
'')
if available:
# As an optimization, try running all non-optional,
# non-XFAILed compilation tests in a single execution
# of the compiler.
combined_list = []
for test in self.tests:
if not test.optional and not test.xfail:
for subtest in test.subtests:
if isinstance(subtest, CompileSubTest):
combined_list.append(subtest.text)
subtest.run_early = True
combined_ok = self.compile_test('Combined <%s> test'
% self.header,
'\n'.join(combined_list))
# Now run the other tests, or all tests if the
# combined test failed.
for test in self.tests:
# A test may run more than one subtest. If the
# initial subtest for an optional symbol fails,
# others are not run at all; if the initial
# subtest for an optional symbol succeeds, others
# are run and are not considered optional; if the
# initial subtest for a required symbol fails,
# others are skipped.
self.group_optional = test.optional
self.group_xfail = test.xfail
self.group_ignore = False
self.group_skip = False
for subtest in test.subtests:
if combined_ok and subtest.run_early:
self.total += 1
print('PASSCOMBINED: %s' % subtest.name)
sys.stdout.flush()
else:
subtest.run(self)
namespace_name = 'Namespace of <%s>' % self.header
if available:
self.check_namespace(namespace_name)
else:
self.note_skip(namespace_name)
print('-' * 76)
print(' Total number of tests : %4d' % self.total)
print(' Number of failed tests : %4d' % self.errors)
print(' Number of xfailed tests : %4d' % self.xerrors)
print(' Number of skipped tests : %4d' % self.skipped)
sys.exit(1 if self.errors else 0)
def main():
"""The main entry point."""
parser = argparse.ArgumentParser(description='Check header contents.')
parser.add_argument('--header', metavar='HEADER',
help='name of header')
parser.add_argument('--standard', metavar='STD',
help='standard to use when processing header')
parser.add_argument('--cc', metavar='CC',
help='C compiler to use')
parser.add_argument('--flags', metavar='CFLAGS',
help='Compiler flags to use with CC')
parser.add_argument('--cross', action='store_true',
help='Do not run compiled test programs')
parser.add_argument('--xfail', metavar='COND',
help='Name of condition for XFAILs')
args = parser.parse_args()
tests = HeaderTests(args.header, args.standard, args.cc, args.flags,
args.cross, args.xfail)
tests.run()
if __name__ == '__main__':
main()