#!/bin/sh
splint \
 +allglobals \
 -noeffect \
 -exportlocal \
 -predbool \
 -boolops \
 +boolint \
 +charint \
 -retvalint \
 -retvalother \
 -shiftimplementation \
 -shiftnegative \
 +ansi89limits \
 -I/usr/local/include \
 -Isrc \
 -Isrc/arch/x86 \
 -I. \
 -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 \
 nasm-bison.c \
 src/symrec.c \
 src/hamt.c