From: Jean Privat <jean@pryen.org>
Date: Wed, 18 Jun 2014 14:23:17 +0000 (-0400)
Subject: tests: add engine `nitg-sg` for --semi-global
X-Git-Tag: v0.6.6~23^2~1
X-Git-Url: http://nitlanguage.org

tests: add engine `nitg-sg` for --semi-global

Some platforms starts using it, so better check that we do
not broke it.

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/tests/nitg-sg.skip b/tests/nitg-sg.skip
new file mode 100644
index 0000000..c782ec0
--- /dev/null
+++ b/tests/nitg-sg.skip
@@ -0,0 +1,2 @@
+init_inherit
+init_linext
diff --git a/tests/sav/nitg-sg/fixme/base_attr_gen_alt1.res b/tests/sav/nitg-sg/fixme/base_attr_gen_alt1.res
new file mode 100644
index 0000000..2c8186c
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_attr_gen_alt1.res
@@ -0,0 +1 @@
+Caught signal : Segmentation fault
diff --git a/tests/sav/nitg-sg/fixme/base_attr_init_val_raf_alt1.res b/tests/sav/nitg-sg/fixme/base_attr_init_val_raf_alt1.res
new file mode 100644
index 0000000..2f1465d
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_attr_init_val_raf_alt1.res
@@ -0,0 +1,3 @@
+1
+1
+0
diff --git a/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt1.res b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt1.res
new file mode 100644
index 0000000..5625f1f
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt1.res
@@ -0,0 +1,7 @@
+0
+0
+1
+2
+10
+20
+30
diff --git a/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt2.res b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt2.res
new file mode 100644
index 0000000..2e8046c
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt2.res
@@ -0,0 +1,7 @@
+1
+0
+1
+2
+10
+20
+30
diff --git a/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt3.res b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt3.res
new file mode 100644
index 0000000..f0c5f8f
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt3.res
@@ -0,0 +1,8 @@
+0
+0
+0
+1
+2
+10
+20
+30
diff --git a/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt4.res b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt4.res
new file mode 100644
index 0000000..a12c8e0
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt4.res
@@ -0,0 +1,7 @@
+10
+0
+1
+2
+10
+20
+30
diff --git a/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt5.res b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt5.res
new file mode 100644
index 0000000..f343f0e
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_attr_nullable_int_alt5.res
@@ -0,0 +1,8 @@
+10
+20
+0
+1
+2
+10
+20
+30
diff --git a/tests/sav/nitg-sg/fixme/base_conflict_submodule_name.res b/tests/sav/nitg-sg/fixme/base_conflict_submodule_name.res
new file mode 100644
index 0000000..7f85acf
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_conflict_submodule_name.res
@@ -0,0 +1 @@
+Compilation error
diff --git a/tests/sav/nitg-sg/fixme/base_conflict_submodule_name_alt1.res b/tests/sav/nitg-sg/fixme/base_conflict_submodule_name_alt1.res
new file mode 100644
index 0000000..7f85acf
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_conflict_submodule_name_alt1.res
@@ -0,0 +1 @@
+Compilation error
diff --git a/tests/sav/nitg-sg/fixme/base_conflict_submodule_name_alt2.res b/tests/sav/nitg-sg/fixme/base_conflict_submodule_name_alt2.res
new file mode 100644
index 0000000..7f85acf
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_conflict_submodule_name_alt2.res
@@ -0,0 +1 @@
+Compilation error
diff --git a/tests/sav/nitg-sg/fixme/base_covar_int2_alt1.res b/tests/sav/nitg-sg/fixme/base_covar_int2_alt1.res
new file mode 100644
index 0000000..9c5d958
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_covar_int2_alt1.res
@@ -0,0 +1,4 @@
+1
+1
+a1
+a
diff --git a/tests/sav/nitg-sg/fixme/base_covar_int2_alt3.res b/tests/sav/nitg-sg/fixme/base_covar_int2_alt3.res
new file mode 100644
index 0000000..fbffc32
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_covar_int2_alt3.res
@@ -0,0 +1,4 @@
+1
+1
+1
+aa
diff --git a/tests/sav/nitg-sg/fixme/base_covar_int2_alt5.res b/tests/sav/nitg-sg/fixme/base_covar_int2_alt5.res
new file mode 100644
index 0000000..5f6d34c
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_covar_int2_alt5.res
@@ -0,0 +1,5 @@
+1
+1
+1
+1
+a
diff --git a/tests/sav/nitg-sg/fixme/base_covar_int_alt1.res b/tests/sav/nitg-sg/fixme/base_covar_int_alt1.res
new file mode 100644
index 0000000..f98f9e1
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_covar_int_alt1.res
@@ -0,0 +1,5 @@
+true
+true
+false
+true
+true
diff --git a/tests/sav/nitg-sg/fixme/base_covar_int_alt3.res b/tests/sav/nitg-sg/fixme/base_covar_int_alt3.res
new file mode 100644
index 0000000..d3413ee
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_covar_int_alt3.res
@@ -0,0 +1,5 @@
+true
+true
+true
+false
+true
diff --git a/tests/sav/nitg-sg/fixme/base_covar_int_alt5.res b/tests/sav/nitg-sg/fixme/base_covar_int_alt5.res
new file mode 100644
index 0000000..36c7afa
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_covar_int_alt5.res
@@ -0,0 +1,5 @@
+true
+true
+true
+true
+true
diff --git a/tests/sav/nitg-sg/fixme/base_gen_infinite.res b/tests/sav/nitg-sg/fixme/base_gen_infinite.res
new file mode 100644
index 0000000..4fff55f
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_gen_infinite.res
@@ -0,0 +1 @@
+Fatal error: limitation in the rapidtype analysis engine: a type depth of 256 is too important, the problematic type is G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[G[Int]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]].
diff --git a/tests/sav/nitg-sg/fixme/base_gen_variance3_alt1.res b/tests/sav/nitg-sg/fixme/base_gen_variance3_alt1.res
new file mode 100644
index 0000000..0096ae2
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_gen_variance3_alt1.res
@@ -0,0 +1,4 @@
+2
+2
+!2
+!100
diff --git a/tests/sav/nitg-sg/fixme/base_gen_variance_int_alt1.res b/tests/sav/nitg-sg/fixme/base_gen_variance_int_alt1.res
new file mode 100644
index 0000000..3ab4fdc
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_gen_variance_int_alt1.res
@@ -0,0 +1,2 @@
+Cast error: Cannot cast Char to Int.
+2
diff --git a/tests/sav/nitg-sg/fixme/base_virtual_int2_alt2.res b/tests/sav/nitg-sg/fixme/base_virtual_int2_alt2.res
new file mode 100644
index 0000000..2e435a2
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_virtual_int2_alt2.res
@@ -0,0 +1,3 @@
+4
+4
+4
diff --git a/tests/sav/nitg-sg/fixme/base_virtual_type_variance_int_alt1.res b/tests/sav/nitg-sg/fixme/base_virtual_type_variance_int_alt1.res
new file mode 100644
index 0000000..3ab4fdc
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/base_virtual_type_variance_int_alt1.res
@@ -0,0 +1,2 @@
+Cast error: Cannot cast Char to Int.
+2
diff --git a/tests/sav/nitg-sg/fixme/pnacl.res b/tests/sav/nitg-sg/fixme/pnacl.res
new file mode 100644
index 0000000..4ad3dc3
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/pnacl.res
@@ -0,0 +1 @@
+UNDEFINED
diff --git a/tests/sav/nitg-sg/fixme/test_gen.res b/tests/sav/nitg-sg/fixme/test_gen.res
new file mode 100644
index 0000000..4ad3dc3
--- /dev/null
+++ b/tests/sav/nitg-sg/fixme/test_gen.res
@@ -0,0 +1 @@
+UNDEFINED
diff --git a/tests/tests.sh b/tests/tests.sh
index c89adf7..b8ecd0a 100755
--- a/tests/tests.sh
+++ b/tests/tests.sh
@@ -304,6 +304,10 @@ case $engine in
 		enginebinname=nitg;
 		OPT="--erasure $OPT"
 		;;
+	nitg-sg)
+		enginebinname=nitg;
+		OPT="--semi-global $OPT"
+		;;
 	nitg-g)
 		enginebinname=nitg;
 		OPT="--global $OPT"