Dan Liew
5bcdea1ae5
[TravisCI] For ASan/LSan use larger context so we get larger stack
...
traces if needed.
2017-10-16 08:56:17 +01:00
Dan Liew
38d9e2df84
[TravisCI] Make ASan/UBSan configuration a debug build.
2017-10-16 08:56:17 +01:00
Dan Liew
11f7298c52
[TravisCI] Add ASan configuration
2017-10-16 08:56:17 +01:00
Dan Liew
157c8064e8
[CMake] When building C/C++ API examples use the same build type
...
as Z3 if doing a single configuration build.
2017-10-16 08:56:17 +01:00
Dan Liew
4db5980a23
[TravisCI] Fix getting proper stack traces for ASan/LSan. The
...
`llvm-symbolizer` tool needs to be installed and ASan/LSan needs
to be told where to find it.
2017-10-16 08:56:17 +01:00
Dan Liew
71dcec3113
[UBSan] Update UBSan suppression file to suppress all undefined
...
behaviour I have observed running in CI.
2017-10-16 08:56:17 +01:00
Dan Liew
9455391f1f
[TravisCI] Don't run the python binding system tests when building
...
with UBSan.
This is a workaround. We can't fix this unless we build libz3 with
a shared UBSan runtime.
2017-10-16 08:56:17 +01:00
Dan Liew
f756bf6c86
[TravisCI] Fix undefined SCRIPT_DIR variable
2017-10-16 08:56:17 +01:00
Dan Liew
fb3d4cfed9
[TravisCI] Add a UBSan configuration
2017-10-16 08:56:17 +01:00
Dan Liew
f15766baee
[TravisCI] Don't run the non-native example when building with UBSan.
...
This a workaround. Right now `libz3` gets linked against a static
UBSan runtime which means none of the non-native language bindings
(e.g. python) can load `libz3` due to undefined symbols. We need
to link `libz3` against a shared UBSan runtime to fix this.
2017-10-16 08:56:17 +01:00
Dan Liew
a9fcfc531b
[TravisCI][CMake] Add Z3_C_EXAMPLES_FORCE_CXX_LINKER
CMake option
...
and propagate its value into the C API examples.
This flag forces the C API examples to use the C++ compiler as the
linker rather than the C compiler. This a workaround to avoid linking
errors when building with UBSan.
2017-10-16 08:56:17 +01:00
Dan Liew
64ee9f168d
[TravisCI] Add ASan/LSan/UBSan suppression files and use them in
...
CI.
2017-10-16 08:56:17 +01:00
Nikolaj Bjorner
b63754e362
adding explicit assignment for auto-generated function.
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-15 21:16:54 -07:00
Nikolaj Bjorner
0aa12b9423
Merge pull request #1300 from nunoplopes/master
...
fix vector<> to support non-POD types
2017-10-15 20:51:49 -07:00
Nuno Lopes
2905bdebef
make vector friendly to gcc < 5
2017-10-16 00:54:31 +01:00
Nuno Lopes
6cefb700ac
add move constructor to ref_vector
2017-10-16 00:54:31 +01:00
Nuno Lopes
82b25a0608
add move constructor to watch_list
2017-10-16 00:54:31 +01:00
Nuno Lopes
d18e975a49
vector: make expand_vector() less prone to mem leaks by calling the destructors after move
2017-10-16 00:54:30 +01:00
Nuno Lopes
e7f0f3b834
add move constructor to obj_ref
2017-10-16 00:54:30 +01:00
Nuno Lopes
29acec672f
nnf: remove ast incref
2017-10-16 00:54:30 +01:00
Nuno Lopes
6c2d0394ac
add move constructor to rational
2017-10-16 00:54:30 +01:00
Nuno Lopes
912a729097
fix build of unit tests
2017-10-16 00:54:30 +01:00
Nuno Lopes
468e0207f7
add move constructor to mpf
2017-10-16 00:54:30 +01:00
Nuno Lopes
d1c13f17b0
remove noexcept since MSVC 2012 doest support it
2017-10-16 00:54:30 +01:00
Nuno Lopes
b53d69be18
fpa_rewriter: remove a mpq copy
2017-10-16 00:54:30 +01:00
Nuno Lopes
3cc6dd1cbd
bv_decl_plugin: remove mem allocation
2017-10-16 00:54:29 +01:00
Nuno Lopes
d30a099cd0
fix crash in vector::expand()
2017-10-16 00:54:29 +01:00
Nuno Lopes
27e84c5ffc
mpz.h: fix typo in previous commit (found by Nikolaj)
2017-10-16 00:54:29 +01:00
Nuno Lopes
9b54b4e784
fix vector<> to support non-POD types
...
adjust code to std::move and avoid unnecessary/illegal
2017-10-16 00:54:29 +01:00
Nikolaj Bjorner
4d1acadabb
fix leaks reported in #1309
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-15 09:56:21 -07:00
Nikolaj Bjorner
44be1501ff
Merge branch 'master' of https://github.com/z3prover/z3
2017-10-14 11:59:18 -07:00
Nikolaj Bjorner
7f8a7c3d83
fix the fixme of #1307
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-14 11:59:09 -07:00
Nikolaj Bjorner
5b6472f022
change nullptr to 0
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-13 10:54:29 -07:00
Nikolaj Bjorner
40dfdb6606
bypass UBSan error warnings by using nullptr as error handler. Has same no-op effect. Issue #1287
2017-10-13 07:38:04 -07:00
Nikolaj Bjorner
c12439fe1e
fix #1306
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-13 07:29:16 -07:00
Nikolaj Bjorner
8b280b1f64
Merge branch 'master' of https://github.com/Z3Prover/z3
2017-10-12 14:34:13 -07:00
Nikolaj Bjorner
8cf0c94e5f
address some ASan leaks
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-12 14:34:04 -07:00
Nikolaj Bjorner
6ecd77d91c
Merge branch 'master' of https://github.com/z3prover/z3
2017-10-12 14:17:57 -07:00
Nikolaj Bjorner
3554554533
command to exit tests early
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-12 14:17:52 -07:00
Nikolaj Bjorner
d338fab4f6
fix #1305
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-12 13:58:14 -07:00
Nikolaj Bjorner
11f1a81d7b
disable failing unit tests
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-12 10:12:37 -07:00
Nikolaj Bjorner
6a09040a8e
Merge branch 'master' of https://github.com/Z3Prover/z3
2017-10-12 07:39:38 -07:00
Nikolaj Bjorner
da2b876acb
fix #1303
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-12 07:39:27 -07:00
Nikolaj Bjorner
8384ee18e2
Merge pull request #1301 from delcypher/fix_some_unit_test_leaks
...
[ASan] Fix some leaks reported in the small object allocator test
2017-10-11 19:47:57 +01:00
Dan Liew
a3b109cc14
[ASan] Fix some leaks reported in the small object allocator
...
test.
2017-10-11 19:40:16 +01:00
Nikolaj Bjorner
c093e6d4b9
harden a few API methods against longjumps in set_error. Memory leak exposed in #1297
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-11 09:53:02 -07:00
Nikolaj Bjorner
09ea370ea3
update C-example that fails to not use longjumps. Issue #1297
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-10 12:06:19 -07:00
Nikolaj Bjorner
7f693186a0
trying to address leak reported in #1297
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-10 07:10:04 -07:00
Nikolaj Bjorner
cae414e575
fixes for #1296 , removing COMPILE_TIME_ASSERT
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-09 13:59:44 -07:00
Nikolaj Bjorner
f359f23885
another fix for #1288
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-08 15:47:06 -07:00