* device/lib/pic16/libc/stdio/vfprintf.c,
[fw/sdcc] / device / lib / pic16 / libc / stdio / printf_small.c
index 38382cef7dc1ca70ccd6bc3fc57884d776f11745..8584474dd76ec31cbd3f79cf11513716c14703bf 100644 (file)
@@ -111,7 +111,7 @@ void printf_small(char *fmt, ...) __reentrant
             } else {
               if(flong)val = va_arg(ap, long);
               else
-              if(fchar)val = va_arg(ap, char);
+              if(fchar)val = (char)va_arg(ap, int); // FIXME: SDCC casts char arguments into ints
               else {
                   val = va_arg(ap, int);
               }