PetScan::extract_non_affine_condition: take statement number as argument
commit64e91ece84c09d864548c7bdc7b067a36ae05cd0
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Feb 2014 13:04:46 +0000 (10 14:04 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 14 Mar 2014 16:10:58 +0000 (14 17:10 +0100)
tree8a7cae8b19be50a6203b1645802ea0e022576c67
parentb05b48409dc7772d14c3f4e6b2efb7995b638d33
PetScan::extract_non_affine_condition: take statement number as argument

This makes it easier to reorder calls to extract_non_affine_condition
with respect to other methods that create pet_stmt objects.

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