This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

What does this do: /*@-declundef@*/

I've taken over maintenance of an MSP430 code base and ran across 

/*@-declundef@*/

What does that do?

  • It's a comment, so the C compiler ignores it.  It might be a directive of some sort to another tool which processes the source code, such as doxygen.

    Thanks and regards,

    -George

  • It increases the magic level of the source code.
    It's a directive for a lint-like tool telling it that a variable is known to be undefined at that point. From a bit of searching online based on the format of the directive, it might be for "Splint." However, I wouldn't be surprised if competing tools use or understand that format as well.
    As far as the TI C compiler is concerned, it's just a plain comment, and is ignored.