PC-lint/FlexeLint 9.0 Manual Excerpts
The following are useful for supporting a number of features in a variety of compilers. With some exceptions, they are used mostly to get PC-lint/FlexeLint to ignore some nonstandard constructs accepted by some compilers.
Compilers for embedded systems frequently use the @ notation to specify the location of a variable. A technique to handle this is given in our manual in Section 5.8.2 Compiler Codes in the description of -cwh
. Users have encountered some difficulty with this method when the location is given as a complex expression. We have for this reason added direct support for the @ feature, which consists of ignoring expressions to its right. To enable this, just make sure you are NOT using -cwh
. When we see a ‘@’ we then give a warning (430), which you may suppress with a -e430
_bit is a type that is one bit wide. This needs to be activated with the +rw(_bit) option. It was introduced to support some microcontroller cross-compilers that have a one-bit type.
_gobble is a reserved word that needs to be activated via +rw(_gobble). It causes the next token to be gobbled; i.e., it and the next token are ignored. This is intended to be used with the -d option. See co-kcarm.lnt for examples.
_ignore_init This keyword when activated causes the initializer of a data declaration or the body of a function to be ignored. Cross compilers for embedded systems frequently have declarations that associate addresses with variables. For example, they may have the following declarations.
Get pdf PC-lint/FlexeLint 9.0 Manual Excerpts
