workaround for dead CF: restart the optimization
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 12 Jun 2008 11:18:29 +0000 (11:18 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 12 Jun 2008 11:18:29 +0000 (11:18 +0000)
commit680e3f5f4c5233fcf3f0f81890715aed0960da6f
tree1fa508b37c87182dc9fd3466a37c406e9225316b
parent3bb99d96d55905d1606140fef99e35b28ab38542
workaround for dead CF: restart the optimization

[r20076]
ir/opt/cfopt.c