API tools faq
paste
Advertisement
bubuhacker

sudo make

bubuhacker
Sep 22nd, 2014
271
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 74.51 KB | None | 0 0
raw download clone embed print report
  1. ##################
  2. Log: run sudo make
  3. ##################
  4.  
  5. [ZI] Build Z3 for Ocaml
  6. make[1]: Entering directory `/home/maidinh/Downloads/z3-installer-master/z3/ocaml'
  7. gcc -I/usr/lib/ocaml -I../include -fPIC -c -o z3_stubs.o z3_stubs.c
  8. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_tuple_sort’:
  9. z3_stubs.c:1172:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  10. camlidl_ml2c_z3_Z3_symbol(_v3, &field_names[_c2], _ctx);
  11. ^
  12. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  13. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  14. ^
  15. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  16. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  17. ^
  18. z3_stubs.c:1179:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  19. camlidl_ml2c_z3_Z3_sort(_v6, &field_sorts[_c5], _ctx);
  20. ^
  21. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  22. #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); }
  23. ^
  24. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  25. DEFINE_SUBAST_OPS(Z3_sort)
  26. ^
  27. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_enumeration_sort’:
  28. z3_stubs.c:1237:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  29. camlidl_ml2c_z3_Z3_symbol(_v3, &enum_names[_c2], _ctx);
  30. ^
  31. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  32. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  33. ^
  34. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_constructor’:
  35. z3_stubs.c:1363:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  36. camlidl_ml2c_z3_Z3_symbol(_v3, &field_names[_c2], _ctx);
  37. ^
  38. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  39. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  40. ^
  41. z3_stubs.c:254:46: warning: passing argument 2 of ‘ml2c_Z3_sort_opt’ discards ‘const’ qualifier from pointer target type
  42. #define camlidl_ml2c_z3_Z3_sort_opt(v,c,ctx) ml2c_Z3_sort_opt(v,c)
  43. ^
  44. z3_stubs.c:1370:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort_opt’
  45. camlidl_ml2c_z3_Z3_sort_opt(_v6, &sorts[_c5], _ctx);
  46. ^
  47. z3_stubs.c:246:32: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  48. #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; }
  49. ^
  50. z3_stubs.c:253:1: note: in expansion of macro ‘DEFINE_OPT_OPS’
  51. DEFINE_OPT_OPS(Z3_sort)
  52. ^
  53. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_constructor_list’:
  54. z3_stubs.c:1482:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_constructor’ discards ‘const’ qualifier from pointer target type
  55. camlidl_ml2c_z3_Z3_constructor(_v3, &constructors[_c2], _ctx);
  56. ^
  57. z3_stubs.c:263:6: note: expected ‘struct _Z3_constructor **’ but argument is of type ‘struct _Z3_constructor * const*’
  58. void camlidl_ml2c_z3_Z3_constructor(value _v1, Z3_constructor * _c2, camlidl_ctx _ctx)
  59. ^
  60. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_datatypes’:
  61. z3_stubs.c:1542:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  62. camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  63. ^
  64. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  65. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  66. ^
  67. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_func_decl’:
  68. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  69. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  70. ^
  71. z3_stubs.c:1654:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  72. camlidl_ml2c_z3_Z3_sort(_v3, &domain[_c2], _ctx);
  73. ^
  74. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  75. #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); }
  76. ^
  77. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  78. DEFINE_SUBAST_OPS(Z3_sort)
  79. ^
  80. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_app’:
  81. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  82. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  83. ^
  84. z3_stubs.c:1690:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  85. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  86. ^
  87. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  88. void ml2c_Z3_ast (value v, Z3_ast* c)
  89. ^
  90. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_fresh_func_decl’:
  91. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  92. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  93. ^
  94. z3_stubs.c:1752:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  95. camlidl_ml2c_z3_Z3_sort(_v3, &domain[_c2], _ctx);
  96. ^
  97. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  98. #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); }
  99. ^
  100. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  101. DEFINE_SUBAST_OPS(Z3_sort)
  102. ^
  103. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_distinct’:
  104. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  105. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  106. ^
  107. z3_stubs.c:1873:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  108. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  109. ^
  110. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  111. void ml2c_Z3_ast (value v, Z3_ast* c)
  112. ^
  113. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_and’:
  114. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  115. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  116. ^
  117. z3_stubs.c:2030:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  118. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  119. ^
  120. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  121. void ml2c_Z3_ast (value v, Z3_ast* c)
  122. ^
  123. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_or’:
  124. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  125. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  126. ^
  127. z3_stubs.c:2062:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  128. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  129. ^
  130. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  131. void ml2c_Z3_ast (value v, Z3_ast* c)
  132. ^
  133. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_add’:
  134. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  135. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  136. ^
  137. z3_stubs.c:2094:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  138. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  139. ^
  140. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  141. void ml2c_Z3_ast (value v, Z3_ast* c)
  142. ^
  143. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_mul’:
  144. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  145. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  146. ^
  147. z3_stubs.c:2126:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  148. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  149. ^
  150. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  151. void ml2c_Z3_ast (value v, Z3_ast* c)
  152. ^
  153. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_sub’:
  154. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  155. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  156. ^
  157. z3_stubs.c:2158:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  158. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  159. ^
  160. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  161. void ml2c_Z3_ast (value v, Z3_ast* c)
  162. ^
  163. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_set_union’:
  164. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  165. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  166. ^
  167. z3_stubs.c:3921:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  168. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  169. ^
  170. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  171. void ml2c_Z3_ast (value v, Z3_ast* c)
  172. ^
  173. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_set_intersect’:
  174. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  175. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  176. ^
  177. z3_stubs.c:3953:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  178. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  179. ^
  180. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  181. void ml2c_Z3_ast (value v, Z3_ast* c)
  182. ^
  183. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_pattern’:
  184. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  185. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  186. ^
  187. z3_stubs.c:4182:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  188. camlidl_ml2c_z3_Z3_ast(_v3, &terms[_c2], _ctx);
  189. ^
  190. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  191. void ml2c_Z3_ast (value v, Z3_ast* c)
  192. ^
  193. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_forall’:
  194. z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  195. #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
  196. ^
  197. z3_stubs.c:4255:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
  198. camlidl_ml2c_z3_Z3_pattern(_v3, &patterns[_c2], _ctx);
  199. ^
  200. z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  201. #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); }
  202. ^
  203. z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  204. DEFINE_SUBAST_OPS(Z3_pattern)
  205. ^
  206. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  207. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  208. ^
  209. z3_stubs.c:4262:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  210. camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
  211. ^
  212. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  213. #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); }
  214. ^
  215. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  216. DEFINE_SUBAST_OPS(Z3_sort)
  217. ^
  218. z3_stubs.c:4269:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  219. camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  220. ^
  221. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  222. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  223. ^
  224. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_exists’:
  225. z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  226. #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
  227. ^
  228. z3_stubs.c:4323:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
  229. camlidl_ml2c_z3_Z3_pattern(_v3, &patterns[_c2], _ctx);
  230. ^
  231. z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  232. #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); }
  233. ^
  234. z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  235. DEFINE_SUBAST_OPS(Z3_pattern)
  236. ^
  237. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  238. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  239. ^
  240. z3_stubs.c:4330:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  241. camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
  242. ^
  243. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  244. #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); }
  245. ^
  246. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  247. DEFINE_SUBAST_OPS(Z3_sort)
  248. ^
  249. z3_stubs.c:4337:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  250. camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  251. ^
  252. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  253. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  254. ^
  255. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_quantifier’:
  256. z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  257. #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
  258. ^
  259. z3_stubs.c:4394:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
  260. camlidl_ml2c_z3_Z3_pattern(_v3, &patterns[_c2], _ctx);
  261. ^
  262. z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  263. #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); }
  264. ^
  265. z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  266. DEFINE_SUBAST_OPS(Z3_pattern)
  267. ^
  268. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  269. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  270. ^
  271. z3_stubs.c:4401:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  272. camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
  273. ^
  274. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  275. #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); }
  276. ^
  277. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  278. DEFINE_SUBAST_OPS(Z3_sort)
  279. ^
  280. z3_stubs.c:4408:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  281. camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  282. ^
  283. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  284. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  285. ^
  286. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_quantifier_ex’:
  287. z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  288. #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
  289. ^
  290. z3_stubs.c:4477:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
  291. camlidl_ml2c_z3_Z3_pattern(_v3, &patterns[_c2], _ctx);
  292. ^
  293. z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  294. #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); }
  295. ^
  296. z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  297. DEFINE_SUBAST_OPS(Z3_pattern)
  298. ^
  299. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  300. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  301. ^
  302. z3_stubs.c:4484:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  303. camlidl_ml2c_z3_Z3_ast(_v6, &no_patterns[_c5], _ctx);
  304. ^
  305. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  306. void ml2c_Z3_ast (value v, Z3_ast* c)
  307. ^
  308. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  309. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  310. ^
  311. z3_stubs.c:4491:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  312. camlidl_ml2c_z3_Z3_sort(_v9, &sorts[_c8], _ctx);
  313. ^
  314. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  315. #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); }
  316. ^
  317. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  318. DEFINE_SUBAST_OPS(Z3_sort)
  319. ^
  320. z3_stubs.c:4498:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  321. camlidl_ml2c_z3_Z3_symbol(_v12, &decl_names[_c11], _ctx);
  322. ^
  323. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  324. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  325. ^
  326. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_forall_const’:
  327. z3_stubs.c:171:41: warning: passing argument 2 of ‘ml2c_Z3_app’ discards ‘const’ qualifier from pointer target type
  328. #define camlidl_ml2c_z3_Z3_app(v,c,ctx) ml2c_Z3_app(v,c)
  329. ^
  330. z3_stubs.c:4547:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_app’
  331. camlidl_ml2c_z3_Z3_app(_v3, &bound[_c2], _ctx);
  332. ^
  333. z3_stubs.c:159:35: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
  334. #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); }
  335. ^
  336. z3_stubs.c:170:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  337. DEFINE_SUBAST_OPS(Z3_app)
  338. ^
  339. z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  340. #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
  341. ^
  342. z3_stubs.c:4554:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
  343. camlidl_ml2c_z3_Z3_pattern(_v6, &patterns[_c5], _ctx);
  344. ^
  345. z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  346. #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); }
  347. ^
  348. z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  349. DEFINE_SUBAST_OPS(Z3_pattern)
  350. ^
  351. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_exists_const’:
  352. z3_stubs.c:171:41: warning: passing argument 2 of ‘ml2c_Z3_app’ discards ‘const’ qualifier from pointer target type
  353. #define camlidl_ml2c_z3_Z3_app(v,c,ctx) ml2c_Z3_app(v,c)
  354. ^
  355. z3_stubs.c:4598:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_app’
  356. camlidl_ml2c_z3_Z3_app(_v3, &bound[_c2], _ctx);
  357. ^
  358. z3_stubs.c:159:35: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
  359. #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); }
  360. ^
  361. z3_stubs.c:170:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  362. DEFINE_SUBAST_OPS(Z3_app)
  363. ^
  364. z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  365. #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
  366. ^
  367. z3_stubs.c:4605:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
  368. camlidl_ml2c_z3_Z3_pattern(_v6, &patterns[_c5], _ctx);
  369. ^
  370. z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  371. #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); }
  372. ^
  373. z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  374. DEFINE_SUBAST_OPS(Z3_pattern)
  375. ^
  376. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_quantifier_const’:
  377. z3_stubs.c:171:41: warning: passing argument 2 of ‘ml2c_Z3_app’ discards ‘const’ qualifier from pointer target type
  378. #define camlidl_ml2c_z3_Z3_app(v,c,ctx) ml2c_Z3_app(v,c)
  379. ^
  380. z3_stubs.c:4652:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_app’
  381. camlidl_ml2c_z3_Z3_app(_v3, &bound[_c2], _ctx);
  382. ^
  383. z3_stubs.c:159:35: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
  384. #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); }
  385. ^
  386. z3_stubs.c:170:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  387. DEFINE_SUBAST_OPS(Z3_app)
  388. ^
  389. z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  390. #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
  391. ^
  392. z3_stubs.c:4659:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
  393. camlidl_ml2c_z3_Z3_pattern(_v6, &patterns[_c5], _ctx);
  394. ^
  395. z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  396. #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); }
  397. ^
  398. z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  399. DEFINE_SUBAST_OPS(Z3_pattern)
  400. ^
  401. z3_stubs.c: In function ‘camlidl_z3_Z3_mk_quantifier_const_ex’:
  402. z3_stubs.c:171:41: warning: passing argument 2 of ‘ml2c_Z3_app’ discards ‘const’ qualifier from pointer target type
  403. #define camlidl_ml2c_z3_Z3_app(v,c,ctx) ml2c_Z3_app(v,c)
  404. ^
  405. z3_stubs.c:4723:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_app’
  406. camlidl_ml2c_z3_Z3_app(_v3, &bound[_c2], _ctx);
  407. ^
  408. z3_stubs.c:159:35: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
  409. #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); }
  410. ^
  411. z3_stubs.c:170:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  412. DEFINE_SUBAST_OPS(Z3_app)
  413. ^
  414. z3_stubs.c:176:45: warning: passing argument 2 of ‘ml2c_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  415. #define camlidl_ml2c_z3_Z3_pattern(v,c,ctx) ml2c_Z3_pattern(v,c)
  416. ^
  417. z3_stubs.c:4730:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_pattern’
  418. camlidl_ml2c_z3_Z3_pattern(_v6, &patterns[_c5], _ctx);
  419. ^
  420. z3_stubs.c:159:35: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  421. #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); }
  422. ^
  423. z3_stubs.c:175:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  424. DEFINE_SUBAST_OPS(Z3_pattern)
  425. ^
  426. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  427. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  428. ^
  429. z3_stubs.c:4737:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  430. camlidl_ml2c_z3_Z3_ast(_v9, &no_patterns[_c8], _ctx);
  431. ^
  432. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  433. void ml2c_Z3_ast (value v, Z3_ast* c)
  434. ^
  435. z3_stubs.c: In function ‘camlidl_z3_Z3_update_term’:
  436. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  437. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  438. ^
  439. z3_stubs.c:6724:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  440. camlidl_ml2c_z3_Z3_ast(_v3, &args[_c2], _ctx);
  441. ^
  442. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  443. void ml2c_Z3_ast (value v, Z3_ast* c)
  444. ^
  445. z3_stubs.c: In function ‘camlidl_z3_Z3_substitute’:
  446. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  447. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  448. ^
  449. z3_stubs.c:6764:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  450. camlidl_ml2c_z3_Z3_ast(_v3, &from[_c2], _ctx);
  451. ^
  452. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  453. void ml2c_Z3_ast (value v, Z3_ast* c)
  454. ^
  455. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  456. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  457. ^
  458. z3_stubs.c:6771:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  459. camlidl_ml2c_z3_Z3_ast(_v6, &to[_c5], _ctx);
  460. ^
  461. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  462. void ml2c_Z3_ast (value v, Z3_ast* c)
  463. ^
  464. z3_stubs.c: In function ‘camlidl_z3_Z3_substitute_vars’:
  465. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  466. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  467. ^
  468. z3_stubs.c:6806:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  469. camlidl_ml2c_z3_Z3_ast(_v3, &to[_c2], _ctx);
  470. ^
  471. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  472. void ml2c_Z3_ast (value v, Z3_ast* c)
  473. ^
  474. z3_stubs.c: In function ‘camlidl_z3_Z3_benchmark_to_smtlib_string’:
  475. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  476. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  477. ^
  478. z3_stubs.c:7507:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  479. camlidl_ml2c_z3_Z3_ast(_v3, &assumptions[_c2], _ctx);
  480. ^
  481. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  482. void ml2c_Z3_ast (value v, Z3_ast* c)
  483. ^
  484. z3_stubs.c: In function ‘camlidl_z3_Z3_parse_smtlib2_string’:
  485. z3_stubs.c:7564:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  486. camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  487. ^
  488. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  489. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  490. ^
  491. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  492. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  493. ^
  494. z3_stubs.c:7571:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  495. camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
  496. ^
  497. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  498. #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); }
  499. ^
  500. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  501. DEFINE_SUBAST_OPS(Z3_sort)
  502. ^
  503. z3_stubs.c:7578:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  504. camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  505. ^
  506. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  507. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  508. ^
  509. z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  510. #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
  511. ^
  512. z3_stubs.c:7585:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
  513. camlidl_ml2c_z3_Z3_func_decl(_v12, &decls[_c11], _ctx);
  514. ^
  515. z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  516. #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); }
  517. ^
  518. z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  519. DEFINE_SUBAST_OPS(Z3_func_decl)
  520. ^
  521. z3_stubs.c: In function ‘camlidl_z3_Z3_parse_smtlib2_file’:
  522. z3_stubs.c:7641:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  523. camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  524. ^
  525. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  526. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  527. ^
  528. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  529. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  530. ^
  531. z3_stubs.c:7648:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  532. camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
  533. ^
  534. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  535. #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); }
  536. ^
  537. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  538. DEFINE_SUBAST_OPS(Z3_sort)
  539. ^
  540. z3_stubs.c:7655:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  541. camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  542. ^
  543. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  544. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  545. ^
  546. z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  547. #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
  548. ^
  549. z3_stubs.c:7662:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
  550. camlidl_ml2c_z3_Z3_func_decl(_v12, &decls[_c11], _ctx);
  551. ^
  552. z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  553. #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); }
  554. ^
  555. z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  556. DEFINE_SUBAST_OPS(Z3_func_decl)
  557. ^
  558. z3_stubs.c: In function ‘camlidl_z3_Z3_parse_smtlib_string’:
  559. z3_stubs.c:7715:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  560. camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  561. ^
  562. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  563. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  564. ^
  565. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  566. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  567. ^
  568. z3_stubs.c:7722:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  569. camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
  570. ^
  571. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  572. #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); }
  573. ^
  574. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  575. DEFINE_SUBAST_OPS(Z3_sort)
  576. ^
  577. z3_stubs.c:7729:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  578. camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  579. ^
  580. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  581. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  582. ^
  583. z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  584. #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
  585. ^
  586. z3_stubs.c:7736:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
  587. camlidl_ml2c_z3_Z3_func_decl(_v12, &decls[_c11], _ctx);
  588. ^
  589. z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  590. #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); }
  591. ^
  592. z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  593. DEFINE_SUBAST_OPS(Z3_func_decl)
  594. ^
  595. z3_stubs.c: In function ‘camlidl_z3_Z3_parse_smtlib_file’:
  596. z3_stubs.c:7788:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  597. camlidl_ml2c_z3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  598. ^
  599. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  600. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  601. ^
  602. z3_stubs.c:161:42: warning: passing argument 2 of ‘ml2c_Z3_sort’ discards ‘const’ qualifier from pointer target type
  603. #define camlidl_ml2c_z3_Z3_sort(v,c,ctx) ml2c_Z3_sort(v,c)
  604. ^
  605. z3_stubs.c:7795:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_sort’
  606. camlidl_ml2c_z3_Z3_sort(_v6, &sorts[_c5], _ctx);
  607. ^
  608. z3_stubs.c:159:35: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  609. #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); }
  610. ^
  611. z3_stubs.c:160:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  612. DEFINE_SUBAST_OPS(Z3_sort)
  613. ^
  614. z3_stubs.c:7802:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  615. camlidl_ml2c_z3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  616. ^
  617. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  618. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  619. ^
  620. z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  621. #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
  622. ^
  623. z3_stubs.c:7809:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
  624. camlidl_ml2c_z3_Z3_func_decl(_v12, &decls[_c11], _ctx);
  625. ^
  626. z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  627. #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); }
  628. ^
  629. z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  630. DEFINE_SUBAST_OPS(Z3_func_decl)
  631. ^
  632. z3_stubs.c: In function ‘camlidl_z3_Z3_fixedpoint_query_relations’:
  633. z3_stubs.c:166:47: warning: passing argument 2 of ‘ml2c_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  634. #define camlidl_ml2c_z3_Z3_func_decl(v,c,ctx) ml2c_Z3_func_decl(v,c)
  635. ^
  636. z3_stubs.c:8270:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_func_decl’
  637. camlidl_ml2c_z3_Z3_func_decl(_v3, &relations[_c2], _ctx);
  638. ^
  639. z3_stubs.c:159:35: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  640. #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); }
  641. ^
  642. z3_stubs.c:165:1: note: in expansion of macro ‘DEFINE_SUBAST_OPS’
  643. DEFINE_SUBAST_OPS(Z3_func_decl)
  644. ^
  645. z3_stubs.c: In function ‘camlidl_z3_Z3_fixedpoint_set_predicate_representation’:
  646. z3_stubs.c:8392:5: warning: passing argument 2 of ‘camlidl_ml2c_z3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  647. camlidl_ml2c_z3_Z3_symbol(_v3, &relation_kinds[_c2], _ctx);
  648. ^
  649. z3_stubs.c:72:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  650. void camlidl_ml2c_z3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  651. ^
  652. z3_stubs.c: In function ‘camlidl_z3_Z3_tactic_par_or’:
  653. z3_stubs.c:222:44: warning: passing argument 2 of ‘ml2c_Z3_tactic’ discards ‘const’ qualifier from pointer target type
  654. #define camlidl_ml2c_z3_Z3_tactic(v,c,ctx) ml2c_Z3_tactic(v,c)
  655. ^
  656. z3_stubs.c:9270:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_tactic’
  657. camlidl_ml2c_z3_Z3_tactic(_v3, &ts[_c2], _ctx);
  658. ^
  659. z3_stubs.c:180:373: note: expected ‘struct _Z3_tactic **’ but argument is of type ‘struct _Z3_tactic * const*’
  660. #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; }
  661. ^
  662. z3_stubs.c:221:1: note: in expansion of macro ‘DEFINE_RC_OPS’
  663. DEFINE_RC_OPS(Z3_tactic)
  664. ^
  665. z3_stubs.c: In function ‘camlidl_z3_Z3_solver_check_assumptions’:
  666. z3_stubs.c:155:41: warning: passing argument 2 of ‘ml2c_Z3_ast’ discards ‘const’ qualifier from pointer target type
  667. #define camlidl_ml2c_z3_Z3_ast(v,c,ctx) ml2c_Z3_ast(v,c)
  668. ^
  669. z3_stubs.c:10348:5: note: in expansion of macro ‘camlidl_ml2c_z3_Z3_ast’
  670. camlidl_ml2c_z3_Z3_ast(_v3, &assumptions[_c2], _ctx);
  671. ^
  672. z3_stubs.c:91:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  673. void ml2c_Z3_ast (value v, Z3_ast* c)
  674. ^
  675. z3_stubs.c: In function ‘caml_z3_error_handler’:
  676. z3_stubs.c:10661:99: warning: initialization discards ‘const’ qualifier from pointer target type
  677. 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); } }
  678. ^
  679. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_tuple_sort’:
  680. z3_stubs.c:11491:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  681. camlidl_ml2c_z3V3_Z3_symbol(_v3, &field_names[_c2], _ctx);
  682. ^
  683. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  684. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  685. ^
  686. z3_stubs.c:11498:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  687. camlidl_ml2c_z3V3_Z3_sort(_v6, &field_sorts[_c5], _ctx);
  688. ^
  689. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  690. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  691. ^
  692. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_enumeration_sort’:
  693. z3_stubs.c:11553:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  694. camlidl_ml2c_z3V3_Z3_symbol(_v3, &enum_names[_c2], _ctx);
  695. ^
  696. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  697. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  698. ^
  699. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_constructor’:
  700. z3_stubs.c:11673:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  701. camlidl_ml2c_z3V3_Z3_symbol(_v3, &field_names[_c2], _ctx);
  702. ^
  703. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  704. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  705. ^
  706. z3_stubs.c:11680:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  707. camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
  708. ^
  709. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  710. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  711. ^
  712. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_constructor_list’:
  713. z3_stubs.c:11783:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_constructor’ discards ‘const’ qualifier from pointer target type
  714. camlidl_ml2c_z3V3_Z3_constructor(_v3, &constructors[_c2], _ctx);
  715. ^
  716. z3_stubs.c:10805:6: note: expected ‘struct _Z3_constructor **’ but argument is of type ‘struct _Z3_constructor * const*’
  717. void camlidl_ml2c_z3V3_Z3_constructor(value _v1, Z3_constructor * _c2, camlidl_ctx _ctx)
  718. ^
  719. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_datatypes’:
  720. z3_stubs.c:11837:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  721. camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  722. ^
  723. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  724. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  725. ^
  726. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_func_decl’:
  727. z3_stubs.c:11943:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  728. camlidl_ml2c_z3V3_Z3_sort(_v3, &domain[_c2], _ctx);
  729. ^
  730. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  731. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  732. ^
  733. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_app’:
  734. z3_stubs.c:11976:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  735. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  736. ^
  737. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  738. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  739. ^
  740. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_fresh_func_decl’:
  741. z3_stubs.c:12032:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  742. camlidl_ml2c_z3V3_Z3_sort(_v3, &domain[_c2], _ctx);
  743. ^
  744. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  745. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  746. ^
  747. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_distinct’:
  748. z3_stubs.c:12138:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  749. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  750. ^
  751. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  752. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  753. ^
  754. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_and’:
  755. z3_stubs.c:12277:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  756. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  757. ^
  758. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  759. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  760. ^
  761. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_or’:
  762. z3_stubs.c:12306:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  763. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  764. ^
  765. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  766. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  767. ^
  768. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_add’:
  769. z3_stubs.c:12335:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  770. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  771. ^
  772. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  773. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  774. ^
  775. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_mul’:
  776. z3_stubs.c:12364:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  777. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  778. ^
  779. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  780. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  781. ^
  782. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_sub’:
  783. z3_stubs.c:12393:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  784. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  785. ^
  786. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  787. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  788. ^
  789. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_set_union’:
  790. z3_stubs.c:13943:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  791. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  792. ^
  793. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  794. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  795. ^
  796. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_set_intersect’:
  797. z3_stubs.c:13972:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  798. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  799. ^
  800. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  801. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  802. ^
  803. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_pattern’:
  804. z3_stubs.c:14174:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  805. camlidl_ml2c_z3V3_Z3_ast(_v3, &terms[_c2], _ctx);
  806. ^
  807. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  808. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  809. ^
  810. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_forall’:
  811. z3_stubs.c:14241:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  812. camlidl_ml2c_z3V3_Z3_pattern(_v3, &patterns[_c2], _ctx);
  813. ^
  814. z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  815. void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
  816. ^
  817. z3_stubs.c:14248:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  818. camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
  819. ^
  820. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  821. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  822. ^
  823. z3_stubs.c:14255:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  824. camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  825. ^
  826. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  827. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  828. ^
  829. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_exists’:
  830. z3_stubs.c:14306:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  831. camlidl_ml2c_z3V3_Z3_pattern(_v3, &patterns[_c2], _ctx);
  832. ^
  833. z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  834. void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
  835. ^
  836. z3_stubs.c:14313:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  837. camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
  838. ^
  839. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  840. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  841. ^
  842. z3_stubs.c:14320:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  843. camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  844. ^
  845. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  846. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  847. ^
  848. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_quantifier’:
  849. z3_stubs.c:14374:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  850. camlidl_ml2c_z3V3_Z3_pattern(_v3, &patterns[_c2], _ctx);
  851. ^
  852. z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  853. void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
  854. ^
  855. z3_stubs.c:14381:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  856. camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
  857. ^
  858. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  859. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  860. ^
  861. z3_stubs.c:14388:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  862. camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  863. ^
  864. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  865. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  866. ^
  867. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_quantifier_ex’:
  868. z3_stubs.c:14454:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  869. camlidl_ml2c_z3V3_Z3_pattern(_v3, &patterns[_c2], _ctx);
  870. ^
  871. z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  872. void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
  873. ^
  874. z3_stubs.c:14461:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  875. camlidl_ml2c_z3V3_Z3_ast(_v6, &no_patterns[_c5], _ctx);
  876. ^
  877. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  878. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  879. ^
  880. z3_stubs.c:14468:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  881. camlidl_ml2c_z3V3_Z3_sort(_v9, &sorts[_c8], _ctx);
  882. ^
  883. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  884. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  885. ^
  886. z3_stubs.c:14475:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  887. camlidl_ml2c_z3V3_Z3_symbol(_v12, &decl_names[_c11], _ctx);
  888. ^
  889. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  890. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  891. ^
  892. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_forall_const’:
  893. z3_stubs.c:14521:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_app’ discards ‘const’ qualifier from pointer target type
  894. camlidl_ml2c_z3V3_Z3_app(_v3, &bound[_c2], _ctx);
  895. ^
  896. z3_stubs.c:10766:6: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
  897. void camlidl_ml2c_z3V3_Z3_app(value _v1, Z3_app * _c2, camlidl_ctx _ctx)
  898. ^
  899. z3_stubs.c:14528:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  900. camlidl_ml2c_z3V3_Z3_pattern(_v6, &patterns[_c5], _ctx);
  901. ^
  902. z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  903. void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
  904. ^
  905. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_exists_const’:
  906. z3_stubs.c:14569:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_app’ discards ‘const’ qualifier from pointer target type
  907. camlidl_ml2c_z3V3_Z3_app(_v3, &bound[_c2], _ctx);
  908. ^
  909. z3_stubs.c:10766:6: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
  910. void camlidl_ml2c_z3V3_Z3_app(value _v1, Z3_app * _c2, camlidl_ctx _ctx)
  911. ^
  912. z3_stubs.c:14576:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  913. camlidl_ml2c_z3V3_Z3_pattern(_v6, &patterns[_c5], _ctx);
  914. ^
  915. z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  916. void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
  917. ^
  918. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_quantifier_const’:
  919. z3_stubs.c:14620:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_app’ discards ‘const’ qualifier from pointer target type
  920. camlidl_ml2c_z3V3_Z3_app(_v3, &bound[_c2], _ctx);
  921. ^
  922. z3_stubs.c:10766:6: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
  923. void camlidl_ml2c_z3V3_Z3_app(value _v1, Z3_app * _c2, camlidl_ctx _ctx)
  924. ^
  925. z3_stubs.c:14627:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  926. camlidl_ml2c_z3V3_Z3_pattern(_v6, &patterns[_c5], _ctx);
  927. ^
  928. z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  929. void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
  930. ^
  931. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_quantifier_const_ex’:
  932. z3_stubs.c:14688:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_app’ discards ‘const’ qualifier from pointer target type
  933. camlidl_ml2c_z3V3_Z3_app(_v3, &bound[_c2], _ctx);
  934. ^
  935. z3_stubs.c:10766:6: note: expected ‘struct _Z3_app **’ but argument is of type ‘struct _Z3_app * const*’
  936. void camlidl_ml2c_z3V3_Z3_app(value _v1, Z3_app * _c2, camlidl_ctx _ctx)
  937. ^
  938. z3_stubs.c:14695:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_pattern’ discards ‘const’ qualifier from pointer target type
  939. camlidl_ml2c_z3V3_Z3_pattern(_v6, &patterns[_c5], _ctx);
  940. ^
  941. z3_stubs.c:10779:6: note: expected ‘struct _Z3_pattern **’ but argument is of type ‘struct _Z3_pattern * const*’
  942. void camlidl_ml2c_z3V3_Z3_pattern(value _v1, Z3_pattern * _c2, camlidl_ctx _ctx)
  943. ^
  944. z3_stubs.c:14702:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  945. camlidl_ml2c_z3V3_Z3_ast(_v9, &no_patterns[_c8], _ctx);
  946. ^
  947. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  948. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  949. ^
  950. z3_stubs.c: In function ‘camlidl_z3V3_Z3_update_term’:
  951. z3_stubs.c:16402:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  952. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  953. ^
  954. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  955. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  956. ^
  957. z3_stubs.c: In function ‘camlidl_z3V3_Z3_substitute’:
  958. z3_stubs.c:16439:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  959. camlidl_ml2c_z3V3_Z3_ast(_v3, &from[_c2], _ctx);
  960. ^
  961. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  962. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  963. ^
  964. z3_stubs.c:16446:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  965. camlidl_ml2c_z3V3_Z3_ast(_v6, &to[_c5], _ctx);
  966. ^
  967. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  968. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  969. ^
  970. z3_stubs.c: In function ‘camlidl_z3V3_Z3_substitute_vars’:
  971. z3_stubs.c:16478:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  972. camlidl_ml2c_z3V3_Z3_ast(_v3, &to[_c2], _ctx);
  973. ^
  974. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  975. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  976. ^
  977. z3_stubs.c: In function ‘camlidl_z3V3_Z3_benchmark_to_smtlib_string’:
  978. z3_stubs.c:16674:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  979. camlidl_ml2c_z3V3_Z3_ast(_v3, &assumptions[_c2], _ctx);
  980. ^
  981. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  982. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  983. ^
  984. z3_stubs.c: In function ‘camlidl_z3V3_Z3_parse_smtlib2_string’:
  985. z3_stubs.c:16728:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  986. camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  987. ^
  988. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  989. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  990. ^
  991. z3_stubs.c:16735:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  992. camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
  993. ^
  994. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  995. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  996. ^
  997. z3_stubs.c:16742:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  998. camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  999. ^
  1000. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  1001. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  1002. ^
  1003. z3_stubs.c:16749:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  1004. camlidl_ml2c_z3V3_Z3_func_decl(_v12, &decls[_c11], _ctx);
  1005. ^
  1006. z3_stubs.c:10740:6: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  1007. void camlidl_ml2c_z3V3_Z3_func_decl(value _v1, Z3_func_decl * _c2, camlidl_ctx _ctx)
  1008. ^
  1009. z3_stubs.c: In function ‘camlidl_z3V3_Z3_parse_smtlib2_file’:
  1010. z3_stubs.c:16802:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  1011. camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  1012. ^
  1013. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  1014. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  1015. ^
  1016. z3_stubs.c:16809:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  1017. camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
  1018. ^
  1019. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  1020. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  1021. ^
  1022. z3_stubs.c:16816:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  1023. camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  1024. ^
  1025. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  1026. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  1027. ^
  1028. z3_stubs.c:16823:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  1029. camlidl_ml2c_z3V3_Z3_func_decl(_v12, &decls[_c11], _ctx);
  1030. ^
  1031. z3_stubs.c:10740:6: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  1032. void camlidl_ml2c_z3V3_Z3_func_decl(value _v1, Z3_func_decl * _c2, camlidl_ctx _ctx)
  1033. ^
  1034. z3_stubs.c: In function ‘camlidl_z3V3_Z3_parse_smtlib_string’:
  1035. z3_stubs.c:16873:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  1036. camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  1037. ^
  1038. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  1039. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  1040. ^
  1041. z3_stubs.c:16880:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  1042. camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
  1043. ^
  1044. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  1045. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  1046. ^
  1047. z3_stubs.c:16887:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  1048. camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  1049. ^
  1050. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  1051. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  1052. ^
  1053. z3_stubs.c:16894:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  1054. camlidl_ml2c_z3V3_Z3_func_decl(_v12, &decls[_c11], _ctx);
  1055. ^
  1056. z3_stubs.c:10740:6: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  1057. void camlidl_ml2c_z3V3_Z3_func_decl(value _v1, Z3_func_decl * _c2, camlidl_ctx _ctx)
  1058. ^
  1059. z3_stubs.c: In function ‘camlidl_z3V3_Z3_parse_smtlib_file’:
  1060. z3_stubs.c:16943:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  1061. camlidl_ml2c_z3V3_Z3_symbol(_v3, &sort_names[_c2], _ctx);
  1062. ^
  1063. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  1064. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  1065. ^
  1066. z3_stubs.c:16950:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  1067. camlidl_ml2c_z3V3_Z3_sort(_v6, &sorts[_c5], _ctx);
  1068. ^
  1069. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  1070. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  1071. ^
  1072. z3_stubs.c:16957:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_symbol’ discards ‘const’ qualifier from pointer target type
  1073. camlidl_ml2c_z3V3_Z3_symbol(_v9, &decl_names[_c8], _ctx);
  1074. ^
  1075. z3_stubs.c:10662:6: note: expected ‘struct _Z3_symbol **’ but argument is of type ‘struct _Z3_symbol * const*’
  1076. void camlidl_ml2c_z3V3_Z3_symbol(value _v1, Z3_symbol * _c2, camlidl_ctx _ctx)
  1077. ^
  1078. z3_stubs.c:16964:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_func_decl’ discards ‘const’ qualifier from pointer target type
  1079. camlidl_ml2c_z3V3_Z3_func_decl(_v12, &decls[_c11], _ctx);
  1080. ^
  1081. z3_stubs.c:10740:6: note: expected ‘struct _Z3_func_decl **’ but argument is of type ‘struct _Z3_func_decl * const*’
  1082. void camlidl_ml2c_z3V3_Z3_func_decl(value _v1, Z3_func_decl * _c2, camlidl_ctx _ctx)
  1083. ^
  1084. z3_stubs.c: In function ‘camlidl_z3V3_Z3_theory_mk_func_decl’:
  1085. z3_stubs.c:17309:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  1086. camlidl_ml2c_z3V3_Z3_sort(_v3, &domain[_c2], _ctx);
  1087. ^
  1088. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  1089. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  1090. ^
  1091. z3_stubs.c: In function ‘camlidl_z3V3_Z3_mk_injective_function’:
  1092. z3_stubs.c:17595:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_sort’ discards ‘const’ qualifier from pointer target type
  1093. camlidl_ml2c_z3V3_Z3_sort(_v3, &domain[_c2], _ctx);
  1094. ^
  1095. z3_stubs.c:10727:6: note: expected ‘struct _Z3_sort **’ but argument is of type ‘struct _Z3_sort * const*’
  1096. void camlidl_ml2c_z3V3_Z3_sort(value _v1, Z3_sort * _c2, camlidl_ctx _ctx)
  1097. ^
  1098. z3_stubs.c: In function ‘camlidl_z3V3_Z3_check_assumptions’:
  1099. z3_stubs.c:17777:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  1100. camlidl_ml2c_z3V3_Z3_ast(_v3, &assumptions[_c2], _ctx);
  1101. ^
  1102. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  1103. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  1104. ^
  1105. z3_stubs.c: In function ‘camlidl_z3V3_Z3_get_implied_equalities’:
  1106. z3_stubs.c:17837:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  1107. camlidl_ml2c_z3V3_Z3_ast(_v3, &terms[_c2], _ctx);
  1108. ^
  1109. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  1110. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  1111. ^
  1112. z3_stubs.c: In function ‘camlidl_z3V3_Z3_eval_decl’:
  1113. z3_stubs.c:18487:5: warning: passing argument 2 of ‘camlidl_ml2c_z3V3_Z3_ast’ discards ‘const’ qualifier from pointer target type
  1114. camlidl_ml2c_z3V3_Z3_ast(_v3, &args[_c2], _ctx);
  1115. ^
  1116. z3_stubs.c:10753:6: note: expected ‘struct _Z3_ast **’ but argument is of type ‘struct _Z3_ast * const*’
  1117. void camlidl_ml2c_z3V3_Z3_ast(value _v1, Z3_ast * _c2, camlidl_ctx _ctx)
  1118. ^
  1119. gcc -I/usr/lib/ocaml -I../include -fPIC -c -o z3_theory_stubs.o z3_theory_stubs.c
  1120. ld -L../lib -L/usr/lib/ocaml -r z3_stubs.o z3_theory_stubs.o -lcamlidl -o z3_all_stubs.o
  1121. gcc -shared -I../include -L../lib z3_all_stubs.o -lz3 -lgomp -lrt -o dllz3stubs.so
  1122. ocamlc -c z3.mli
  1123. ocamlc -c z3.ml
  1124. File "z3.ml", line 1613, characters 16-19:
  1125. Warning 28: wildcard pattern given as argument to a constant constructor
  1126. ocamlc -a -o z3.cma -dllib -lz3stubs z3.cmo
  1127. ar rcs libz3stubs.a z3_all_stubs.o; ranlib libz3stubs.a
  1128. ocamlopt -c z3.ml
  1129. File "z3.ml", line 1613, characters 16-19:
  1130. Warning 28: wildcard pattern given as argument to a constant constructor
  1131. ocamlopt -a -o z3.cmxa -cclib -lz3 -cclib -lgomp -cclib -lrt z3.cmx
  1132. make[1]: Leaving directory `/home/maidinh/Downloads/z3-installer-master/z3/ocaml'
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!