mescc: Tinycc support: workaround for nyacc "\0" bug.
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 28 Jul 2017 19:39:39 +0000 (21:39 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Fri, 28 Jul 2017 19:39:39 +0000 (21:39 +0200)
* module/language/c99/compiler.mes (fix-null): Replace "\nul" with "\0".
  (initzer->data): Use it.
  (expr->global): Use it.

module/language/c99/compiler.mes

index c2e24a7c7fabce3ae1afb6dd6c5cb38bb613da14..00d166da4a285697308868eb65a825ed8a582406 100644 (file)
       ((p-expr (fixed ,value)) (cstring->number value))
       (_ (error "initzer->value: " o)))))
 
+(define (fix-null o)
+  (if (equal? o "\nul") (make-string 1 #\nul) o))
+
 (define (initzer->data info)
   (lambda (o)
     (pmatch o
       ((initzer (p-expr (char ,char)))  (int->bv32 (char->integer (string-ref char 0))))
       ((initzer (p-expr (string ,string))) `((#:string ,string) #f #f #f))
-      ((initzer (p-expr (string . ,strings))) `((#:string ,(string-join strings "")) #f #f #f))
+      ((initzer (p-expr (string . ,strings))) `((#:string ,(string-join (map fix-null strings) "")) #f #f #f))
       ((initzer (initzer-list . ,initzers)) (append-map (initzer->data info) initzers))
       ((initzer (ref-to (p-expr (ident ,name)))) `(,name #f #f #f))
       ((initzer (ref-to (i-sel (ident ,field) (cast (type-name (decl-spec-list ,struct) (abs-declr (pointer))) (p-expr (fixed ,base))))))
          (or (assoc g globals)
              (string->global-entry string))))
       ((p-expr (string . ,strings))
-       (let* ((string (string-join strings ""))
+       (let* ((string (string-join (map fix-null strings) ""))
               (g `(#:string ,string)))
          (or (assoc g globals)
              (string->global-entry string))))