mescc: Add 70-struct-post.c test with fix.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 21 Jul 2019 20:40:42 +0000 (22:40 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 21 Jul 2019 20:40:42 +0000 (22:40 +0200)
* lib/tests/scaffold/70-struct-post.c: New file.
* build-aux/check-mescc.sh (TESTS): Add it.
* module/mescc/compile.scm (expr->register): Use type size for rank
0 (WAS: 1).

build-aux/check-mescc.sh
lib/tests/scaffold/70-struct-post.c [new file with mode: 0644]
module/mescc/compile.scm

index cdd5f0600a7fb71751e2aa5e86c0b0901833f181..0a3cb882be31a17c5064d3e180f27a9e44f941a6 100755 (executable)
@@ -182,6 +182,7 @@ lib/tests/scaffold/7u-struct-size10.c
 lib/tests/scaffold/7u-vstack.c
 lib/tests/scaffold/70-array-in-struct-init.c
 lib/tests/scaffold/70-struct-short-enum-init.c
+lib/tests/scaffold/70-struct-post.c
 lib/tests/setjmp/80-setjmp.c
 lib/tests/stdio/80-sscanf.c
 lib/tests/stdlib/80-qsort.c
diff --git a/lib/tests/scaffold/70-struct-post.c b/lib/tests/scaffold/70-struct-post.c
new file mode 100644 (file)
index 0000000..262c003
--- /dev/null
@@ -0,0 +1,40 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * GNU Mes --- Maxwell Equations of Software
+ * Copyright © 2019 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of GNU Mes.
+ *
+ * GNU Mes is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or (at
+ * your option) any later version.
+ *
+ * GNU Mes is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+#include <mes/lib.h>
+
+struct foo
+{
+  int bar;
+};
+
+int
+main ()
+{
+  struct foo f;
+  struct foo *p = &f;
+  //eputs ("p-f="); eputs (itoa (p-&f)); eputs ("\n");
+  int i = 22;
+  *p++ = f;
+  //eputs ("p-f="); eputs (itoa (p-&f)); eputs ("\n");
+  if (p - &f != 1)
+    return 1;
+  return 0;
+}
index 4a5907ea82a694c941d32478eaf0a0957afa43c7..11e3d94c979609d4f68cdbc82de7de17d9757b6c 100644 (file)
                 (type (ident->type info name))
                 (rank (ident->rank info name))
                 (reg-size (->size "*" info))
-                (size (if (> rank 1) reg-size 1)))
+                (size (cond ((= rank 1) (ast-type->size info `(p-expr (ident ,name))))
+                            ((> rank 1) reg-size)
+                            (else 1))))
            (append-text info ((ident-add info) name size))))
 
         ((assn-expr (de-ref (post-dec (p-expr (ident ,name)))) (op ,op) ,b)
                 (type (ident->type info name))
                 (rank (ident->rank info name))
                 (reg-size (->size "*" info))
-                (size (if (> rank 1) reg-size 1)))
+                (size (cond ((= rank 1) (ast-type->size info `(p-expr (ident ,name))))
+                            ((> rank 1) reg-size)
+                            (else 1))))
            (append-text info ((ident-add info) name (- size)))))
 
         ((assn-expr ,a (op ,op) ,b)