PetScan::get_array_size: take isl_id representing array as input
commit0cfc6f0950402753c615a3525325780d4469e61d
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 15 Apr 2016 09:34:13 +0000 (15 11:34 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 15 Apr 2016 10:38:54 +0000 (15 12:38 +0200)
treef00e0a35d5a06c94978f3e4c6bb73d0b934aeec1
parent146c7bf59c4959f780e9bcc756097eb315ed11e9
PetScan::get_array_size: take isl_id representing array as input

This will allow get_array_size to return tailored array sizes
depending on the array.  In particular, this will be used to
store array sizes with substituted size parameters.

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