Merge branch 'hotfix-2454' into 'develop'

fixed a scanner parser bug when using dot-selections

Closes #2454

See merge request sac-group/sac2c!351

src/libsac2c/scanparse/parser.c

@@ -2288,8 +2288,9 @@ handle_postfix_expr (struct parser *parser)
             if (parser_expect_tval (parser, tv_rsquare))
                 parser_get_token (parser);
 
-            if (TCcountExprs (args) == 1) {
-                res = TCmakeSpap2 (NULL, strdup ("sel"), EXPRS_EXPR (args), res);
+            if ((TCcountExprs (args) == 1)
+                && (NODE_TYPE (EXPRS_EXPR (args)) != N_dot)) {
+                    res = TCmakeSpap2 (NULL, strdup ("sel"), EXPRS_EXPR (args), res);
             } else {
                 node *vec;
                 ntype *type;

tests/test-issue-2454.sac

+// This used to cause a SEGFAULT in the type inference
+//
+// SAC_TEST|include common.mk
+// SAC_TEST|SAC2C_FLAGS += -noprelude -v0
+// SAC_TEST|CALL_SAC2C := $(SAC2C) $(SAC2C_FLAGS)
+//
+// SAC_TEST|all: <file-name-we>
+
+int sel( int[1] idx, int[4] a)
+{
+    return _sel_VxA_(idx, a);
+}
+
+
+int main ()
+{
+    d = [1,2,3,4][.];
+
+    return 0;
+}
+