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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (executable)
--- 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"