matu3ba / zorro Goto Github PK

This could be a linker error, regression inside zig or zig being more pedantic than z3.

[user@pc zorro]$ zig build
error(compilation): clang failed with stderr: In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:3990:13: error: no matching function for call to 'Z3_solver_propagate_fixed'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6719:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, unsigned int, Z3_ast)' (aka 'void (void *, _Z3_solver_callback *, unsigned int, _Z3_ast *)') to 'Z3_fixed_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:3998:13: error: no matching function for call to 'Z3_solver_propagate_fixed'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6719:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, unsigned int, Z3_ast)' (aka 'void (void *, _Z3_solver_callback *, unsigned int, _Z3_ast *)') to 'Z3_fixed_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4004:13: error: no matching function for call to 'Z3_solver_propagate_eq'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6739:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, unsigned int, unsigned int)' (aka 'void (void *, _Z3_solver_callback *, unsigned int, unsigned int)') to 'Z3_eq_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4012:13: error: no matching function for call to 'Z3_solver_propagate_eq'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6739:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, unsigned int, unsigned int)' (aka 'void (void *, _Z3_solver_callback *, unsigned int, unsigned int)') to 'Z3_eq_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4040:13: error: no matching function for call to 'Z3_solver_propagate_created'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6750:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, Z3_ast, unsigned int)' (aka 'void (void *, _Z3_solver_callback *, _Z3_ast *, unsigned int)') to 'Z3_created_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4047:13: error: no matching function for call to 'Z3_solver_propagate_created'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6750:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, Z3_ast, unsigned int)' (aka 'void (void *, _Z3_solver_callback *, _Z3_ast *, unsigned int)') to 'Z3_created_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4074:24: error: cannot initialize return object of type 'unsigned int' with an rvalue of type 'void'
/usr/include/z3++.h:4076:24: error: cannot initialize return object of type 'unsigned int' with an rvalue of type 'void'
/usr/include/z3++.h:4085:13: error: no matching function for call to 'Z3_solver_propagate_consequence'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6792:17: note: candidate function not viable: no known conversion from 'const unsigned int *' to 'const Z3_ast *' (aka '_Z3_ast *const *') for 4th argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4091:13: error: no matching function for call to 'Z3_solver_propagate_consequence'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6792:17: note: candidate function not viable: no known conversion from 'const unsigned int *' to 'const Z3_ast *' (aka '_Z3_ast *const *') for 4th argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4099:13: error: no matching function for call to 'Z3_solver_propagate_consequence'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6792:17: note: candidate function not viable: no known conversion from 'const unsigned int *' to 'const Z3_ast *' (aka '_Z3_ast *const *') for 4th argument

Compile C Objects [1/2] main.cpp... error(compilation): clang failed with stderr: In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:3990:13: error: no matching function for call to 'Z3_solver_propagate_fixed'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6719:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, unsigned int, Z3_ast)' (aka 'void (void *, _Z3_solver_callback *, unsigned int, _Z3_ast *)') to 'Z3_fixed_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:3998:13: error: no matching function for call to 'Z3_solver_propagate_fixed'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6719:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, unsigned int, Z3_ast)' (aka 'void (void *, _Z3_solver_callback *, unsigned int, _Z3_ast *)') to 'Z3_fixed_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4004:13: error: no matching function for call to 'Z3_solver_propagate_eq'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6739:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, unsigned int, unsigned int)' (aka 'void (void *, _Z3_solver_callback *, unsigned int, unsigned int)') to 'Z3_eq_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4012:13: error: no matching function for call to 'Z3_solver_propagate_eq'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6739:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, unsigned int, unsigned int)' (aka 'void (void *, _Z3_solver_callback *, unsigned int, unsigned int)') to 'Z3_eq_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4040:13: error: no matching function for call to 'Z3_solver_propagate_created'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6750:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, Z3_ast, unsigned int)' (aka 'void (void *, _Z3_solver_callback *, _Z3_ast *, unsigned int)') to 'Z3_created_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4047:13: error: no matching function for call to 'Z3_solver_propagate_created'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6750:17: note: candidate function not viable: no known conversion from 'void (void *, Z3_solver_callback, Z3_ast, unsigned int)' (aka 'void (void *, _Z3_solver_callback *, _Z3_ast *, unsigned int)') to 'Z3_created_eh ' (aka 'void ()(void *, _Z3_solver_callback *, _Z3_ast *)') for 3rd argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4074:24: error: cannot initialize return object of type 'unsigned int' with an rvalue of type 'void'
/usr/include/z3++.h:4076:24: error: cannot initialize return object of type 'unsigned int' with an rvalue of type 'void'
/usr/include/z3++.h:4085:13: error: no matching function for call to 'Z3_solver_propagate_consequence'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6792:17: note: candidate function not viable: no known conversion from 'const unsigned int *' to 'const Z3_ast *' (aka '_Z3_ast *const *') for 4th argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4091:13: error: no matching function for call to 'Z3_solver_propagate_consequence'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6792:17: note: candidate function not viable: no known conversion from 'const unsigned int *' to 'const Z3_ast *' (aka '_Z3_ast *const *') for 4th argument
In file included from /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:
In file included from /home/user/dev/git/zig/zorro/src/pcrt/header.h:3:
/usr/include/z3++.h:4099:13: error: no matching function for call to 'Z3_solver_propagate_consequence'
/home/user/dev/git/zig/zorro/z3/src/api/z3_api.h:6792:17: note: candidate function not viable: no known conversion from 'const unsigned int *' to 'const Z3_ast *' (aka '_Z3_ast *const *') for 4th argument

/home/user/dev/git/zig/zorro/src/pcrt/main.cpp:1:1: error: unable to build C object: clang exited with code 1
/home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp:1:1: error: unable to build C object: clang exited with code 1
runProofs...The following command exited with error code 1:
/home/user/dev/git/zig/zig/master/build/zig build-exe -lc++ -lz3 /home/user/dev/git/zig/zorro/src/pcrt/mulv.cpp /home/user/dev/git/zig/zorro/src/pcrt/main.cpp --cache-dir /home/user/dev/git/zig/zorro/zig-cache --global-cache-dir /home/user/.cache/zig --name runProofs -I /home/user/dev/git/zig/zorro/z3/src/api -I /home/user/dev/git/zig/zorro/src/pcrt -L ./z3/build --enable-cache
error: the following build command failed with exit code 1:
/home/user/dev/git/zig/zorro/zig-cache/o/1f4546452e884c2e82b1eb6289f5e2b0/build /home/user/dev/git/zig/zig/master/build/zig /home/user/dev/git/zig/zorro /home/user/dev/git/zig/zorro/zig-cache /home/user/.cache/zig

zig build prove
The following command terminated unexpectedly:
cd /home/user/dev/git/zig/zorro && /home/misterspoon/dev/git/zig/zorro/zig-out/bin/runProofs
error: the following build command failed with exit code 1:
/home/user/dev/git/zig/zorro/zig-cache/o/6083ff460436e7f69f3bfd76d03d9cd1/build /home/misterspoon/dev/git/zig/zig/master/build/zig /home/misterspoon/dev/git/zig/zorro /home/misterspoon/dev/git/zig/zorro/zig-cache /home/misterspoon/.cache/zig prove

same problem reoccured:
[user@pc zorro]$ ./zig-out/bin/runProofs
Speicherzugriffsfehler (Speicherabzug geschrieben)
[user@pc zorro]$ cd zig-out/
[user@pc zig-out]$ ./bin/runProofs
proved mulv
[user@pc zig-out]$