Skip to content

Do not add ID_mode to expressions and instead infer it from the function #2138

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
tautschnig opened this issue Apr 29, 2018 · 0 comments
Closed

Do not add ID_mode to expressions and instead infer it from the function #2138

tautschnig opened this issue Apr 29, 2018 · 0 comments
Labels
pending merge

Comments

@tautschnig
Copy link
Collaborator

This has been introduced in #2130 to fix recent breakage, but is a hack that seems wrong.
romainbrenguier added a commit to romainbrenguier/cbmc that referenced this issue May 1, 2018
@romainbrenguier
Make mode an argument of goto-convert functions
d6017f9 
Fixes: diffblue#2138
This passes the mode as an argument of these functions instead of trying
to deduce it from the expression.
This avoids creating symbols with empty mode which can lead to problems
in later stages of the analysis.
romainbrenguier added a commit to romainbrenguier/cbmc that referenced this issue May 1, 2018
@romainbrenguier
Make mode an argument of goto-convert functions
1a004ec 
Fixes: diffblue#2138
This passes the mode as an argument of these functions instead of trying
to deduce it from the expression.
This avoids creating symbols with empty mode which can lead to problems
in later stages of the analysis.
romainbrenguier added a commit to romainbrenguier/cbmc that referenced this issue May 1, 2018
@romainbrenguier
Make mode an argument of goto-convert functions
afb3dbb 
Fixes: diffblue#2138
This passes the mode as an argument of these functions instead of trying
to deduce it from the expression.
This avoids creating symbols with empty mode which can lead to problems
in later stages of the analysis.
romainbrenguier added a commit to romainbrenguier/cbmc that referenced this issue May 2, 2018
@romainbrenguier
Make mode an argument of goto-convert functions
b04daa3 
Fixes: diffblue#2138
This passes the mode as an argument of these functions instead of trying
to deduce it from the expression.
This avoids creating symbols with empty mode which can lead to problems
in later stages of the analysis.
kroening pushed a commit that referenced this issue May 3, 2018
@romainbrenguier
Make mode an argument of goto-convert functions
46ccced 
Fixes: #2138
This passes the mode as an argument of these functions instead of trying
to deduce it from the expression.
This avoids creating symbols with empty mode which can lead to problems
in later stages of the analysis.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
pending merge
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tautschnig