mirror of
https://github.com/neovim/neovim.git
synced 2024-12-29 14:41:06 -07:00
2b9d8dc87e
runtime: Remove fallback :CompilerSet definition from compiler plugins
The :CompilerSet command was added in version Vim 6.4 which was released
twenty years ago. Other runtime files do not support versions of that
vintage so it is reasonable to remove this fallback command definition
now.
closes: vim/vim#14399
408281e16a
Co-authored-by: Doug Kearns <dougkearns@gmail.com>
69 lines
2.2 KiB
VimL
69 lines
2.2 KiB
VimL
" 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: 2019 Jul 23
|
|
" 2024 Apr 03 by The Vim Project (removed :CompilerSet definition)
|
|
" $Revision: 1.3 $
|
|
|
|
if exists("current_compiler")
|
|
finish
|
|
endif
|
|
let current_compiler = "splint"
|
|
|
|
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\ %:S
|
|
|
|
" 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
|