How to printf a sint32 in C using gcc compiler tricore v3.4.6?

Question

I am working with the tricore v3.4.6 compiler.

Suppose I have a signed integer like sint32 a = -1 and want to print that with printf.

I tried printf("Signed number %i", a) as well as printf("Signed number %d", a) which both gives me compiler warnings, for example

warning: int format, sint32 arg

What *is* `sint32`? A `typedef`? A `#define`? Where does it come from? — EOF, Feb 12 '16 at 14:17
You can't just "have a signed integer like `RANDOM_TYPE_NAME`" in C, and ask about how that secret type interacts with standard library functions. Makes no sense. — unwind, Feb 12 '16 at 14:18
sint32 signed integer, 4 bytes. thought it is standard c - that is probably the solution to my problem ... compiler warning is "warning: int format, sint32 arg" — floquet22, Feb 12 '16 at 14:22
all integers are signed by default, only the unsigned ones get a special letter - and become `uint32` for instance... thats why this `sint32` looks very strange. — Shark, Feb 12 '16 at 14:23
Downvoted, because question is missing complete compiler error message. Also specify what compiler you are using. And edit the question to include relevant information, instead of using hard to read comments. — user694733, Feb 12 '16 at 14:26

DomTomCat · Accepted Answer · 2016-02-12T14:51:05.657

1

unlike suggested in the comments to the question, sint32 is not uncommon in safety critical and embedded systems and usually falls back to a typecast for int. (e.g. in some MISRA environments).

Hence

sint32 a = -1;
printf("%d", a);

should do the trick anyways. tested with gcc v5.2.1 and arm-gcc v5.2.1 (-Wall and no warnings).

If it still gives you a warning try to figure out what sint32 really maps to and try long-print: printf("%ld"). However, then double check if the byte length of sint32 really is 32bits? (and some systems may even have less than a 32bit architecture)

edited Feb 12 '16 at 14:51

answered Feb 12 '16 at 14:39

DomTomCat

8,189
1
49
64

as mentioned in the comments above, yes printf("%ld") works for me without warning. – floquet22 Feb 12 '16 at 14:49

score 0 · Answer 2 · answered Feb 12 '16 at 16:45

To printf() any signed integer that lacks a defined matching prefix like "l", "ll", "h", etc. , simply cast to the widest known type.

#include <stdint.h>
sint32 a = -1;
printf("Signed number %jd", (intmax_t) a);

// or lacking intmax_t
sint32 a = -1;
printf("Signed number %lld", (long long) a);

How to printf a sint32 in C using gcc compiler tricore v3.4.6?

2 Answers2