Hi all,
I recently discovered that the int32_t and uint32_t typedefs in stdint.h
are incorrect (at least on my target - AT90CAN128).
From what I can tell, the typedefs are duplicated, once for doxygen and
once for gcc. Unfortunately they are different.
Referring to the latest v1.8.0 std
January 2012 19:28
To: Paul McClean
Cc: avr-gcc-list@nongnu.org
Subject: Re: [avr-gcc-list] AVR Libc int32_t and uint32_t typedefs are
incorrect
> However lines 125 and 126 define int32_t and uint32_t as signed
> int and unsigned int respectively.
What about the rest of that lines?
unsigned int
Unfortunately the static analysis tool I am using isn't aware of
uint32_t, etc. Instead it requires to be told what are the sizes of the
standard types on the target and it will then check that there are no
dangerous casts, comparisons, etc. It works out what any typedefs are
based upon interpretin
