From 6b52293f4defa6b45b564d037fd641be5d6d0e0e Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Wed, 10 Jan 2018 16:13:34 +0100
Subject: pkg/compiler: support type templates

Netlink descriptions contain tons of code duplication,
and need much more for proper descriptions. Introduce
type templates to simplify writing such descriptions
and remove code duplication.

Note: type templates are experimental, have poor error handling
and are subject to change.

Type templates can be declared as follows:

```
type buffer[DIR] ptr[DIR, array[int8]]
type fileoff[BASE] BASE
type nlattr[TYPE, PAYLOAD] {
	nla_len		len[parent, int16]
	nla_type	const[TYPE, int16]
	payload		PAYLOAD
} [align_4]
```

and later used as follows:

```
syscall(a buffer[in], b fileoff[int64], c ptr[in, nlattr[FOO, int32]])
```
---
 pkg/compiler/testdata/errors2.txt | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

(limited to 'pkg/compiler/testdata/errors2.txt')

diff --git a/pkg/compiler/testdata/errors2.txt b/pkg/compiler/testdata/errors2.txt
index 5b418ab55..67127c6ad 100644
--- a/pkg/compiler/testdata/errors2.txt
+++ b/pkg/compiler/testdata/errors2.txt
@@ -42,6 +42,18 @@ sr7 {
 	f1	ptr[in, sr7, opt]
 }
 
+type templ_sr[T] {
+	f	T
+}
+
+sr8 {
+	f	templ_sr[sr8]	### recursive declaration: sr8.f -> templ_sr[sr8].f -> sr8 (mark some pointers as opt)
+}
+
+sr9 {
+	f	templ_sr[ptr[in, sr9]]	### recursive declaration: sr9.f -> templ_sr[ptr[in, sr9]].f -> sr9 (mark some pointers as opt)
+}
+
 # Len target tests.
 
 foo$100(a int32, b len[a])
@@ -134,3 +146,17 @@ s403 {
 
 sf400 = "foo", "bar", "baz"
 sf401 = "a", "b", "cd"
+
+# Const argument checks.
+
+foo$500(a int32[3:2])		### bad int range [3:2]
+foo$501(a ptr[in, int32[3:2]])	### bad int range [3:2]
+foo$502(a ptr[in, string["foo", C1]])	### string value "foo\x00" exceeds buffer length 1
+foo$503(a ptr[in, proc[1000, 1, int8]])	### values starting from 1000 overflow base type
+foo$504(a ptr[in, proc[20, 10, int8]])	### values starting from 20 with step 10 overflow base type for 32 procs
+foo$505(a proc[20, 0])		### proc per-process values must not be 0
+foo$506(a ptr[in, array[int32, 0]])	### arrays of size 0 are not supported
+foo$507(a ptr[in, array[int32, 0:0]])	### arrays of size 0 are not supported
+foo$508(a ptr[in, string["foo", 3]])	### string value "foo\x00" exceeds buffer length 3
+
+type type500 proc[C1, 8, int8]	### values starting from 1 with step 8 overflow base type for 32 procs
-- 
cgit mrf-deployment