" 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
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| README.txt | File | 437 B | 0644 |
|
| ant.vim | File | 941 B | 0644 |
|
| bcc.vim | File | 449 B | 0644 |
|
| bdf.vim | File | 461 B | 0644 |
|
| checkstyle.vim | File | 588 B | 0644 |
|
| cs.vim | File | 626 B | 0644 |
|
| cucumber.vim | File | 559 B | 0644 |
|
| decada.vim | File | 1.9 KB | 0644 |
|
| dot.vim | File | 372 B | 0644 |
|
| erlang.vim | File | 273 B | 0644 |
|
| eruby.vim | File | 859 B | 0644 |
|
| fortran_F.vim | File | 702 B | 0644 |
|
| fortran_cv.vim | File | 747 B | 0644 |
|
| fortran_elf90.vim | File | 802 B | 0644 |
|
| fortran_g77.vim | File | 1.12 KB | 0644 |
|
| fortran_lf95.vim | File | 683 B | 0644 |
|
| fpc.vim | File | 453 B | 0644 |
|
| g95.vim | File | 677 B | 0644 |
|
| gcc.vim | File | 1.09 KB | 0644 |
|
| gfortran.vim | File | 671 B | 0644 |
|
| gnat.vim | File | 2.36 KB | 0644 |
|
| haml.vim | File | 555 B | 0644 |
|
| hp_acc.vim | File | 1.03 KB | 0644 |
|
| icc.vim | File | 585 B | 0644 |
|
| ifort.vim | File | 690 B | 0644 |
|
| intel.vim | File | 595 B | 0644 |
|
| irix5_c.vim | File | 662 B | 0644 |
|
| irix5_cpp.vim | File | 671 B | 0644 |
|
| javac.vim | File | 399 B | 0644 |
|
| jikes.vim | File | 520 B | 0644 |
|
| mcs.vim | File | 864 B | 0644 |
|
| mips_c.vim | File | 691 B | 0644 |
|
| mipspro_c89.vim | File | 721 B | 0644 |
|
| mipspro_cpp.vim | File | 701 B | 0644 |
|
| modelsim_vcom.vim | File | 799 B | 0644 |
|
| msbuild.vim | File | 529 B | 0644 |
|
| msvc.vim | File | 294 B | 0644 |
|
| neato.vim | File | 378 B | 0644 |
|
| ocaml.vim | File | 1.3 KB | 0644 |
|
| onsgmls.vim | File | 503 B | 0644 |
|
| pbx.vim | File | 469 B | 0644 |
|
| perl.vim | File | 1.18 KB | 0644 |
|
| php.vim | File | 707 B | 0644 |
|
| pyunit.vim | File | 407 B | 0644 |
|
| rake.vim | File | 762 B | 0644 |
|
| rspec.vim | File | 734 B | 0644 |
|
| rst.vim | File | 622 B | 0644 |
|
| ruby.vim | File | 1.03 KB | 0644 |
|
| rubyunit.vim | File | 739 B | 0644 |
|
| sass.vim | File | 594 B | 0644 |
|
| se.vim | File | 742 B | 0644 |
|
| splint.vim | File | 2.22 KB | 0644 |
|
| tcl.vim | File | 414 B | 0644 |
|
| tex.vim | File | 1.71 KB | 0644 |
|
| tidy.vim | File | 595 B | 0644 |
|
| xbuild.vim | File | 509 B | 0644 |
|
| xmllint.vim | File | 561 B | 0644 |
|
| xmlwf.vim | File | 454 B | 0644 |
|