avoid negative array indices
commit99c383d614156d4f4cb0792b464711b35fdb1718
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 15 Apr 2012 11:19:32 +0000 (15 13:19 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 11 May 2012 10:33:00 +0000 (11 12:33 +0200)
tree8c2289f23bc2cdda45f89ac4fb8fdceee8904bab
parent23dba1ea32382094f35b643c4560260a760746cc
avoid negative array indices

In particular, restrict the domains of access functions to those
values where the indices are non-negative.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
tests/forward_substitution2.scop