andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

author	drl7x <drl7x>
	Thu, 10 Oct 2002 23:44:56 +0000 (23:44 +0000)
committer	drl7x <drl7x>
	Thu, 10 Oct 2002 23:44:56 +0000 (23:44 +0000)
commit	cf38ca4d31d3bf140541a9418eba9142fc062031
tree	83bca09ecc1063e696c3d69a4ea4c433876c12cf	tree
parent	5e3bf5adeb20d1059cd86654645288c3406af20d	commit \| diff

Fixed bug in bounds checking code reported by Xiaolan Zhang.

The problem was with the constraints that the predicate implies for each branch of an if-else not being generated correctly.

This causes spurrious errors in code with if-else statements.

Makefile.in		diff \| blob \| blame \| history
configure		diff \| blob \| blame \| history
doc/Makefile.in		diff \| blob \| blame \| history
imports/Makefile.in		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| blob \| blame \| history

git-cvsimport mirror of splint

RSS Atom

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