X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=findproblems.sh;h=233079a7c42d5afa4178487fff81e911c37a334a;hb=90a5c3ea7705b5af3312a6190afb1a9f46f67bef;hp=e5f73a5e1cf4f150a3b7998409646b6b36fbe37a;hpb=77fc72c061a0bf88335052377ee89df45dfd846b;p=musl-tables

diff --git a/findproblems.sh b/findproblems.sh
index e5f73a5..233079a 100755
--- a/findproblems.sh
+++ b/findproblems.sh
@@ -8,16 +8,21 @@ export LC_ALL=C
 	awk -F'\t' '{print $2}' data/musl.syms
 } |sort |uniq |awk -F'\t' '
 BEGIN {
-	posix = "data/posix2008.ok.proto"
 	syms = "data/musl.syms"
 	tags = "data/musl.tags.proto"
+	posix = "data/posix2008.ok.proto"
 
 	while (getline < syms == 1)
 		sym[$2] = $1
 
-	# todo: same tag may be defined in several headers
-	while (getline < tags == 1)
-		tag[$1] = $2 "\t" $3 "\t" $5 "\t" $6
+	while (getline < tags == 1) {
+		if ($5 ~ /^#undef/)
+			continue
+		if ($1 in tag)
+			tag[$1] = tag[$1] "@" $2 "\t" $3 "\t" $5 "\t" $6
+		else
+			tag[$1] = $2 "\t" $3 "\t" $5 "\t" $6
+	}
 
 	while (getline < posix == 1)
 		pos[$1] = $2 "\t" $5 "\t" $6
@@ -31,28 +36,59 @@ BEGIN {
 	if (pos[$1])
 		s = s " posix"
 
-	print $1 "\t" substr(s,2) "\t" sym[$1] "\t" tag[$1] "\t" pos[$1]
+	n = split(tag[$1],a,"@")
+	if (n==0) {
+		n=1
+		a[1]=""
+	}
+	for (i = 1; i <= n; i++)
+		print $1 "\t" substr(s,2) "\t" sym[$1] "\t" a[i] "\t" pos[$1]
 }' >data/musl.all
 
 awk -F'\t' '
+herr && lastid != $1 {
+	print herr
+	herr = ""
+}
 $2 == "obj" || $2 == "obj posix" {
 	# not declared
 	if ($1 !~ /^_/)
 		print "nodecl\t" $1 "\t" $3
 }
-$2 ~ /inc posix/ && $4 != $8 {
+$2 ~ /inc/ && $5 == "p" {
+	# check for different declarations of the same symbol
+	if ($1 in proto) {
+		if (proto[$1] != $6)
+			print "proto\t" $1 "\t" $4 "\t" head[$1] "\t" $6 "\t" proto[$1]
+	} else {
+		proto[$1] = $6
+		head[$1] = $4
+	}
+}
+$2 ~ /inc posix/ && $4 == $8 {
+	head[$1] = $4
+	herr = ""
+}
+$2 ~ /inc posix/ && head[$1] != $8 && $4 !~ /^bits\// {
 	# different header
-
 	n = split($8, a, " ")
 	for (i = 1; i <= n; i++)
 		if ($4 == a[i])
 			break
 	if (i > n)
-		print "header\t" $1 "\t" $4 "\t" $8
+		# delay error msg
+		herr = "header\t" $1 "\t" $4 "\t" $8
 }
 $2 ~ /inc posix/ && $7 != $10 && $5 == "p" {
 	# different prototype
 	print "proto\t" $1 "\t" $4 "\t" $7 "\t" $10 "\t" $6 "\t" $9
 }
+{
+	lastid = $1
+}
+END{
+	if(herr)
+		print herr
+}
 ' data/musl.all >data/musl.problems