I use KEIL C evaluation version as following with PC-Lint (v1.3 fro evaluation version)
Tool Version Numbers:Toolchain: MDK-Lite Version: 188.8.131.52
And using below configuration to check MISRA-C
But after I launch "Lint ALL C/C++ Source Files", there have warning message and error message output from the KEIL C, such as following,
Is that correct? How could I fix this issue?
When PC-Lint start to check source files, there have error message output such as following, but I don't think there has error for ';' or unknown type 'uint64_t' because
compiler can build this project successfully, I think that some configuration does not set correctly. Thank you very much, I appreciate someone can provide me with some
suggestions on this topic, thanks again.
Compiler does not do the static analysis of your code but PC-Lint does.That's why you see the errors. It's hard to say anything without having your source.Below link should be the right place to discuss it:gimpel.com/.../viewforum.php
It looks like PC-Lint is doing exactly what it's supposed to do - pointing out questionable practices in your source code!
PC-Lint is a 3rd-party product - nothing to do with Keil or ARM.
As Sankalp Agarwal says, If you want help with how to use PC-Lint, and/or how to interpret its output, then you need to contact Gimpel
That's not PC-Lint you're using. It's PC-Lint PLUS. And yes, that distinction matters. PLUS is incompatible enough that any and all preparation uVision does offer for the older versions is rendered unusable, so you're on your own.
Among the aspects that quite obviously broke is the pre-configuration for the ARM compilers (or maybe just your use of it?), which causes all those seemingly incorrect messages. Those are about compiler particularities (like __INT64) that would normally be covered by pre-made *.lnt files provided by Lint and/or the Keil package.
Broeker said:PLUS is incompatible
Thank you for your suggestion, after discuss with Gimpel's member. I have generated correct configuration file
and doing the MISRA-C validity check from PC-Lint, thank you so much.
Thank you very much~ this question is resolved by their members, thanks.
From their members suggestions and check the PC-Lint PLUS document from tool, all is going well~ : )
So verify the answer!
That marks the thread as resolved - so that people searching with the question can see that it is solved!
View all questions in Keil forum