Hello,
after several problems I want to run splint-3.1.2 on one embedded project using
STM32. I have problem with some uint32_t rules - getting following messages:
d:\opt\STM32F10x_StdPeriph_Lib\Libraries\CMSIS\CM3\CoreSupport\\core_cm3.h(1489,
50): No type before declaration name (implicit int type): uint32_t :
static <any>
A variable declaration has no explicit type. The type is implicitly int.
(Use -imptype to inhibit warning)
d:\opt\STM32F10x_StdPeriph_Lib\Libraries\CMSIS\CM3\CoreSupport\\core_cm3.h(1489,
50): Parse Error. (For help on parse errors, see splint -help parseerrors.)
*** Cannot continue.
I am running splint with following command:
\opt\splint-3.1.2\bin\splint.exe -I d:\opt\arm-2010q1\arm-none-eabi\include\ -I
d:/opt/STM32F10x_StdPeriph_Lib/Libraries/CMSIS/CM3/DeviceSupport/ST/STM32F10x
-I d:/opt/STM32F10x_StdPeriph_Lib/Libraries/CMSIS/CM3/CoreSupport/ -nestcomment
-preproc -incondefs main
I found that uint32_t is normally used. But only in this construct ( static
__INLINE uint32_t NVIC_GetPriorityGrouping(void)) it causes problems. If I
replace "uint32_t" to "unsigned long", splint happily advances to next lines.
Did anybody run splint on STM32 header files? How should I constraint splint to
have no problem with above mentioned syntax?
Thank you,
Vaclav
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
