andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

Added the flags likely-bounds, likely-bounds-write, and likely-bounds-read

Correspond to error messages for constraints that have only constants.

15 files changed:

src/Headers/constraint.h		diff \| blob \| blame \| history
src/Headers/constraintExpr.h		diff \| blob \| blame \| history
src/Headers/constraintTerm.h		diff \| blob \| blame \| history
src/Makefile.am		diff \| blob \| blame \| history
src/Makefile.in		diff \| blob \| blame \| history
src/constraint.c		diff \| blob \| blame \| history
src/constraintExpr.c		diff \| blob \| blame \| history
src/constraintTerm.c		diff \| blob \| blame \| history
src/context.c		diff \| blob \| blame \| history
src/exprChecks.c		diff \| blob \| blame \| history
src/flags.def		diff \| blob \| blame \| history
test/constannot.expect		diff \| blob \| blame \| history
test/manual.expect		diff \| blob \| blame \| history
test/simplebufferConstraintTests.expect		diff \| blob \| blame \| history
test/sizeoftest.expect		diff \| blob \| blame \| history

git-cvsimport mirror of splint

This page took 0.164918 seconds and 5 git commands to generate.