Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

commit ed17581f92c introduces new UNOPTFLAT warnings #247

Closed
veripoolbot opened this issue Apr 19, 2010 · 3 comments
Closed

commit ed17581f92c introduces new UNOPTFLAT warnings #247

veripoolbot opened this issue Apr 19, 2010 · 3 comments
Assignees
Labels
resolution: fixed Closed; fixed

Comments

@veripoolbot
Copy link
Contributor


Author Name: Byron Bradley (@bbradley)
Original Redmine Issue: 247 from https://www.veripool.org
Original Date: 2010-04-19
Original Assignee: Wilson Snyder (@wsnyder)


We have a couple of blocks that no longer build with the latest code from git. A git-bisect blamed commit ed17581 and the warnings go away if I revert that commit. I'm assuming this is a bug and it's not just detecting problems that it wasn't before. Let me know if I can provide any more information.

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2010-04-19T16:39:04Z


The interpretation of --unroll-stmts changed, so probably it's just not unrolling something it used to.
If you find the right value for unroll stmts that makes it work, I'll bump up the default.

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Byron Bradley (@bbradley)
Original Date: 2010-04-19T17:56:07Z


Thanks Wilson, all of our code builds again with --unroll-stmts 21800

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2010-04-19T17:59:44Z


Upped it to 30000 as the default.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
resolution: fixed Closed; fixed
Projects
None yet
Development

No branches or pull requests

2 participants