I am developing some C code on a Raspberry Pi for an embedded system and using cppcheck to help with static analysis. I am using the command line, open source cppcheck version 2.13.
See attached foo.c.
When I run "cppcheck --platform=unspecified --enable=all foo.c", I receive a warning about an incorrect type being passed to printf(). I think that this warning is a false positive.
I am developing some C code on a Raspberry Pi for an embedded system and using cppcheck to help with static analysis. I am using the command line, open source cppcheck version 2.13.
See attached foo.c.
When I run "cppcheck --platform=unspecified --enable=all foo.c", I receive a warning about an incorrect type being passed to printf(). I think that this warning is a false positive.
Is there no platform that matches your system? I wonder how well this check can work without type information.
cppcheck --platform=unix32 --enable=all foo.c ... yields the same result.
Thanks for reporting, ticket is here: https://trac.cppcheck.net/ticket/12647