Hi, I found some chatter about how to set a variable so lint does not complain if it is never used at:
http://stackoverflow.com/questions/7090998/the-unused-macro/12474403#12474 403 that includes: #ifdef UNUSED #elif defined(__GNUC__) # define UNUSED(x) UNUSED_ ## x __attribute__((unused)) #elif defined(__LCLINT__) # define UNUSED(x) /*@unused@*/ x #endif now according to me that will not do what the writer intended, as the pre-processor ( borrowed from GCC ) will discard the /*@unused@*/ comment, as it would other comments. Am I correct? David _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
