Skip to content

Implement overflow checks in gnat2goto rather than cbmc #67

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.

Sign up for GitHub

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

Jump to bottom
Open
NlightNFotis opened this issue Nov 21, 2018 · 0 comments
Open

Implement overflow checks in gnat2goto rather than cbmc #67

NlightNFotis opened this issue Nov 21, 2018 · 0 comments

Comments

@NlightNFotis
Copy link
Contributor

While getting diffblue/cbmc#3112 in shape to get merged, overflow checks that where being added into operator expressions were deleted, to be properly implemented in gnat2goto, probably with intrinsic support rather than setting a flag in an irep.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@NlightNFotis