]> granicus.if.org Git - yasm/commitdiff
Update splint script.
authorPeter Johnson <peter@tortall.net>
Sat, 30 Jun 2007 20:18:50 +0000 (20:18 -0000)
committerPeter Johnson <peter@tortall.net>
Sat, 30 Jun 2007 20:18:50 +0000 (20:18 -0000)
svn path=/trunk/yasm/; revision=1887

splint.sh

index 03d1867f0b5a02ff86886ceaba1b72ba856900db..0a1192818f29e81afb189027fdce3491d2f3bb74 100755 (executable)
--- a/splint.sh
+++ b/splint.sh
@@ -11,33 +11,76 @@ splint \
  -retvalother \
  -shiftimplementation \
  -shiftnegative \
+ -fixedformalarray \
  +ansi89limits \
-I/usr/local/include \
-Isrc \
- -Isrc/arch/x86 \
+ansistrictlib \
+trytorecover \
+ -globs \
  -I. \
+ -I/usr/local/include \
  -DHAVE_CONFIG_H \
- -DHAVE_BOGUS_SYS_QUEUE_H \
  -Dlint \
- src/main.c \
- src/options.c \
- src/arch.c \
- src/bytecode.c \
- src/errwarn.c \
- src/expr.c \
- src/file.c \
- src/floatnum.c \
- src/globals.c \
- src/intnum.c \
- src/parser.c \
- src/section.c \
- src/arch/x86/x86arch.c \
- src/arch/x86/x86bc.c \
- src/arch/x86/x86expr.c \
- src/objfmts/dbg/dbg-objfmt.c \
- src/objfmts/bin/bin-objfmt.c \
- src/parsers/nasm/nasm-parser.c \
- src/preprocs/raw/raw-preproc.c \
- src/optimizers/basic/basic-optimizer.c \
- src/symrec.c \
- src/hamt.c
+ frontends/yasm/yasm-options.c \
+ frontends/yasm/yasm.c \
+ libyasm/arch.c \
+ libyasm/assocdat.c \
+ libyasm/bc-align.c \
+ libyasm/bc-data.c \
+ libyasm/bc-incbin.c \
+ libyasm/bc-insn.c \
+ libyasm/bc-org.c \
+ libyasm/bc-reserve.c \
+ libyasm/bytecode.c \
+ libyasm/errwarn.c \
+ libyasm/expr.c \
+ libyasm/file.c \
+ libyasm/floatnum.c \
+ libyasm/hamt.c \
+ libyasm/intnum.c \
+ libyasm/inttree.c \
+ libyasm/linemap.c \
+ libyasm/md5.c \
+ libyasm/mergesort.c \
+ libyasm/phash.c \
+ libyasm/section.c \
+ libyasm/strcasecmp.c \
+ libyasm/strsep.c \
+ libyasm/symrec.c \
+ libyasm/valparam.c \
+ libyasm/value.c \
+ libyasm/xmalloc.c \
+ libyasm/xstrdup.c \
+ modules/arch/lc3b/lc3barch.c \
+ modules/arch/lc3b/lc3bbc.c \
+ modules/arch/x86/x86arch.c \
+ modules/arch/x86/x86bc.c \
+ modules/arch/x86/x86expr.c \
+ modules/arch/x86/x86id.c \
+ modules/dbgfmts/codeview/cv-dbgfmt.c \
+ modules/dbgfmts/codeview/cv-symline.c \
+ modules/dbgfmts/codeview/cv-type.c \
+ modules/dbgfmts/dwarf2/dwarf2-aranges.c \
+ modules/dbgfmts/dwarf2/dwarf2-dbgfmt.c \
+ modules/dbgfmts/dwarf2/dwarf2-info.c \
+ modules/dbgfmts/dwarf2/dwarf2-line.c \
+ modules/dbgfmts/null/null-dbgfmt.c \
+ modules/dbgfmts/stabs/stabs-dbgfmt.c \
+ modules/listfmts/nasm/nasm-listfmt.c \
+ modules/objfmts/bin/bin-objfmt.c \
+ modules/objfmts/coff/coff-objfmt.c \
+ modules/objfmts/coff/win64-except.c \
+ modules/objfmts/dbg/dbg-objfmt.c \
+ modules/objfmts/elf/elf-objfmt.c \
+ modules/objfmts/elf/elf-x86-amd64.c \
+ modules/objfmts/elf/elf-x86-x86.c \
+ modules/objfmts/elf/elf.c \
+ modules/objfmts/macho/macho-objfmt.c \
+ modules/objfmts/rdf/rdf-objfmt.c \
+ modules/objfmts/xdf/xdf-objfmt.c \
+ modules/parsers/gas/gas-parse.c \
+ modules/parsers/gas/gas-parser.c \
+ modules/parsers/nasm/nasm-parse.c \
+ modules/parsers/nasm/nasm-parser.c \
+ modules/preprocs/nasm/nasm-preproc.c \
+ modules/preprocs/raw/raw-preproc.c
+