max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: temporarily ignore regions leaks until we fix the server design

Browse source
This commit is contained in:
Sebastian Ullrich 2020-08-13 17:11:23 +02:00 • committed by Leonardo de Moura
parent 633acebd0f
commit 2d501ea980
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/library/module.cpp
View file

@ -87,6 +87,12 @@ extern "C" object * lean_read_module_data(object * fname, object *) {
}
in.close();
compacted_region * region = new compacted_region(size - header_size, buffer);
#if defined(__has_feature)
#if __has_feature(address_sanitizer)
// do not report as leak
__lsan_ignore_object(region);
#endif
#endif
object * mod = region->read();
object * mod_region = alloc_cnstr(0, 2, 0);
cnstr_set(mod_region, 0, mod);