gcc - make lint using ICC compiler -
can intel's icc compiler produce lint results gcc 'make lint' command ? checked not found anything, there other alternative so?
a make lint command sounds particular makefile. checking default rules gnu make not show 1 (though have file named lint.c).
gcc supports several compiler warnings, not lint does: combined analysis across multiple files. icc provides similar compiler warnings, , recognizes enough of gcc's warnings allow used interchangeably in makefiles. however, strict warnings differ. in both cases, considered part of static analysis. tools go further (clang, instance provides compiler warnings --analyze option, though falls short of multiple-file feature of lint). use these compilers, have configure script options check , turn them on. @ moment, tool using provides multiple-file analysis coverity. (some people find splint useful; have tried more once , not agreed).
here few links useful further reading:
- static analysis overview, intel c++ compiler xe 13.1 user , reference guides (which way not mention
lint) - parallel lint andrey karpov, includes notes on static analysis in intel compiler
- lint still useful?, newsgroup thread listing possibilities
Comments
Post a Comment