Skip to content

Remove legacy code for supporting old VSC++ compiler #2104

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
Closed
thk123 opened this issue Apr 23, 2018 · 1 comment
Closed

Remove legacy code for supporting old VSC++ compiler #2104

thk123 opened this issue Apr 23, 2018 · 1 comment

Comments

@thk123
Copy link
Contributor

thk123 commented Apr 23, 2018

VS2013 does not support nested_exception and associated standard library features. When we drop support for this, the code in util/throw_with_nested.h should be updated
@thk123 thk123 mentioned this issue Apr 23, 2018
Merged
3 tasks
tautschnig added a commit to tautschnig/cbmc that referenced this issue May 29, 2019
@tautschnig
Remove now-unused bitvector conversion exceptions
2d5688a 
Byte-operator lowering no longer throws any exceptions, and thus don't
need to attempt to catch them either. Remove the entire infrastructure
built around these.

Fixes: diffblue#2103
Fixes: diffblue#2104
@tautschnig
Copy link
Collaborator

Code was removed in #4691.

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
2 participants
@thk123 @tautschnig