diff options
-rw-r--r-- | .splintrc | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/.splintrc b/.splintrc deleted file mode 100644 index ffc264c..0000000 --- a/.splintrc +++ /dev/null @@ -1,42 +0,0 @@ --I. -DHAVE_CONFIG_H -D_GNU_SOURCE - -#+partial -+forcehints - --warnposix - -+unixlib - --unrecogcomments # XXX ignore doxygen markings - -+strict # lclint level - -# --- in progress -+bounds --bufferoverflowhigh - -# --- +partial artifacts - -# --- not-yet at strict level --elseifcomplete # 18 --exportfcn # 25 --ifblock # 202 --namechecks # 206 --ptrarith # 43 - --mustdefine # 10 --shiftimplementation # 120 --sys-dir-errors - --strictops # 16 --whileblock # 10 - -# --- not-yet at checks level --mustfree # 52 --predboolptr # 62 --usedef # 1 - -# --- not-yet at standard level --boolops # 112 --predboolint # 38 -+ignorequals # 17 |