diff options
Diffstat (limited to 'REORG.TODO/conform/conformtest.pl')
| -rw-r--r-- | REORG.TODO/conform/conformtest.pl | 898 |
1 files changed, 898 insertions, 0 deletions
diff --git a/REORG.TODO/conform/conformtest.pl b/REORG.TODO/conform/conformtest.pl new file mode 100644 index 0000000000..cb500f0e76 --- /dev/null +++ b/REORG.TODO/conform/conformtest.pl @@ -0,0 +1,898 @@ +#!/usr/bin/perl + +use GlibcConform; +use Getopt::Long; +use POSIX; + +$standard = "XOPEN2K8"; +$CC = "gcc"; +$tmpdir = "/tmp"; +$cross = ""; +$xfail_str = ""; +GetOptions ('headers=s' => \@headers, 'standard=s' => \$standard, + 'flags=s' => \$flags, 'cc=s' => \$CC, 'tmpdir=s' => \$tmpdir, + 'cross' => \$cross, 'xfail=s' => \$xfail_str); +@headers = split(/,/,join(',',@headers)); + +# List of the headers we are testing. +if (@headers == ()) { + @headers = ("wordexp.h", "wctype.h", "wchar.h", "varargs.h", "utmpx.h", + "utime.h", "unistd.h", "ulimit.h", "ucontext.h", "uchar.h", + "time.h", "tgmath.h", "termios.h", "tar.h", "sys/wait.h", + "sys/utsname.h", "sys/un.h", "sys/uio.h", "sys/types.h", + "sys/times.h", "sys/timeb.h", "sys/time.h", "sys/statvfs.h", + "sys/stat.h", "sys/socket.h", "sys/shm.h", "sys/sem.h", + "sys/select.h", "sys/resource.h", "sys/msg.h", "sys/mman.h", + "sys/ipc.h", "syslog.h", "stropts.h", "strings.h", "string.h", + "stdnoreturn.h", "stdlib.h", "stdio.h", "stdint.h", "stddef.h", + "stdbool.h", "stdarg.h", "stdalign.h", "spawn.h", "signal.h", + "setjmp.h", "semaphore.h", "search.h", "sched.h", "regex.h", + "pwd.h", "pthread.h", "poll.h", "nl_types.h", "netinet/tcp.h", + "netinet/in.h", "net/if.h", "netdb.h", "ndbm.h", "mqueue.h", + "monetary.h", "math.h", "locale.h", "libgen.h", "limits.h", + "langinfo.h", "iso646.h", "inttypes.h", "iconv.h", "grp.h", + "glob.h", "ftw.h", "fnmatch.h", "fmtmsg.h", "float.h", "fenv.h", + "fcntl.h", "errno.h", "dlfcn.h", "dirent.h", "ctype.h", "cpio.h", + "complex.h", "assert.h", "arpa/inet.h", "aio.h"); +} + +$CFLAGS_namespace = "$flags -fno-builtin $CFLAGS{$standard} -D_ISOMAC"; +$CFLAGS = "$CFLAGS_namespace '-D__attribute__(x)='"; + +# Check standard name for validity. +die "unknown standard \"$standard\"" if ($CFLAGS{$standard} eq ""); + +# if ($standard ne "XOPEN2K8" && $standard ne "POSIX2008") { +# # Some headers need a bit more attention. At least with XPG7 +# # all headers should be self-contained. +# $mustprepend{'inttypes.h'} = "#include <stddef.h>\n"; +# $mustprepend{'glob.h'} = "#include <sys/types.h>\n"; +# $mustprepend{'grp.h'} = "#include <sys/types.h>\n"; +# $mustprepend{'regex.h'} = "#include <sys/types.h>\n"; +# $mustprepend{'pwd.h'} = "#include <sys/types.h>\n"; +# $mustprepend{'sched.h'} = "#include <sys/types.h>\n"; +# $mustprepend{'signal.h'} = "#include <pthread.h>\n#include <sys/types.h>\n"; +# $mustprepend{'stdio.h'} = "#include <sys/types.h>\n"; +# $mustprepend{'sys/stat.h'} = "#include <sys/types.h>\n"; +# $mustprepend{'wchar.h'} = "#include <stdarg.h>\n"; +# $mustprepend{'wordexp.h'} = "#include <stddef.h>\n"; +# } + +# These are the ISO C90 keywords. +@keywords = ('auto', 'break', 'case', 'char', 'const', 'continue', 'default', + 'do', 'double', 'else', 'enum', 'extern', 'float', 'for', 'goto', + 'if', 'int', 'long', 'register', 'return', + 'short', 'signed', 'sizeof', 'static', 'struct', 'switch', + 'typedef', 'union', 'unsigned', 'void', 'volatile', 'while'); +if ($CFLAGS{$standard} =~ /-std=(c99|c1x)/) { + push (@keywords, 'inline', 'restrict'); +} + +# Make a hash table from this information. +while ($#keywords >= 0) { + $iskeyword{pop (@keywords)} = 1; +} + +$verbose = 1; + +$total = 0; +$skipped = 0; +$errors = 0; +$xerrors = 0; + +sub note_error { + my($xfail) = @_; + if ($xfail) { + $xerrors++; + printf ("Ignoring this failure.\n"); + } else { + $errors++; + } +} + + +sub poorfnmatch { + my($pattern, $string) = @_; + my($strlen) = length ($string); + my($res); + + if (substr ($pattern, 0, 1) eq '*') { + my($patlen) = length ($pattern) - 1; + $res = ($strlen >= $patlen + && substr ($pattern, -$patlen, $patlen) eq substr ($string, -$patlen, $patlen)); + } elsif (substr ($pattern, -1, 1) eq '*') { + if (substr ($pattern, -2, 1) eq ']') { + my($patlen) = index ($pattern, '['); + my($range) = substr ($pattern, $patlen + 1, -2); + $res = ($strlen > $patlen + && substr ($pattern, 0, $patlen) eq substr ($string, 0, $patlen) + && index ($range, substr ($string, $patlen, 1)) != -1); + } else { + my($patlen) = length ($pattern) - 1; + $res = ($strlen >= $patlen + && substr ($pattern, 0, $patlen) eq substr ($string, 0, $patlen)); + } + } else { + $res = $pattern eq $string; + } + return $res; +} + + +sub compiletest +{ + my($fnamebase, $msg, $errmsg, $skip, $optional, $xfail) = @_; + my($result) = $skip; + my($printlog) = 0; + + ++$total; + printf (" $msg..."); + + if ($skip != 0) { + ++$skipped; + printf (" SKIP\n"); + } else { + $ret = system "$CC $CFLAGS -c $fnamebase.c -o $fnamebase.o > $fnamebase.out 2>&1"; + if ($ret != 0) { + if ($optional != 0) { + printf (" $errmsg\n"); + $result = 1; + } else { + printf (" FAIL\n"); + if ($verbose != 0) { + printf (" $errmsg Compiler message:\n"); + $printlog = 1; + } + note_error($xfail); + $result = 1; + } + } else { + printf (" OK\n"); + if ($verbose > 1 && -s "$fnamebase.out") { + # We print all warnings issued. + $printlog = 1; + } + } + if ($printlog != 0) { + printf (" " . "-" x 71 . "\n"); + open (MESSAGE, "< $fnamebase.out"); + while (<MESSAGE>) { + printf (" %s", $_); + } + close (MESSAGE); + printf (" " . "-" x 71 . "\n"); + } + } + unlink "$fnamebase.c"; + unlink "$fnamebase.o"; + unlink "$fnamebase.out"; + + $result; +} + + +sub runtest +{ + my($fnamebase, $msg, $errmsg, $skip, $xfail) = @_; + my($result) = $skip; + my($printlog) = 0; + + ++$total; + printf (" $msg..."); + + if ($skip != 0) { + ++$skipped; + printf (" SKIP\n"); + } else { + $ret = system "$CC $CFLAGS -o $fnamebase $fnamebase.c > $fnamebase.out 2>&1"; + if ($ret != 0) { + printf (" FAIL\n"); + if ($verbose != 0) { + printf (" $errmsg Compiler message:\n"); + $printlog = 1; + } + note_error($xfail); + $result = 1; + } elsif ($cross) { + printf (" SKIP\n"); + } else { + # Now run the program. If the exit code is not zero something is wrong. + $result = system "$fnamebase > $fnamebase.out2 2>&1"; + if ($result == 0) { + printf (" OK\n"); + if ($verbose > 1 && -s "$fnamebase.out") { + # We print all warnings issued. + $printlog = 1; + system "cat $fnamebase.out2 >> $fnamebase.out"; + } + } else { + printf (" FAIL\n"); + note_error($xfail); + $printlog = 1; + unlink "$fnamebase.out"; + rename "$fnamebase.out2", "$fnamebase.out"; + } + } + if ($printlog != 0) { + printf (" " . "-" x 71 . "\n"); + open (MESSAGE, "< $fnamebase.out"); + while (<MESSAGE>) { + printf (" %s", $_); + } + close (MESSAGE); + printf (" " . "-" x 71 . "\n"); + } + } + unlink "$fnamebase"; + unlink "$fnamebase.c"; + unlink "$fnamebase.o"; + unlink "$fnamebase.out"; + unlink "$fnamebase.out2"; + + $result; +} + + +sub newtoken { + my($token, @allow) = @_; + my($idx); + + return if ($token =~ /^[0-9_]/ || $iskeyword{$token}); + + for ($idx = 0; $idx <= $#allow; ++$idx) { + return if (poorfnmatch ($allow[$idx], $token)); + } + + $errors{$token} = 1; +} + + +sub removetoken { + my($token) = @_; + my($idx); + + return if ($token =~ /^[0-9_]/ || $iskeyword{$token}); + + if (exists $errors{$token}) { + undef $errors{$token}; + } +} + + +sub checknamespace { + my($h, $fnamebase, @allow) = @_; + + ++$total; + + # Generate a program to get the contents of this header. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "#include <$h>\n"; + close (TESTFILE); + + undef %errors; + open (CONTENT, "$CC $CFLAGS_namespace -E $fnamebase.c -P -Wp,-dN | sed -e '/^# [1-9]/d' -e '/^[[:space:]]*\$/d' |"); + loop: while (<CONTENT>) { + chop; + if (/^#define (.*)/) { + newtoken ($1, @allow); + } elsif (/^#undef (.*)/) { + removetoken ($1); + } else { + # We have to tokenize the line. + my($str) = $_; + + $str =~ s/"[^"]*"//g; + foreach $token (split(/[^a-zA-Z0-9_]/, $str)) { + if ($token ne "") { + newtoken ($token, @allow); + } + } + } + } + close (CONTENT); + unlink "$fnamebase.c"; + $realerror = 0; + if ($#errors != 0) { + # Sort the output list so it's easier to compare results with diff. + foreach $f (sort keys(%errors)) { + if ($errors{$f} == 1) { + if ($realerror == 0) { + printf ("FAIL\n " . "-" x 72 . "\n"); + $realerror = 1; + ++$errors; + } + printf (" Namespace violation: \"%s\"\n", $f); + } + } + printf (" " . "-" x 72 . "\n") if ($realerror != 0); + } + + if ($realerror == 0) { + printf ("OK\n"); + } +} + + +while ($#headers >= 0) { + my($h) = pop (@headers); + my($hf) = $h; + $hf =~ s|/|-|; + my($fnamebase) = "$tmpdir/$hf-test"; + my($missing) = 1; + my(@allow) = (); + my(@allowheader) = (); + my(%seenheader) = (); + my($prepend) = $mustprepend{$h}; + my($test_exist) = 1; + + printf ("Testing <$h>\n"); + printf ("----------" . "-" x length ($h) . "\n"); + + open (CONTROL, "$CC -E -D$standard -std=c99 -x c data/$h-data |"); + control: while (<CONTROL>) { + chop; + next control if (/^#/); + next control if (/^[ ]*$/); + + if ($test_exist) { + $test_exist = 0; + # Generate a program to test for the availability of this header. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + close (TESTFILE); + + $missing = compiletest ($fnamebase, "Checking whether <$h> is available", + "Header <$h> not available", 0, 0, 0); + printf ("\n"); + last control if ($missing); + } + + my($xfail) = 0; + if (/^xfail-/) { + s/^xfail-//; + $xfail = 1; + } elsif (/^xfail\[([^\]]*)\]-/) { + my($xfail_cond) = $1; + s/^xfail\[([^\]]*)\]-//; + # "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 ($xfail_str =~ /\b($xfail_cond)\b/) { + $xfail = 1; + } + } + my($optional) = 0; + if (/^optional-/) { + s/^optional-//; + $optional = 1; + } + if (/^element *({([^}]*)}|([^{ ]*)) *({([^}]*)}|([^{ ]*)) *([A-Za-z0-9_]*) *(.*)/) { + my($struct) = "$2$3"; + my($type) = "$5$6"; + my($member) = "$7"; + my($rest) = "$8"; + my($res) = $missing; + + # Remember that this name is allowed. + push @allow, $member; + + # Generate a program to test for the availability of this member. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "$struct a;\n"; + print TESTFILE "$struct b;\n"; + print TESTFILE "extern void xyzzy (__typeof__ (&b.$member), __typeof__ (&a.$member), unsigned);\n"; + print TESTFILE "void foobarbaz (void) {\n"; + print TESTFILE " xyzzy (&a.$member, &b.$member, sizeof (a.$member));\n"; + print TESTFILE "}\n"; + close (TESTFILE); + + $res = compiletest ($fnamebase, "Testing for member $member", + ($optional + ? "NOT AVAILABLE." + : "Member \"$member\" not available."), $res, + $optional, $xfail); + + if ($res == 0 || $missing != 0 || !$optional) { + # Test the types of the members. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "$struct a;\n"; + print TESTFILE "extern $type b$rest;\n"; + print TESTFILE "extern __typeof__ (a.$member) b;\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Testing for type of member $member", + "Member \"$member\" does not have the correct type.", + $res, 0, $xfail); + } + } elsif (/^(macro|constant|macro-constant|macro-int-constant) +([a-zA-Z0-9_]*) *(?:{([^}]*)} *)?(?:([>=<!]+) ([A-Za-z0-9_\\'-]*))?/) { + my($symbol_type) = $1; + my($symbol) = $2; + my($type) = $3; + my($op) = $4; + my($value) = $5; + my($res) = $missing; + my($mres) = $missing; + my($cres) = $missing; + + # Remember that this name is allowed. + push @allow, $symbol; + + if ($symbol_type =~ /macro/) { + # Generate a program to test for availability of this macro. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "#ifndef $symbol\n"; + print TESTFILE "# error \"Macro $symbol not defined\"\n"; + print TESTFILE "#endif\n"; + close (TESTFILE); + + $mres = compiletest ($fnamebase, "Test availability of macro $symbol", + ($optional + ? "NOT PRESENT" + : "Macro \"$symbol\" is not available."), $res, + $optional, $xfail); + } + + if ($symbol_type =~ /constant/) { + # Generate a program to test for the availability of this constant. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "__typeof__ ($symbol) a = $symbol;\n"; + close (TESTFILE); + + $cres = compiletest ($fnamebase, "Testing for constant $symbol", + ($optional + ? "NOT PRESENT" + : "Constant \"$symbol\" not available."), $res, + $optional, $xfail); + } + + $res = $res || $mres || $cres; + + if ($symbol_type eq "macro-int-constant" && ($res == 0 || !$optional)) { + # Test that the symbol is usable in #if. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "#if $symbol < 0\n"; + print TESTFILE "# define conformtest_negative 1\n"; + my($s) = "0"; + for (my $i = 0; $i < 63; $i++) { + print TESTFILE "# if $symbol & (1LL << $i)\n"; + print TESTFILE "# define conformtest_bit_$i 0LL\n"; + print TESTFILE "# else\n"; + print TESTFILE "# define conformtest_bit_$i (1LL << $i)\n"; + print TESTFILE "# endif\n"; + $s .= "|conformtest_bit_$i"; + } + print TESTFILE "# define conformtest_value ~($s)\n"; + print TESTFILE "#else\n"; + print TESTFILE "# define conformtest_negative 0\n"; + $s = "0"; + for (my $i = 0; $i < 64; $i++) { + print TESTFILE "# if $symbol & (1ULL << $i)\n"; + print TESTFILE "# define conformtest_bit_$i (1ULL << $i)\n"; + print TESTFILE "# else\n"; + print TESTFILE "# define conformtest_bit_$i 0ULL\n"; + print TESTFILE "# endif\n"; + $s .= "|conformtest_bit_$i"; + } + print TESTFILE "# define conformtest_value ($s)\n"; + print TESTFILE "#endif\n"; + print TESTFILE "_Static_assert ((($symbol < 0) == conformtest_negative) && ($symbol == conformtest_value), \"value match inside and outside #if\");\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Testing for #if usability of symbol $symbol", + "Symbol \"$symbol\" not usable in #if.", $res, 0, $xfail); + } + + if (defined ($type) && ($res == 0 || !$optional)) { + # Test the type of the symbol. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + if ($type =~ /^promoted:/) { + $type =~ s/^promoted://; + print TESTFILE "__typeof__ (($type) 0 + ($type) 0) a;\n"; + } else { + print TESTFILE "__typeof__ (($type) 0) a;\n"; + } + print TESTFILE "extern __typeof__ ($symbol) a;\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Testing for type of symbol $symbol", + "Symbol \"$symbol\" does not have the correct type.", + $res, 0, $xfail); + } + + if (defined ($op) && ($res == 0 || !$optional)) { + # Generate a program to test for the value of this symbol. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "_Static_assert ($symbol $op $value, \"value constraint\");\n"; + close (TESTFILE); + + $res = compiletest ($fnamebase, "Testing for value of symbol $symbol", + "Symbol \"$symbol\" has not the right value.", + $res, 0, $xfail); + } + } elsif (/^symbol *([a-zA-Z0-9_]*) *([A-Za-z0-9_-]*)?/) { + my($symbol) = $1; + my($value) = $2; + my($res) = $missing; + + # Remember that this name is allowed. + push @allow, $symbol; + + # Generate a program to test for the availability of this constant. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "void foobarbaz (void) {\n"; + print TESTFILE "__typeof__ ($symbol) a = $symbol;\n"; + print TESTFILE "}\n"; + close (TESTFILE); + + $res = compiletest ($fnamebase, "Testing for symbol $symbol", + "Symbol \"$symbol\" not available.", $res, 0, $xfail); + + if ($value ne "") { + # Generate a program to test for the value of this constant. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "int main (void) { return $symbol != $value; }\n"; + close (TESTFILE); + + $res = runtest ($fnamebase, "Testing for value of symbol $symbol", + "Symbol \"$symbol\" has not the right value.", $res, + $xfail); + } + } elsif (/^type *({([^}]*)|([a-zA-Z0-9_]*))/) { + my($type) = "$2$3"; + my($maybe_opaque) = 0; + + # Remember that this name is allowed. + if ($type =~ /^struct *(.*)/) { + push @allow, $1; + } elsif ($type =~ /^union *(.*)/) { + push @allow, $1; + } else { + push @allow, $type; + $maybe_opaque = 1; + } + + # Generate a program to test for the availability of this type. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + if ($maybe_opaque == 1) { + print TESTFILE "$type *a;\n"; + } else { + print TESTFILE "$type a;\n"; + } + close (TESTFILE); + + compiletest ($fnamebase, "Testing for type $type", + ($optional + ? "NOT AVAILABLE" + : "Type \"$type\" not available."), $missing, $optional, + $xfail); + } elsif (/^tag *({([^}]*)|([a-zA-Z0-9_]*))/) { + my($type) = "$2$3"; + + # Remember that this name is allowed. + if ($type =~ /^struct *(.*)/) { + push @allow, $1; + } elsif ($type =~ /^union *(.*)/) { + push @allow, $1; + } else { + push @allow, $type; + } + + # Generate a program to test for the availability of this type. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "$type;\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Testing for type $type", + "Type \"$type\" not available.", $missing, 0, $xfail); + } elsif (/^function *({([^}]*)}|([a-zA-Z0-9_]*)) [(][*]([a-zA-Z0-9_]*) ([(].*[)])/) { + my($rettype) = "$2$3"; + my($fname) = "$4"; + my($args) = "$5"; + my($res) = $missing; + + # Remember that this name is allowed. + push @allow, $fname; + + # Generate a program to test for availability of this function. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + # print TESTFILE "#undef $fname\n"; + print TESTFILE "$rettype (*(*foobarbaz) $args = $fname;\n"; + close (TESTFILE); + + $res = compiletest ($fnamebase, "Test availability of function $fname", + ($optional + ? "NOT AVAILABLE" + : "Function \"$fname\" is not available."), $res, + $optional, $xfail); + + if ($res == 0 || $missing == 1 || !$optional) { + # Generate a program to test for the type of this function. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + # print TESTFILE "#undef $fname\n"; + print TESTFILE "extern $rettype (*(*foobarbaz) $args;\n"; + print TESTFILE "extern __typeof__ (&$fname) foobarbaz;\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Test for type of function $fname", + "Function \"$fname\" has incorrect type.", $res, 0, + $xfail); + } + } elsif (/^function *({([^}]*)}|([a-zA-Z0-9_]*)) ([a-zA-Z0-9_]*) ([(].*[)])/) { + my($rettype) = "$2$3"; + my($fname) = "$4"; + my($args) = "$5"; + my($res) = $missing; + + # Remember that this name is allowed. + push @allow, $fname; + + # Generate a program to test for availability of this function. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + # print TESTFILE "#undef $fname\n"; + print TESTFILE "$rettype (*foobarbaz) $args = $fname;\n"; + close (TESTFILE); + + $res = compiletest ($fnamebase, "Test availability of function $fname", + ($optional + ? "NOT AVAILABLE" + : "Function \"$fname\" is not available."), $res, + $optional, $xfail); + + if ($res == 0 || $missing != 0 || !$optional) { + # Generate a program to test for the type of this function. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + # print TESTFILE "#undef $fname\n"; + print TESTFILE "extern $rettype (*foobarbaz) $args;\n"; + print TESTFILE "extern __typeof__ (&$fname) foobarbaz;\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Test for type of function $fname", + "Function \"$fname\" has incorrect type.", $res, 0, + $xfail); + } + } elsif (/^variable *({([^}]*)}|([a-zA-Z0-9_]*)) ([a-zA-Z0-9_]*) *(.*)/) { + my($type) = "$2$3"; + my($vname) = "$4"; + my($rest) = "$5"; + my($res) = $missing; + + # Remember that this name is allowed. + push @allow, $vname; + + # Generate a program to test for availability of this function. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + # print TESTFILE "#undef $fname\n"; + print TESTFILE "typedef $type xyzzy$rest;\n"; + print TESTFILE "$xyzzy *foobarbaz = &$vname;\n"; + close (TESTFILE); + + $res = compiletest ($fnamebase, "Test availability of variable $vname", + "Variable \"$vname\" is not available.", $res, 0, + $xfail); + + # Generate a program to test for the type of this function. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + # print TESTFILE "#undef $fname\n"; + print TESTFILE "extern $type $vname$rest;\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Test for type of variable $fname", + "Variable \"$vname\" has incorrect type.", $res, 0, $xfail); + } elsif (/^macro-function *({([^}]*)}|([a-zA-Z0-9_]*)) ([a-zA-Z0-9_]*) ([(].*[)])/) { + my($rettype) = "$2$3"; + my($fname) = "$4"; + my($args) = "$5"; + my($res) = $missing; + + # Remember that this name is allowed. + push @allow, $fname; + + # Generate a program to test for availability of this function. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "#ifndef $fname\n"; + print TESTFILE "$rettype (*foobarbaz) $args = $fname;\n"; + print TESTFILE "#endif\n"; + close (TESTFILE); + + $res = compiletest ($fnamebase, "Test availability of macro $fname", + "Function \"$fname\" is not available.", $res, 0, + $xfail); + + # Generate a program to test for the type of this function. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "#ifndef $fname\n"; + print TESTFILE "extern $rettype (*foobarbaz) $args;\n"; + print TESTFILE "extern __typeof__ (&$fname) foobarbaz;\n"; + print TESTFILE "#endif\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Test for type of macro $fname", + "Function \"$fname\" has incorrect type.", $res, 0, $xfail); + } elsif (/^macro-str *([^ ]*) *(\".*\")/) { + # The above regex doesn't handle a \" in a string. + my($macro) = "$1"; + my($string) = "$2"; + my($res) = $missing; + + # Remember that this name is allowed. + push @allow, $macro; + + # Generate a program to test for availability of this macro. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + print TESTFILE "#ifndef $macro\n"; + print TESTFILE "# error \"Macro $macro not defined\"\n"; + print TESTFILE "#endif\n"; + close (TESTFILE); + + compiletest ($fnamebase, "Test availability of macro $macro", + "Macro \"$macro\" is not available.", $missing, 0, $xfail); + + # Generate a program to test for the value of this macro. + open (TESTFILE, ">$fnamebase.c"); + print TESTFILE "$prepend"; + print TESTFILE "#include <$h>\n"; + # We can't include <string.h> here. + print TESTFILE "extern int (strcmp)(const char *, const char *);\n"; + print TESTFILE "int main (void) { return (strcmp) ($macro, $string) != 0;}\n"; + close (TESTFILE); + + $res = runtest ($fnamebase, "Testing for value of macro $macro", + "Macro \"$macro\" has not the right value.", $res, + $xfail); + } elsif (/^allow-header *(.*)/) { + my($pattern) = $1; + if ($seenheader{$pattern} != 1) { + push @allowheader, $pattern; + $seenheader{$pattern} = 1; + } + next control; + } elsif (/^allow *(.*)/) { + my($pattern) = $1; + push @allow, $pattern; + next control; + } else { + # printf ("line is `%s'\n", $_); + next control; + } + + printf ("\n"); + } + close (CONTROL); + + # Read the data files for the header files which are allowed to be included. + while ($#allowheader >= 0) { + my($ah) = pop @allowheader; + + open (ALLOW, "$CC -E -D$standard -x c data/$ah-data |"); + acontrol: while (<ALLOW>) { + chop; + next acontrol if (/^#/); + next acontrol if (/^[ ]*$/); + + s/^xfail(\[([^\]]*)\])?-//; + s/^optional-//; + if (/^element *({([^}]*)}|([^ ]*)) *({([^}]*)}|([^ ]*)) *([A-Za-z0-9_]*) *(.*)/) { + push @allow, $7; + } elsif (/^(macro|constant|macro-constant|macro-int-constant) +([a-zA-Z0-9_]*) *(?:{([^}]*)} *)?(?:([>=<!]+) ([A-Za-z0-9_-]*))?/) { + push @allow, $2; + } elsif (/^(type|tag) *({([^}]*)|([a-zA-Z0-9_]*))/) { + my($type) = "$3$4"; + + # Remember that this name is allowed. + if ($type =~ /^struct *(.*)/) { + push @allow, $1; + } elsif ($type =~ /^union *(.*)/) { + push @allow, $1; + } else { + push @allow, $type; + } + } elsif (/^function *({([^}]*)}|([a-zA-Z0-9_]*)) [(][*]([a-zA-Z0-9_]*) ([(].*[)])/) { + push @allow, $4; + } elsif (/^function *({([^}]*)}|([a-zA-Z0-9_]*)) ([a-zA-Z0-9_]*) ([(].*[)])/) { + push @allow, $4; + } elsif (/^variable *({([^}]*)}|([a-zA-Z0-9_]*)) ([a-zA-Z0-9_]*)/) { + push @allow, $4; + } elsif (/^macro-function *({([^}]*)}|([a-zA-Z0-9_]*)) ([a-zA-Z0-9_]*) ([(].*[)])/) { + push @allow, $4; + } elsif (/^symbol *([a-zA-Z0-9_]*) *([A-Za-z0-9_-]*)?/) { + push @allow, $1; + } elsif (/^allow-header *(.*)/) { + if ($seenheader{$1} != 1) { + push @allowheader, $1; + $seenheader{$1} = 1; + } + } elsif (/^allow *(.*)/) { + push @allow, $1; + } + } + close (ALLOW); + } + + if ($test_exist) { + printf (" Not defined\n"); + } else { + # Now check the namespace. + printf (" Checking the namespace of \"%s\"... ", $h); + if ($missing) { + ++$skipped; + printf ("SKIP\n"); + } else { + checknamespace ($h, $fnamebase, @allow); + } + } + + printf ("\n\n"); +} + +printf "-" x 76 . "\n"; +printf (" Total number of tests : %4d\n", $total); + +printf (" Number of failed tests : %4d (", $errors); +$percent = ($errors * 100) / $total; +if ($errors > 0 && $percent < 1.0) { + printf (" <1%%)\n"); +} else { + printf ("%3d%%)\n", $percent); +} + +printf (" Number of xfailed tests : %4d (", $xerrors); +$percent = ($xerrors * 100) / $total; +if ($xerrors > 0 && $percent < 1.0) { + printf (" <1%%)\n"); +} else { + printf ("%3d%%)\n", $percent); +} + +printf (" Number of skipped tests : %4d (", $skipped); +$percent = ($skipped * 100) / $total; +if ($skipped > 0 && $percent < 1.0) { + printf (" <1%%)\n"); +} else { + printf ("%3d%%)\n", $percent); +} + +exit $errors != 0; +# Local Variables: +# perl-indent-level: 2 +# End: |