]> andersk Git - splint.git/commit - configure.ac
Tried to fix some problems with the configuration system.
authordrl7x <drl7x>
Tue, 27 Nov 2001 18:19:30 +0000 (18:19 +0000)
committerdrl7x <drl7x>
Tue, 27 Nov 2001 18:19:30 +0000 (18:19 +0000)
commite5f31c003fe6a778d1224c8a778f750a1a9ebb3d
tree3121fe4bc29900869900c0cb5f56a6527df93d5f
parent5c8657f80ef22fff29c269a5d33317902bf3601b
Tried to fix some problems with the configuration system.

Added the flag slashslashcomment which detects // comments

Made numberous improvements in the buffer overflow checking.  Among other things char array[literal + literal] is now handled correctly.
We also try to handle char array[CONSTANT] where the value of constant is system dependent and not known to LCLint.
33 files changed:
config.h
configure
configure.ac
imports/Makefile
lib/Makefile.am
lib/Makefile.in
lib/ansi.lcd
lib/ansistrict.lcd
lib/posix.h
lib/posix.lcd
lib/posixstrict.lcd
lib/unix.h
lib/unix.lcd
lib/unixstrict.lcd
src/Headers/constraint.h
src/Headers/constraintTerm.h
src/Makefile
src/Makefile.am
src/Makefile.in
src/cgrammar.y
src/constraint.c
src/constraintGeneration.c
src/constraintResolve.c
src/constraintTerm.c
src/cpplib.c
src/exprChecks.c
src/flags.def
src/lclint.lcd
src/lclint.lclintrc
test/db1/employee.lcs
test/db1/empset.lcs
test/null6.lcd
test/tests2.5/newlint.lcd
This page took 0.054984 seconds and 5 git commands to generate.