PetScan::extract(IfStmt *): update context with respect to the condition
commitf991a3ef3ac87843d925eadaa933c14125e144a2
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 19 Jan 2012 15:42:37 +0000 (19 16:42 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 6 Mar 2012 12:00:12 +0000 (6 13:00 +0100)
tree1c92172aa1b6326e80a764cad75514ac7817e546
parent55b5457dc57cf480d1d382dc030ab12e0af5c730
PetScan::extract(IfStmt *): update context with respect to the condition

In particular, an if statement can only be executed if its condition
can be evulated.

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