goto-instrument: const quantifier #882
Labels
Comments
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
May 3, 2017
Follow-up to 99067de, which made expr2c prefer typedef names over original type expressions. Thanks Andreas Stahlbauer for providing the regression tests and help in debugging. Fixes: diffblue#882
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
May 8, 2017
Follow-up to 99067de, which made expr2c prefer typedef names over original type expressions. Thanks Andreas Stahlbauer for providing the regression tests and help in debugging. Fixes: diffblue#882
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
Jun 8, 2017
Follow-up to 99067de, which made expr2c prefer typedef names over original type expressions. Thanks Andreas Stahlbauer for providing the regression tests and help in debugging. Fixes: diffblue#882 Fixes: diffblue#964 Fixes: diffblue#972
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
@tautschnig goto-instrument falsely emits
constquantifiers for sometypedef:typedef const unsigned int uint32_t;instead oftypedef unsigned int uint32_t;.The problem might be caused by using the following operator (and none of the
.set(ID_C_constant, true);causes it):c_qualifierst &operator+=(const c_qualifierst &b)inc_qualifiers.hTest case for reproducing the problem: typedef-const.zip
The text was updated successfully, but these errors were encountered: