tests: improve base_attr_init_val_block.nit to test bad returns

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

diff --git a/tests/base_attr_init_val_block.nit b/tests/base_attr_init_val_block.nit
index 6d2badc..fdafa3d 100644 (file)
--- a/tests/base_attr_init_val_block.nit
+++ b/tests/base_attr_init_val_block.nit
@@ -24,7 +24,7 @@ class A
                2.output
                var res = a
                if res == 10 then res = 20
-               return res
+               return res #alt1# return #alt2#
        end
 end
 

diff --git a/tests/sav/base_attr_init_val_block_alt1.res b/tests/sav/base_attr_init_val_block_alt1.res
new file mode 100644 (file)
index 0000000..e50539b
--- /dev/null
+++ b/tests/sav/base_attr_init_val_block_alt1.res
@@ -0,0 +1 @@
+alt/base_attr_init_val_block_alt1.nit:27,3--8: Error: Return without value in a function.

diff --git a/tests/sav/base_attr_init_val_block_alt2.res b/tests/sav/base_attr_init_val_block_alt2.res
new file mode 100644 (file)
index 0000000..8545480
--- /dev/null
+++ b/tests/sav/base_attr_init_val_block_alt2.res
@@ -0,0 +1 @@
+alt/base_attr_init_val_block_alt2.nit:23,6: Control error: Reached end of block (a 'return' with a value was expected).