PetScan::extract_non_affine_condition: take index expression
commitcea6f03bcada33e95ba6a7cb1309caf81dc75c96
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 27 Jun 2013 10:25:50 +0000 (27 12:25 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 27 Jul 2013 09:09:10 +0000 (27 11:09 +0200)
treee8813ad96a22bbb014b247cb13ec5ecd9d1065eb
parent05f099edaca3b52de60f60a6f77cfe25a64ea581
PetScan::extract_non_affine_condition: take index expression

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
scan.h