Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ##################
- Log: run sudo make
- ##################
- [ZI] Build Z3 for Ocaml
- make[1]: Entering directory `/home/maidinh/Downloads/z3-installer-master/z3/ocaml'
- gcc -I/usr/lib/ocaml -I../include -fPIC -c -o z3_stubs.o z3_stubs.c
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_tuple_sort’:
- z3_stubs.c:1172:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &field_names[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:1179:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v6, &field_sorts[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_enumeration_sort’:
- z3_stubs.c:1237:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &enum_names[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_constructor’:
- z3_stubs.c:1363:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &field_names[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:254:46: warning: passing argument 2 of ‘ml2c_Z3_sort_opt’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort_opt(v,c,ctx) ml2c_Z3_sort_opt(v,c)
- ^
- z3_stubs.c:1370:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort_opt’
- camlidl_ml2c_z3_Z3_sort_opt(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:246:32: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_OPT_OPS(T) void ml2c_ ## T ## _opt (value v, T* c) { struct camlidl_ctx_struct _ctxs = { CAMLIDL_TRANSIENT, NULL }; camlidl_ctx _ctx = &_ctxs; if (v != Val_int(0)) { camlidl_ml2c_z3_ ## T(Field(v, 0), c, _ctx); } else { *c = NULL; } } value c2ml_ ## T ## _opt (T* c) { struct camlidl_ctx_struct _ctxs = { CAMLIDL_TRANSIENT, NULL }; camlidl_ctx _ctx = &_ctxs; value v; value a; if (*c) { a = camlidl_c2ml_z3_ ## T(c, _ctx); Begin_root(a) v = caml_alloc_small(1, 0); Field(v, 0) = a; End_roots(); } else { v = Val_int(0); } return v; }
- ^
- z3_stubs.c:253:1: note: in expansion of macro ‘DEFINE_OPT_OPS’
- DEFINE_OPT_OPS(Z3_sort)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_constructor_list’:
- z3_stubs.c:1482:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_constructor’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_constructor(_v3, &constructors[_c2], _ctx);
- ^
- z3_stubs.c:263:6: note: expected ‘struct _Z3_constructor **’ but argument is of type ‘struct _Z3_constructor * const*’
- void camlidl_ml2c_z3_Z3_constructor(value _v1, Z3_constructor * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_datatypes’:
- z3_stubs.c:1542:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_func_decl’:
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:1654:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v3, &domain[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_app’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:1690:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_fresh_func_decl’:
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:1752:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v3, &domain[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_distinct’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:1873:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_and’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:2030:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_or’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:2062:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_add’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:2094:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_mul’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:2126:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_sub’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:2158:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_set_union’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:3921:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_set_intersect’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:3953:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_pattern’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:4182:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &terms[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_forall’:
- z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
- ^
- z3_stubs.c:4255:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
- camlidl_ml2c_z3_Z3_pattern(_v3, &patterns[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_pattern)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:4262:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c:4269:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_exists’:
- z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
- ^
- z3_stubs.c:4323:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
- camlidl_ml2c_z3_Z3_pattern(_v3, &patterns[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_pattern)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:4330:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c:4337:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_quantifier’:
- z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
- ^
- z3_stubs.c:4394:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
- camlidl_ml2c_z3_Z3_pattern(_v3, &patterns[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_pattern)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:4401:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c:4408:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_quantifier_ex’:
- z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
- ^
- z3_stubs.c:4477:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
- camlidl_ml2c_z3_Z3_pattern(_v3, &patterns[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_pattern)
- ^
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:4484:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v6, &no_patterns[_c5], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:4491:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v9, &sorts[_c8], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c:4498:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v12, &decl_names[_c11], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_forall_const’:
- z3_stubs.c:171:41: warning: passing argument 2 of ‘ml2c_Z3_app’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_app(v,c,ctx) ml2c_Z3_app(v,c)
- ^
- z3_stubs.c:4547:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_app’
- camlidl_ml2c_z3_Z3_app(_v3, &bound[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:170:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_app)
- ^
- z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
- ^
- z3_stubs.c:4554:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
- camlidl_ml2c_z3_Z3_pattern(_v6, &patterns[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_pattern)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_exists_const’:
- z3_stubs.c:171:41: warning: passing argument 2 of ‘ml2c_Z3_app’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_app(v,c,ctx) ml2c_Z3_app(v,c)
- ^
- z3_stubs.c:4598:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_app’
- camlidl_ml2c_z3_Z3_app(_v3, &bound[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:170:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_app)
- ^
- z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
- ^
- z3_stubs.c:4605:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
- camlidl_ml2c_z3_Z3_pattern(_v6, &patterns[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_pattern)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_quantifier_const’:
- z3_stubs.c:171:41: warning: passing argument 2 of ‘ml2c_Z3_app’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_app(v,c,ctx) ml2c_Z3_app(v,c)
- ^
- z3_stubs.c:4652:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_app’
- camlidl_ml2c_z3_Z3_app(_v3, &bound[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:170:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_app)
- ^
- z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
- ^
- z3_stubs.c:4659:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
- camlidl_ml2c_z3_Z3_pattern(_v6, &patterns[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_pattern)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_mk_quantifier_const_ex’:
- z3_stubs.c:171:41: warning: passing argument 2 of ‘ml2c_Z3_app’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_app(v,c,ctx) ml2c_Z3_app(v,c)
- ^
- z3_stubs.c:4723:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_app’
- camlidl_ml2c_z3_Z3_app(_v3, &bound[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:170:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_app)
- ^
- z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
- ^
- z3_stubs.c:4730:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
- camlidl_ml2c_z3_Z3_pattern(_v6, &patterns[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_pattern)
- ^
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:4737:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v9, &no_patterns[_c8], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_update_term’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:6724:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_substitute’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:6764:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &from[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:6771:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v6, &to[_c5], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_substitute_vars’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:6806:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &to[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_benchmark_to_smtlib_string’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:7507:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &assumptions[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_parse_smtlib2_string’:
- z3_stubs.c:7564:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:7571:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c:7578:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
- ^
- z3_stubs.c:7585:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
- camlidl_ml2c_z3_Z3_func_decl(_v12, &decls[_c11], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_func_decl)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_parse_smtlib2_file’:
- z3_stubs.c:7641:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:7648:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c:7655:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
- ^
- z3_stubs.c:7662:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
- camlidl_ml2c_z3_Z3_func_decl(_v12, &decls[_c11], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_func_decl)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_parse_smtlib_string’:
- z3_stubs.c:7715:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:7722:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c:7729:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
- ^
- z3_stubs.c:7736:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
- camlidl_ml2c_z3_Z3_func_decl(_v12, &decls[_c11], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_func_decl)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_parse_smtlib_file’:
- z3_stubs.c:7788:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
- ^
- z3_stubs.c:7795:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
- camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_sort)
- ^
- z3_stubs.c:7802:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
- ^
- z3_stubs.c:7809:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
- camlidl_ml2c_z3_Z3_func_decl(_v12, &decls[_c11], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_func_decl)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_fixedpoint_query_relations’:
- z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
- ^
- z3_stubs.c:8270:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
- camlidl_ml2c_z3_Z3_func_decl(_v3, &relations[_c2], _ctx);
- ^
- z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- #define DEFINE_SUBAST_OPS(T) void ml2c_ ## T (value v, T * a) { ml2c_Z3_ast(v, (Z3_ast*) a); } value c2ml_ ## T (T * a) { return c2ml_Z3_ast((Z3_ast*) a); }
- ^
- z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
- DEFINE_SUBAST_OPS(Z3_func_decl)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_fixedpoint_set_predicate_representation’:
- z3_stubs.c:8392:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3_Z3_symbol(_v3, &relation_kinds[_c2], _ctx);
- ^
- z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_tactic_par_or’:
- z3_stubs.c:222:44: warning: passing argument 2 of ‘ml2c_Z3_tactic’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_tactic(v,c,ctx) ml2c_Z3_tactic(v,c)
- ^
- z3_stubs.c:9270:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_tactic’
- camlidl_ml2c_z3_Z3_tactic(_v3, &ts[_c2], _ctx);
- ^
- z3_stubs.c:180:373: note: expected ‘struct _Z3_tactic **’ but argument is of type ‘struct _Z3_tactic * const*’
- #define DEFINE_RC_OPS(T) value c2ml_ ## T (T * c) { static value* finalize_ ## T ## _closure = NULL; value v; check_error_code(last_ctx); v = caml_alloc_small(2, Abstract_tag); Field(v, 0) = (value) *c; Field(v, 1) = (value) last_ctx; register_finalizer(&finalize_ ## T ## _closure, xstr(finalize_ ## T), (Z3_context) *c, v); T ## _inc_ref(last_ctx, *c); return v; } void ml2c_ ## T (value v, T * c) { *c = (T) Field(v, 0); } value finalize_ ## T (value v) { Z3_context c; c = (Z3_context) Field(v, 1); T ## _dec_ref(c, (T) Field(v, 0)); check_error_code(c); return Val_unit; }
- ^
- z3_stubs.c:221:1: note: in expansion of macro ‘DEFINE_RC_OPS’
- DEFINE_RC_OPS(Z3_tactic)
- ^
- z3_stubs.c: In function ‘camlidl_z3_Z3_solver_check_assumptions’:
- z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
- #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
- ^
- z3_stubs.c:10348:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
- camlidl_ml2c_z3_Z3_ast(_v3, &assumptions[_c2], _ctx);
- ^
- z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void ml2c_Z3_ast (value v, Z3_ast* c)
- ^
- z3_stubs.c: In function ‘caml_z3_error_handler’:
- z3_stubs.c:10661:99: warning: initialization discards ‘const’ qualifier from pointer target type
- void caml_z3_error_handler(Z3_context c, Z3_error_code e) { static char buffer[128]; char * msg = Z3_get_error_msg_ex(c, e); if (strlen(msg) > 100) { failwith("Z3: error message is too big to fit in buffer"); } else { sprintf(buffer, "Z3: %s", msg); failwith(buffer); } }
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_tuple_sort’:
- z3_stubs.c:11491:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v3, &field_names[_c2], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:11498:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &field_sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_enumeration_sort’:
- z3_stubs.c:11553:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v3, &enum_names[_c2], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_constructor’:
- z3_stubs.c:11673:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v3, &field_names[_c2], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:11680:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_constructor_list’:
- z3_stubs.c:11783:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_constructor’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_constructor(_v3, &constructors[_c2], _ctx);
- ^
- z3_stubs.c:10805:6: note: expected ‘struct _Z3_constructor **’ but argument is of type ‘struct _Z3_constructor * const*’
- void camlidl_ml2c_z3V3_Z3_constructor(value _v1, Z3_constructor * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_datatypes’:
- z3_stubs.c:11837:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_func_decl’:
- z3_stubs.c:11943:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v3, &domain[_c2], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_app’:
- z3_stubs.c:11976:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_fresh_func_decl’:
- z3_stubs.c:12032:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v3, &domain[_c2], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_distinct’:
- z3_stubs.c:12138:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_and’:
- z3_stubs.c:12277:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_or’:
- z3_stubs.c:12306:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_add’:
- z3_stubs.c:12335:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_mul’:
- z3_stubs.c:12364:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_sub’:
- z3_stubs.c:12393:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_set_union’:
- z3_stubs.c:13943:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_set_intersect’:
- z3_stubs.c:13972:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_pattern’:
- z3_stubs.c:14174:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &terms[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_forall’:
- z3_stubs.c:14241:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_pattern(_v3, &patterns[_c2], _ctx);
- ^
- z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14248:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14255:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_exists’:
- z3_stubs.c:14306:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_pattern(_v3, &patterns[_c2], _ctx);
- ^
- z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14313:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14320:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_quantifier’:
- z3_stubs.c:14374:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_pattern(_v3, &patterns[_c2], _ctx);
- ^
- z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14381:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14388:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_quantifier_ex’:
- z3_stubs.c:14454:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_pattern(_v3, &patterns[_c2], _ctx);
- ^
- z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14461:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v6, &no_patterns[_c5], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14468:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v9, &sorts[_c8], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14475:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v12, &decl_names[_c11], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_forall_const’:
- z3_stubs.c:14521:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_app’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_app(_v3, &bound[_c2], _ctx);
- ^
- z3_stubs.c:10766:6: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
- void camlidl_ml2c_z3V3_Z3_app(value _v1, Z3_app * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14528:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_pattern(_v6, &patterns[_c5], _ctx);
- ^
- z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_exists_const’:
- z3_stubs.c:14569:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_app’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_app(_v3, &bound[_c2], _ctx);
- ^
- z3_stubs.c:10766:6: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
- void camlidl_ml2c_z3V3_Z3_app(value _v1, Z3_app * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14576:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_pattern(_v6, &patterns[_c5], _ctx);
- ^
- z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_quantifier_const’:
- z3_stubs.c:14620:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_app’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_app(_v3, &bound[_c2], _ctx);
- ^
- z3_stubs.c:10766:6: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
- void camlidl_ml2c_z3V3_Z3_app(value _v1, Z3_app * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14627:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_pattern(_v6, &patterns[_c5], _ctx);
- ^
- z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_quantifier_const_ex’:
- z3_stubs.c:14688:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_app’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_app(_v3, &bound[_c2], _ctx);
- ^
- z3_stubs.c:10766:6: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
- void camlidl_ml2c_z3V3_Z3_app(value _v1, Z3_app * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14695:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_pattern(_v6, &patterns[_c5], _ctx);
- ^
- z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
- void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:14702:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v9, &no_patterns[_c8], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_update_term’:
- z3_stubs.c:16402:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_substitute’:
- z3_stubs.c:16439:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &from[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16446:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v6, &to[_c5], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_substitute_vars’:
- z3_stubs.c:16478:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &to[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_benchmark_to_smtlib_string’:
- z3_stubs.c:16674:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &assumptions[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_parse_smtlib2_string’:
- z3_stubs.c:16728:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16735:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16742:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16749:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_func_decl(_v12, &decls[_c11], _ctx);
- ^
- z3_stubs.c:10740:6: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- void camlidl_ml2c_z3V3_Z3_func_decl(value _v1, Z3_func_decl * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_parse_smtlib2_file’:
- z3_stubs.c:16802:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16809:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16816:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16823:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_func_decl(_v12, &decls[_c11], _ctx);
- ^
- z3_stubs.c:10740:6: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- void camlidl_ml2c_z3V3_Z3_func_decl(value _v1, Z3_func_decl * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_parse_smtlib_string’:
- z3_stubs.c:16873:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16880:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16887:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16894:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_func_decl(_v12, &decls[_c11], _ctx);
- ^
- z3_stubs.c:10740:6: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- void camlidl_ml2c_z3V3_Z3_func_decl(value _v1, Z3_func_decl * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_parse_smtlib_file’:
- z3_stubs.c:16943:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16950:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16957:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
- ^
- z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
- void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c:16964:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_func_decl(_v12, &decls[_c11], _ctx);
- ^
- z3_stubs.c:10740:6: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
- void camlidl_ml2c_z3V3_Z3_func_decl(value _v1, Z3_func_decl * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_theory_mk_func_decl’:
- z3_stubs.c:17309:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v3, &domain[_c2], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_injective_function’:
- z3_stubs.c:17595:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_sort(_v3, &domain[_c2], _ctx);
- ^
- z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
- void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_check_assumptions’:
- z3_stubs.c:17777:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &assumptions[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_get_implied_equalities’:
- z3_stubs.c:17837:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &terms[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- z3_stubs.c: In function ‘camlidl_z3V3_Z3_eval_decl’:
- z3_stubs.c:18487:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
- camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
- ^
- z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
- void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
- ^
- gcc -I/usr/lib/ocaml -I../include -fPIC -c -o z3_theory_stubs.o z3_theory_stubs.c
- ld -L../lib -L/usr/lib/ocaml -r z3_stubs.o z3_theory_stubs.o -lcamlidl -o z3_all_stubs.o
- gcc -shared -I../include -L../lib z3_all_stubs.o -lz3 -lgomp -lrt -o dllz3stubs.so
- ocamlc -c z3.mli
- ocamlc -c z3.ml
- File "z3.ml", line 1613, characters 16-19:
- Warning 28: wildcard pattern given as argument to a constant constructor
- ocamlc -a -o z3.cma -dllib -lz3stubs z3.cmo
- ar rcs libz3stubs.a z3_all_stubs.o; ranlib libz3stubs.a
- ocamlopt -c z3.ml
- File "z3.ml", line 1613, characters 16-19:
- Warning 28: wildcard pattern given as argument to a constant constructor
- ocamlopt -a -o z3.cmxa -cclib -lz3 -cclib -lgomp -cclib -lrt z3.cmx
- make[1]: Leaving directory `/home/maidinh/Downloads/z3-installer-master/z3/ocaml'
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement