Changed handling of switch-Conds. Now collected and processed.
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 6 Feb 2007 20:12:11 +0000 (20:12 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 6 Feb 2007 20:12:11 +0000 (20:12 +0000)
commitb227a3d38da1e1988077c77be652b5d202b7af3c
tree77e031bc15d98a026b8aa74df38ec8c688fc3d41
parent1c5240f17e44da7d2d6a1fd06bb640e4e4d805ff
Changed handling of switch-Conds. Now collected and processed.
This speeds up things and fixes some verification errors (CF-Bad) in the Spec

[r8599]
ir/opt/cfopt.c