]> andersk Git - splint.git/commit
andersk / splint.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35eea58) | patch
Fixed bug cause spurious bounds errors.
authordrl7x <drl7x>
Thu, 5 Sep 2002 16:33:20 +0000 (16:33 +0000)
committerdrl7x <drl7x>
Thu, 5 Sep 2002 16:33:20 +0000 (16:33 +0000)
commitd9daf826a5062af3f227a98f0525e5a38f350539
tree4799ed778c129792f1d422d891bf006472135996tree
parent35eea586ba9af7af69f0646f5f6a5958b8215dd8commit | diff
Fixed bug cause spurious bounds errors.
Made +orconstraint the default
Also small bug fix in code reading in splint libraries

The bug was that
code like:
int a[12];
for (i = 0; i < 12; i++)
  a[i] = 0;

  would be marked as a potential bounds error.
Makefile.am diff | blob | blame | history
Makefile.in diff | blob | blame | history
src/cgrammar.c.der diff | blob | blame | history
src/cgrammar.y diff | blob | blame | history
src/constraint.c diff | blob | blame | history
src/constraintResolve.c diff | blob | blame | history
src/context.c diff | blob | blame | history
src/usymtab.c diff | blob | blame | history
git-cvsimport mirror of splint
This page took 0.054449 seconds and 5 git commands to generate.