pet_scop_from_pet_tree: avoid clashes with explicit labels
commit5e4ba71609797f70ceea86fa1d986f43ae542a3b
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 2 Dec 2014 13:50:11 +0000 (2 14:50 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 14 Jan 2015 10:58:04 +0000 (14 11:58 +0100)
tree0b289bb7cf2522c2a443ac4535be2a798e441809
parentb3c3e43f352fda26cc9c00fcf6fc2c226dce421a
pet_scop_from_pet_tree: avoid clashes with explicit labels

That is, if any statement is explicitly labeled with a label of
the form S_<nr>, then make sure we do not generate any label
with this name.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
tree2scop.c