mescc: Handle sizeof expression.

* module/language/c99/compiler.mes (expr->accu): Handle sizeof
  expression.
* scaffold/tests/85-sizeof.c: Test it.

diff --git a/build-aux/check-mescc.sh b/build-aux/check-mescc.sh
index 2c96e0d7f8cfdbe0812abc1ad0a172353fb87a79..1de60a9aa166faf0e7d7628f85995a29c600c1ec 100755 (executable)
--- a/build-aux/check-mescc.sh
+++ b/build-aux/check-mescc.sh
@@ -114,6 +114,7 @@ t
 82-define
 83-heterogenoous-init
 84-struct-field-list
+85-sizeof
 "
 
 broken="$broken

diff --git a/module/language/c99/compiler.mes b/module/language/c99/compiler.mes
index f88946cdfdfc763b012d500ba1055b1ea5ded4ce..f68b77c3a43733a9d10f4eee4657ac3295f551f3 100644 (file)
--- a/module/language/c99/compiler.mes
+++ b/module/language/c99/compiler.mes
@@ -979,23 +979,8 @@
         ((ref-to ,expr)
          ((expr->accu* info) expr))
 
-        ((sizeof-expr (p-expr (ident ,name)))
-         (let* ((type (ident->type info name))
-                (size (ast-type->size info type)))
-           (append-text info (wrap-as (i386:value->accu size)))))
-
-        ((sizeof-expr (p-expr (string ,string)))
-         (append-text info (wrap-as (i386:value->accu (1+ (string-length string))))))
-
-        ((sizeof-expr (i-sel (ident ,field) (p-expr (ident ,struct))))
-         (let* ((type (ident->type info struct))
-                (size (field-size info type field)))
-           (append-text info (wrap-as (i386:value->accu size)))))
-
-        ((sizeof-expr (d-sel (ident ,field) (p-expr (ident ,struct))))
-         (let* ((type (ident->type info struct))
-                (size (field-size info type field)))
-           (append-text info (wrap-as (i386:value->accu size)))))
+        ((sizeof-expr ,expr)
+         (append-text info (wrap-as (i386:value->accu (expr->size info expr)))))
 
         ((sizeof-type (type-name (decl-spec-list (type-spec (fixed-type ,name)))))
          (let* ((type name)

diff --git a/scaffold/tests/85-sizeof.c b/scaffold/tests/85-sizeof.c
new file mode 100644 (file)
index 0000000..12d58e5
--- /dev/null
+++ b/scaffold/tests/85-sizeof.c
@@ -0,0 +1,27 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * Mes --- Maxwell Equations of Software
+ * Copyright © 2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of Mes.
+ *
+ * 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.
+ *
+ * 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 Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+int
+main ()
+{
+  char **p;
+  if (sizeof (*p) != 4) return 2;
+  return sizeof (**p) - 1;
+}