diff options
Diffstat (limited to 'compiler/splint.vim')
| -rw-r--r-- | compiler/splint.vim | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/compiler/splint.vim b/compiler/splint.vim deleted file mode 100644 index 7d2d4c33..00000000 --- a/compiler/splint.vim +++ /dev/null @@ -1,75 +0,0 @@ -if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'vim') == -1 - -" Vim compiler file -" Compiler: splint/lclint (C source code checker) -" Maintainer: Ralf Wildenhues <Ralf.Wildenhues@gmx.de> -" Splint Home: http://www.splint.org/ -" Last Change: 2005 Apr 21 -" $Revision: 1.3 $ - -if exists("current_compiler") - finish -endif -let current_compiler = "splint" - -if exists(":CompilerSet") != 2 " older Vim always used :setlocal - command -nargs=* CompilerSet setlocal <args> -endif - -let s:cpo_save = &cpo -set cpo-=C - -" adapt this if you want to check more than one file at a time. -" put command line options in .splintrc or ~/.splintrc -CompilerSet makeprg=splint\ % - -" Note: when using the new array bounds checking flags: Each warning -" usually has several lines and several references to source code mostly -" within one or two lines (see sample warning below). The easiest way -" not to mess up file name detection and not to jump to all positions is -" to add something like -" -linelen 500 +boundscompacterrormessages -" to your .splintrc and 'set cmdheight=4' or more. -" TODO: reliable way to distinguish file names and constraints. -" -" sample warning (generic): -" -"foo.c:1006:12: Clauses exit with var referencing local storage in one -" case, fresh storage in other case -" foo.c:1003:2: Fresh storage var allocated -" -" sample warning (bounds checking): -" -"bounds.c: (in function updateEnv) -"bounds.c:10:5: Possible out-of-bounds store: -" strcpy(str, tmp) -" Unable to resolve constraint: -" requires maxSet(str @ bounds.c:10:13) >= maxRead(getenv("MYENV") @ -" bounds.c:6:9) -" needed to satisfy precondition: -" requires maxSet(str @ bounds.c:10:13) >= maxRead(tmp @ bounds.c:10:18) -" derived from strcpy precondition: requires maxSet(<parameter 1>) >= -" maxRead(<parameter 2>) -" A memory write may write to an address beyond the allocated buffer. (Use -" -boundswrite to inhibit warning) - -CompilerSet errorformat=%OLCLint*m, - \%OSplint*m, - \%f(%l\\,%c):\ %m, - \%*[\ ]%f:%l:%c:\ %m, - \%*[\ ]%f:%l:\ %m, - \%*[^\"]\"%f\"%*\\D%l:\ %m, - \\"%f\"%*\\D%l:\ %m, - \%A%f:%l:%c:\ %m, - \%A%f:%l:%m, - \\"%f\"\\, - \\ line\ %l%*\\D%c%*[^\ ]\ %m, - \%D%*\\a[%*\\d]:\ Entering\ directory\ `%f', - \%X%*\\a[%*\\d]:\ Leaving\ directory\ `%f', - \%DMaking\ %*\\a\ in\ %f, - \%C\ %#%m - -let &cpo = s:cpo_save -unlet s:cpo_save - -endif |