Skip to content

Commit a4ffe59

Browse files
committed
change type of numerical architecture symbols to integer
Following a suggestion in ##5878, this changes the type of the numerical __CPROVER_architecture_ symbols from int (which is itself architecture-dependent) to integer (which does not depend on the architecture). Closes #5878
1 parent 782e9a9 commit a4ffe59

File tree

5 files changed

+2
-1
lines changed

5 files changed

+2
-1
lines changed
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

src/ansi-c/ansi_c_internal_additions.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -113,7 +113,8 @@ static std::string architecture_string(const std::string &value, const char *s)
113113
template <typename T>
114114
static std::string architecture_string(T value, const char *s)
115115
{
116-
return std::string("const int " CPROVER_PREFIX "architecture_") +
116+
return std::string("const " CPROVER_PREFIX "integer " CPROVER_PREFIX
117+
"architecture_") +
117118
std::string(s) + "=" + std::to_string(value) + ";\n";
118119
}
119120

0 commit comments

Comments
 (0)