PetScan::extract: always treat compound statement as a block
commit495fa678d44f33a3fe4538911d883b083faaa1f4
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 11 May 2015 12:44:06 +0000 (11 14:44 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 12 May 2015 10:55:29 +0000 (12 12:55 +0200)
tree8cfebc222d012fd45279021c1d6147241d9729d8
parent896ae3f582e88ee8e1448c0462384ac1bced4c0b
PetScan::extract: always treat compound statement as a block

Now that we have taken care of degrading a block into a sequence
of statements if only part of the sequence could be extracted and
if this part contains a declaration, we can treat all compound
statements as a block at first.

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