andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

Fixed off by one bug involving arrays initialized with a block of values.

For example. int tmp[] = {0,0, 3, 3, 4};

Bug was reported by Kevin Abrams

19 files changed:

configure		diff \| blob \| blame \| history
src/Headers/cgrammar_tokens.h		diff \| blob \| blame \| history
src/Headers/llgrammar_gen.h		diff \| blob \| blame \| history
src/Headers/llgrammar_gen2.h		diff \| blob \| blame \| history
src/Headers/mtgrammar_tokens.h		diff \| blob \| blame \| history
src/Headers/signature_gen.h		diff \| blob \| blame \| history
src/cgrammar.c.der		diff \| blob \| blame \| history
src/constraintExpr.c		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| blob \| blame \| history
src/constraintResolve.c		diff \| blob \| blame \| history
src/functionClauseList.c		diff \| blob \| blame \| history
src/llgrammar.c.der		diff \| blob \| blame \| history
src/loopHeuristics.c		diff \| blob \| blame \| history
src/mtgrammar.c		diff \| blob \| blame \| history
src/mtgrammar.c.der		diff \| blob \| blame \| history
src/signature.c.der		diff \| blob \| blame \| history
test/moreBufferTests2.expect		diff \| blob \| blame \| history
test/moreBufferTests2/Makefile		diff \| blob \| blame \| history
test/moreBufferTests2/initBlock.c	[new file with mode: 0644]	blob

git-cvsimport mirror of splint

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