** Description changed:
Release:
- Ubuntu 18.04.1 LTS
- Debian 9
Version: 0.9.10-9build4
There is a bug in the apron package. The function
ap_pkgrid_manager_alloc() always returns NULL.
$ cat test.c
#include "ap_global0.h"
#include "ap_pkgrid.h"
#include "ap_ppl.h"
#include "pk.h"
int main() {
ap_manager_t* man = ap_pkgrid_manager_alloc(pk_manager_alloc(false),
ap_ppl_grid_manager_alloc());
printf("%p\n", man);
return 0;
}
- $ gcc test.c -lapron -lboxMPQ -loctMPQ -lpolkaMPQ -lap_ppl -lap_pkgrid -lmpfr
-lppl
+ $ gcc test.c -lap_pkgrid -lap_ppl -lpolkaMPQ -lapron -lppl -lmpfr -lgmp
$ ./a.out
(nil)
This is fixed upstream, see
https://gforge.inria.fr/scm/viewvc.php/apron?view=revision&revision=594
The following patch fixes the issue:
https://gforge.inria.fr/scm/viewvc.php/apron/apron/trunk/products/ap_pkgrid.c?r1=594&r2=593&pathrev=594
Thank you.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1800041
Title:
bug in pkgrid product manager
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/apron/+bug/1800041/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
