mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 12:28:44 +00:00
Code Activity

Change treatment of unsigned to avoid depending on unspecified behavior of recursive macros

Browse source
This commit is contained in:
Josh Berdine 2012-12-03 03:50:28 +00:00 committed by Leonardo de Moura
parent 1a11196211
commit 4ec4151e82
2 changed files with 3 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/api/ml/build.sed
View file

@ -1,7 +1,7 @@
# attempt to clean up the mess with 'unsigned'
s/__in unsigned __/__in __/g
s/__out unsigned __/__out __/g
s/__out_opt unsigned __/__out_opt __/g
s/ unsigned/ unsigned int/g
s/unsigned int long/unsigned long/g
s/unsigned int __/unsigned __/g
# '@name ' -> 'Section: '

5
src/api/ml/z3.idl
View file

@ -91,11 +91,6 @@ quote(c,"#define xstr(s) str(s)");
quote(c,"#define str(s) #s");
// CamlIDL (1.05) has a bug where it does not accept [unsigned] as a type,
// only as a specifier, so unsigned is defined to be unsigned int.
#define unsigned unsigned int
// Suppress "warning C4090: 'function' : different 'const' qualifiers" as
// CamlIDL does not seem to get this right.
quote(c,"#pragma warning(disable:4090)");