Note that there are some explanatory texts on larger screens.

plurals
  1. USalphaOri
    primarykey
    data
    text
    plurals
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. CO"They cannot be: What if the module includes your own header files, the header files you want explicitly to be processed?" It seems to me that the '+libm' option is provided for those who _know_ that a module is a library module. For example, my code runs on a third-party RTOS for which I have the source code. I want to use '+libm' on these modules in order to get inter module value tracking but I do not want to see errors from such modules because I don't maintain them. Thus, I _know_ those modules do not include my header files so I want '+libm' to work like the manual claims it should.
      singulars
    2. COOk. From what I see in my output, if two source files include the same header file, that header file is analyzed once for each source file and thus its messages are repeated. I think this adds unnecessary clutter to my output file. Is there a good reason that PC-Lint does this? Is there a way to tell PC-Lint to remember previously linted header files and ignore them if encountered again?
      singulars
    3. COThanks. Could you elaborate on the order in which the compilation units are recursively processed. Will PC-Lint proceed to each included file until it can do so not longer, then process its way back up? Another way to say this is in terms of a tree. Will lint create the tree then process each file starting from the leaves of the tree and working its way back to the root. An example would be if I have a c file which includes x1.h which, in turn, includes x2.h and x3.h. I would expect lint to process x2.h, x3.h, x1.h, and lastly the cfile. Is this correct?
      singulars
 

Querying!

 
Guidance

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload