bug in pkgrid product manager

[Maxime Arthaud]

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 -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.

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.

[Only One Cannolo (onlyonecannolo)]

This bug prevents IKOS from being built for Bionic with Apron features enabled, and will be a hindrance to distributing IKOS as a package in the future.

[Ivan (ivanperez-nfm)]

I'm seeking to make IKOS available on Debian and Ubuntu. It'd be great if this was fixed, although it appears that apron has been completely removed in newer distros.