Skip to content

Instantly share code, notes, and snippets.

@skcho

skcho/gist:d722844de9828b31fc573f17646b133f

Created June 26, 2018 04:38
Show Gist options
  • Save skcho/d722844de9828b31fc573f17646b133f to your computer and use it in GitHub Desktop.
Save skcho/d722844de9828b31fc573f17646b133f to your computer and use it in GitHub Desktop.
Download ZIP
Infer results on Elina
Raw
gistfile1.txt
Found 466 issues
elina_zonotope/zonotope_meetjoin.c:29: error: NULL_DEREFERENCE
pointer `tchange` last assigned on line 21 could be null and is dereferenced at line 29, column 7.
27. /* there is some inferred bounds */
28. for (i=0; i<res->dims; i++) {
29. > if (tchange[2*i] || tchange[2*i + 1]) {
30. if (elina_interval_is_bottom(res->box[i])) {
31. is_bottom = true;
elina_zonotope/zonotope_representation.c:10: error: NULL_DEREFERENCE
pointer `res` last assigned on line 9 could be null and is dereferenced at line 10, column 5.
8. zonotope_internal_t * pr = zonotope_init_from_manager(man, ELINA_FUNID_UNKNOWN);
9. zonotope_t* res = (zonotope_t *)malloc(sizeof(zonotope_t));
10. > res->intdim = intdim;
11. res->dims = intdim + realdim;
12. res->size = 128;
partitions_api/intersection.c:30: error: NULL_DEREFERENCE
pointer `map` last assigned on line 24 could be null and is dereferenced at line 30, column 3.
28. while(c!=NULL){
29. unsigned short int num = c->num;
30. > map[num] = 1;
31. c = c->next;
32. }
partitions_api/intersection.c:36: error: NULL_DEREFERENCE
pointer `map` last assigned on line 24 could be null and is dereferenced at line 36, column 6.
34. while(c!=NULL){
35. unsigned short int num = c->num;
36. > if(map[num]){
37. insert_comp(res,num);
38. }
elina_oct/opt_oct_incr_closure_dense_scalar.c:46: error: DEAD_STORE
The value written to &br2 (type int) is never used.
44. int kk = (k^1);
45. int br1 = k < v1 ? k : v1;
46. > int br2 = kk < v1 ? kk : v1;
47. for(unsigned i = 2*v; i < 2*v + 2; i++){
48. //double ik = m[n*i + k];
elina_oct/opt_oct_incr_closure_dense_scalar.c:28: error: DEAD_STORE
The value written to &ii (type int) is never used.
26. double *m = oo->mat;
27. int n = 2*dim;
28. > int ii = 2*v + 1;
29. int j;
30. double *temp1, *temp2;
elina_zones/opt_zones_predicate.c:28: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
26. //printf("is bottom: start\n");
27. //fflush(stdout);
28. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_IS_BOTTOM,0);
29. if (pr->funopt->algorithm>=0){
30. opt_zones_mat_t * oz = o->closed ? o->closed : o->m;
elina_oct/opt_oct_incr_closure_comp_sparse.c:65: error: DEAD_STORE
The value written to &br1 (type int) is never used.
63. int v2v1 = v1 + (((v2 + 1)*(v2 + 1))/2);
64. int kk1 = (k1^1);
65. > int br1 = k1 < v1 ? k1 : v1;
66. int br2 = kk1 < v1 ? kk1 : v1;
67. for(unsigned i = 2*v; i < 2*v + 2; i++){
elina_oct/opt_oct_incr_closure_comp_sparse.c:66: error: DEAD_STORE
The value written to &br2 (type int) is never used.
64. int kk1 = (k1^1);
65. int br1 = k1 < v1 ? k1 : v1;
66. > int br2 = kk1 < v1 ? kk1 : v1;
67. for(unsigned i = 2*v; i < 2*v + 2; i++){
68. //double ik = m[n*i + k];
elina_oct/opt_oct_incr_closure_comp_sparse.c:29: error: DEAD_STORE
The value written to &ii (type int) is never used.
27. array_comp_list_t *acl = oo->acl;
28. int n = 2*dim;
29. > int ii = 2*v + 1;
30. int j;
31. double *temp1, *temp2;
elina_oct/opt_oct_incr_closure_comp_sparse.c:38: error: DEAD_STORE
The value written to &size (type int) is never used.
36. index1 = (unsigned short int *)calloc(2*(2*dim + 1),sizeof(unsigned short int));
37. index2 = (unsigned short int *)calloc(2*(2*dim + 1),sizeof(unsigned short int));
38. > int size = 2*dim*(dim+1);
39. comp_list_t * cn = find(acl,v);
40. /******
elina_oct/opt_oct_predicate.c:27: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
25. bool opt_oct_is_bottom(elina_manager_t* man, opt_oct_t* o)
26. {
27. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_IS_BOTTOM,0);
28. if (pr->funopt->algorithm>=0){ opt_oct_cache_closure(pr,o);}
29. //m = o->closed ? o->closed : o->m;
elina_oct/elina_test_oct.c:31: error: NULL_DEREFERENCE
pointer `interval` last assigned on line 28 could be null and is dereferenced at line 31, column 3.
29. unsigned short int i;
30. for(i=0; i < dim; i++){
31. > interval[i] = elina_interval_alloc();
32. elina_interval_set_top(interval[i]);
33. }
elina_zones/opt_zones_representation.c:29: error: NULL_DEREFERENCE
pointer `o` last assigned on line 28 could be null and is dereferenced at line 29, column 2.
27. opt_zones_t * opt_zones_alloc_internal(opt_zones_internal_t *pr, unsigned short int dim, unsigned short int intdim){
28. opt_zones_t *o = (opt_zones_t *)malloc(sizeof(opt_zones_t));
29. > o->intdim = intdim;
30. o->dim = dim;
31. o->closed = NULL;
elina_oct/opt_oct_nary.c:31: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
29. {
30.
31. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_MEET,0);
32. opt_oct_mat_t* oo;
33.
elina_oct/opt_oct_resize.c:40: error: DEAD_STORE
The value written to &mat_size (type int) is never used.
38. else {
39. opt_oct_mat_t* oo = o->closed ? o->closed : o->m;
40. > int mat_size = 2*o->dim*(o->dim + 1);
41. if (!destructive) oo = opt_hmat_copy(oo,o->dim);
42. #if defined(TIMING)
elina_oct/opt_oct_resize.c:33: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
31. bool project)
32. {
33. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_FORGET_ARRAY,0);
34. if (pr->funopt->algorithm>=0) opt_oct_cache_closure(pr,o);
35. if (!o->closed && !o->m)
elina_zones/opt_zones_nary.c:31: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
29. {
30.
31. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_MEET,0);
32. opt_zones_mat_t* oz;
33.
elina_zones/opt_zones_resize.c:34: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
32. {
33.
34. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_FORGET_ARRAY,0);
35. if (pr->funopt->algorithm>=0){
36. opt_zones_mat_t* oz = o->closed ? o->closed : o->m;
partitions_api/union.c:34: error: NULL_DEREFERENCE
pointer `map` last assigned on line 29 could be null and is dereferenced at line 34, column 3.
32. while(c!=NULL){
33. unsigned short int num = c->num;
34. > map[num] = 1;
35. c = c->next;
36. }
partitions_api/union.c:41: error: NULL_DEREFERENCE
pointer `map` last assigned on line 29 could be null and is dereferenced at line 41, column 7.
39. while(c!=NULL){
40. unsigned short int num = c->num;
41. > if(!map[num]){
42. free(map);
43. return 0;
elina_poly/opt_pk_representation.c:31: error: NULL_DEREFERENCE
pointer `op` last assigned on line 30 could be null and is dereferenced at line 31, column 2.
29. opt_pk_array_t * opt_pk_array_alloc(opt_pk_t ** poly, array_comp_list_t *acl, unsigned short int maxcols){
30. opt_pk_array_t * op = (opt_pk_array_t *)malloc(sizeof(opt_pk_array_t));
31. > op->poly = poly;
32. op->acl = acl;
33. op->maxcols = maxcols;
elina_zonotope/elina_box_representation.c:32: error: NULL_DEREFERENCE
pointer `itv` last assigned on line 31 could be null and is dereferenced at line 32, column 3.
30. {
31. elina_box_t* itv = (elina_box_t*)malloc(sizeof(elina_box_t));
32. > itv->p = NULL;
33. itv->intdim = intdim;
34. itv->realdim = realdim;
elina_oct/opt_oct_closure_comp_sparse.c:34: error: DEAD_STORE
The value written to &cl (type comp_list_t*) is never used.
32. array_comp_list_t *acl = oo->acl;
33. //char *cm = (char *)calloc(dim,sizeof(char));
34. > comp_list_t * cl = acl->head;
35. unsigned short int num_comp = acl->size;
36. char * jm = (char *)calloc(num_comp,sizeof(char));
elina_oct/opt_oct_closure_comp_sparse.c:48: error: NULL_DEREFERENCE
pointer `jm` last assigned on line 36 could be null and is dereferenced at line 48, column 4.
46. if(cl==cd){
47. cl = cl->next;
48. > jm[l] = 1;
49. jc++;
50. l++;
elina_oct/opt_oct_representation.c:32: error: NULL_DEREFERENCE
pointer `o` last assigned on line 31 could be null and is dereferenced at line 32, column 2.
30. opt_oct_t * opt_oct_alloc_internal(opt_oct_internal_t *pr, int dim, int intdim){
31. opt_oct_t *o = (opt_oct_t *)malloc(sizeof(opt_oct_t));
32. > o->intdim = intdim;
33. o->dim = dim;
34. o->closed = NULL;
elina_poly/opt_pk_project.c:33: error: DEAD_STORE
The value written to &nbcolumns (type unsigned long) is never used.
31. int res = -1;
32. size_t nbcons = oc->nbrows;
33. > size_t nbcolumns = oc->nbcolumns;
34. size_t i,j;
35. size_t * p = (size_t *)calloc(size,sizeof(size_t));
elina_zones/opt_zones_closure.c:34: error: DEAD_STORE
The value written to &cl (type comp_list_t*) is never used.
32. array_comp_list_t *acl = oz->acl;
33. //char *cm = (char *)calloc(dim,sizeof(char));
34. > comp_list_t * cl = acl->head;
35. unsigned short int num_comp = acl->size;
36. unsigned short int n = dim + 1;
elina_zones/opt_zones_closure.c:49: error: NULL_DEREFERENCE
pointer `jm` last assigned on line 37 could be null and is dereferenced at line 49, column 4.
47. if(cl==cd){
48. cl = cl->next;
49. > jm[l] = 1;
50. jc++;
51. l++;
elina_zonotope/elina_box_meetjoin.c:52: error: NULL_DEREFERENCE
pointer `res->p` last assigned on line 47 could be null and is dereferenced at line 52, column 26.
50. nbdims = a1->intdim + a2->realdim;
51. for (i=0; i<nbdims; i++){
52. > elina_scalar_max(res->p[i]->inf,a1->p[i]->inf,a2->p[i]->inf);
53. elina_scalar_min(res->p[i]->sup,a1->p[i]->sup,a2->p[i]->sup);
54. }
elina_linearize/elina_linearize.c:43: error: DEAD_STORE
The value written to &cst (type elina_coeff_t*) is never used.
41. elina_scalar_t * scalar;
42. elina_interval_t * interval;
43. > elina_coeff_t * cst = &expr->cst;
44. elina_interval_set_elina_coeff(itv,&expr->cst);
45. elina_interval_t * tmp = elina_interval_alloc();
partitions_api/extract.c:41: error: NULL_DEREFERENCE
pointer `comp` last assigned on line 37 could be null and is dereferenced at line 41, column 3.
39. unsigned short int * owner = (unsigned short int *)calloc(n,sizeof(unsigned short int));
40. for(int i = 0; i < n; i++){
41. > comp[i]= create_comp_list();
42. owner[i] = i;
43. }
partitions_api/extract.c:42: error: NULL_DEREFERENCE
pointer `owner` last assigned on line 39 could be null and is dereferenced at line 42, column 3.
40. for(int i = 0; i < n; i++){
41. comp[i]= create_comp_list();
42. > owner[i] = i;
43. }
44. for(int i =0; i < n; i++){
elina_auxiliary/elina_texpr0.c:39: error: NULL_DEREFERENCE
pointer `res` last assigned on line 38 could be null and is dereferenced at line 39, column 3.
37. {
38. elina_texpr0_t* res = malloc(sizeof(elina_texpr0_t));
39. > res->discr = ELINA_TEXPR_CST;
40. elina_coeff_init_set(&res->val.cst,coeff);
41. return res;
elina_poly/opt_pk_widening.c:43: error: NULL_DEREFERENCE
pointer `tab` last assigned on line 41 could be null and is dereferenced at line 43, column 5.
41. tab = malloc(sat->nbrows * sizeof(opt_satmat_row_t));
42. for (i=0; i<sat->nbrows; i++){
43. > tab[i].p = sat->p[i];
44. tab[i].index = i;
45. }
elina_auxiliary/elina_scalar.c:40: error: NULL_DEREFERENCE
pointer `scalar` last assigned on line 39 could be null and is dereferenced at line 40, column 3.
38. {
39. elina_scalar_t* scalar = malloc(sizeof(elina_scalar_t));
40. > scalar->discr = ELINA_SCALAR_DOUBLE;
41. scalar->val.dbl = 0.0;
42. return scalar;
elina_poly/opt_pk_representation.c:41: error: NULL_DEREFERENCE
pointer `op` last assigned on line 40 could be null and is dereferenced at line 41, column 3.
39. {
40. opt_pk_t* op = (opt_pk_t*)malloc(sizeof(opt_pk_t));
41. > op->C = NULL;
42. op->F = NULL;
43. op->satC = op->satF = NULL;
elina_auxiliary/elina_interval.c:42: error: NULL_DEREFERENCE
pointer `itv` last assigned on line 41 could be null and is dereferenced at line 42, column 3.
40. {
41. elina_interval_t* itv = malloc(sizeof(elina_interval_t));
42. > itv->inf = elina_scalar_alloc();
43. itv->sup = elina_scalar_alloc();
44. return itv;
elina_oct/opt_oct_representation.c:42: error: DEAD_STORE
The value written to &pr (type opt_oct_internal_t*) is never used.
40. int opt_oct_size(elina_manager_t* man, opt_oct_t* o)
41. {
42. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_ASIZE,0);
43. if (!o->m) return 1;
44. int size = 2*(o->dim)*(o->dim + 1);
elina_oct/opt_oct_representation.c:42: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
40. int opt_oct_size(elina_manager_t* man, opt_oct_t* o)
41. {
42. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_ASIZE,0);
43. if (!o->m) return 1;
44. int size = 2*(o->dim)*(o->dim + 1);
elina_poly/opt_pk_matrix.c:52: error: NULL_DEREFERENCE
pointer `mat->p` last assigned on line 50 could be null and is dereferenced at line 52, column 5.
50. mat->p = (opt_numint_t**)malloc(nbrows * sizeof(opt_numint_t*));
51. for (i=0;i<nbrows;i++){
52. > mat->p[i] = _opt_vector_alloc_int(nbcols);
53. }
54. return mat;
elina_poly/opt_pk_matrix.c:47: error: NULL_DEREFERENCE
pointer `mat` last assigned on line 46 could be null and is dereferenced at line 47, column 17.
45.
46. opt_matrix_t* mat = (opt_matrix_t*)malloc(sizeof(opt_matrix_t));
47. > mat->nbrows = mat->_maxrows = nbrows;
48. mat->nbcolumns = nbcols;
49. mat->_sorted = s;
elina_poly/opt_pk_vector.c:47: error: NULL_DEREFERENCE
pointer `q` last assigned on line 45 could be null and is dereferenced at line 47, column 5.
45. q = (opt_numint_t*)(malloc(size*sizeof(opt_numint_t)));
46. for(i=0; i<size; i++){
47. > q[i] = 0;
48. }
49. return q;
elina_poly/opt_pk_resize.c:171: error: BUFFER_OVERRUN_L3
Offset: [2, 2] Size: [1, +oo].
169. pi[0] = 0;
170. pi[1] = 0;
171. > pi[2] = 1;
172. pi = p[1];
173. pi[0] = 1;
elina_auxiliary/elina_dimension.c:46: error: NULL_DEREFERENCE
pointer `res` last assigned on line 45 could be null and is dereferenced by call to `elina_dimchange_init()` at line 46, column 3.
44. {
45. elina_dimchange_t* res = malloc(sizeof(elina_dimchange_t));
46. > elina_dimchange_init(res,intdim,realdim);
47. return res;
48. }
elina_auxiliary/elina_texpr0.c:46: error: NULL_DEREFERENCE
pointer `res` last assigned on line 45 could be null and is dereferenced at line 46, column 3.
44. {
45. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
46. > res->discr = ELINA_TEXPR_CST;
47. elina_coeff_init(&res->val.cst, ELINA_COEFF_SCALAR);
48. elina_coeff_set_scalar(&res->val.cst, scalar);
partitions_api/comp_list.c:45: error: NULL_DEREFERENCE
pointer `cl` last assigned on line 44 could be null and is dereferenced at line 45, column 2.
43. comp_list_t * create_comp_list(){
44. comp_list_t * cl = (comp_list_t *)malloc(sizeof(comp_list_t));
45. > cl->head = NULL;
46. //cl->tail = NULL;
47. cl->next = NULL;
elina_oct/opt_oct_predicate.c:48: error: DEAD_STORE
The value written to &pr (type opt_oct_internal_t*) is never used.
46. bool opt_oct_is_top(elina_manager_t* man, opt_oct_t* o)
47. {
48. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_IS_TOP,0);
49. int i,j;
50. opt_oct_mat_t* m = o->m ? o->m : o->closed;
elina_oct/opt_oct_predicate.c:48: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
46. bool opt_oct_is_top(elina_manager_t* man, opt_oct_t* o)
47. {
48. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_IS_TOP,0);
49. int i,j;
50. opt_oct_mat_t* m = o->m ? o->m : o->closed;
elina_poly/opt_pk_satmat.c:55: error: NULL_DEREFERENCE
pointer `os->p` last assigned on line 53 could be null and is dereferenced at line 55, column 5.
53. os->p = (opt_bitstring_t**)malloc(nbrows*sizeof(opt_bitstring_t*));
54. for (i=0; i<nbrows; i++){
55. > os->p[i] = opt_bitstring_alloc(nbcols);
56. for (j=0; j<os->nbcolumns; j++)
57. os->p[i][j] = 0;
elina_poly/opt_pk_satmat.c:51: error: NULL_DEREFERENCE
pointer `os` last assigned on line 50 could be null and is dereferenced at line 51, column 16.
49.
50. opt_satmat_t* os = (opt_satmat_t*)malloc(sizeof(opt_satmat_t));
51. > os->nbrows = os->_maxrows = nbrows;
52. os->nbcolumns = nbcols;
53. os->p = (opt_bitstring_t**)malloc(nbrows*sizeof(opt_bitstring_t*));
elina_poly/opt_pk_expandfold.c:64: error: BUFFER_OVERRUN_S2
Offset: [u$86, u$87 + -1] Size: [u$86, u$87] by call to `opt_matrix_copy()`.
62.
63. if (dimsup==0){
64. > return destructive ? C : opt_matrix_copy(C);
65. }
66. nbrows = C->nbrows;
elina_zonotope/elina_box_internal.c:51: error: NULL_DEREFERENCE
pointer `intern` last assigned on line 50 could be null and is dereferenced by call to `elina_box_internal_init()` at line 51, column 3.
49. {
50. elina_box_internal_t* intern = malloc(sizeof(elina_box_internal_t));
51. > elina_box_internal_init(intern);
52. return intern;
53. }
elina_oct/opt_oct_representation.c:51: error: DEAD_STORE
The value written to &size (type int) is never used.
49. opt_oct_t * opt_oct_alloc_top(opt_oct_internal_t *pr, int dim, int intdim){
50. opt_oct_t *o = opt_oct_alloc_internal(pr, dim, intdim);
51. > int size = 2*dim*(dim + 1);
52. o->closed = opt_hmat_alloc_top(dim);
53. return o;
elina_poly/opt_pk_meetjoin.c:93: error: BUFFER_OVERRUN_S2
Offset: [u$100, u$101 + -1] Size: [0, +oo] by call to `opt_matrix_append()`.
91.
92. if (op != oa){
93. > op->C = opt_matrix_append(oa->C,oc);
94. op->satC = opt_satmat_copy_resize_cols(oa->satC,
95. opt_bitindex_size(op->C->nbrows));
elina_poly/opt_pk_meetjoin.c:59: error: DEAD_STORE
The value written to &start (type unsigned long) is never used.
57. man->result.flag_best = (oa->intdim==0);
58. man->result.flag_exact = meet;
59. > size_t start = oa->C->nbrows;
60. //assert(pa->satC);
61. if(lazy){
elina_auxiliary/elina_texpr0.c:54: error: NULL_DEREFERENCE
pointer `res` last assigned on line 53 could be null and is dereferenced at line 54, column 3.
52. {
53. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
54. > res->discr = ELINA_TEXPR_CST;
55. elina_coeff_init(&res->val.cst, ELINA_COEFF_SCALAR);
56. elina_coeff_set_scalar_mpq(&res->val.cst, mpq);
elina_oct/opt_oct_hmat.c:57: error: NULL_DEREFERENCE
pointer `oo` last assigned on line 56 could be null and is dereferenced at line 57, column 2.
55. double *m = (double *)malloc(size*sizeof(double));
56. opt_oct_mat_t *oo= (opt_oct_mat_t *)malloc(sizeof(opt_oct_mat_t));
57. > oo->mat = m;
58. oo->nni = 0;
59. oo->acl = create_array_comp_list();
partitions_api/union.c:57: error: NULL_DEREFERENCE
pointer `map` last assigned on line 52 could be null and is dereferenced at line 57, column 3.
55. while(c!=NULL){
56. unsigned short int num = c->num;
57. > map[num] = 1;
58. c = c->next;
59. }
partitions_api/union.c:64: error: NULL_DEREFERENCE
pointer `map` last assigned on line 52 could be null and is dereferenced at line 64, column 6.
62. while(c!=NULL){
63. unsigned short int num = c->num;
64. > if(map[num]){
65. free(map);
66. return 0;
elina_oct/opt_oct_nary.c:62: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
60. elina_lincons0_array_clear(&arr2);
61. fflush(stdout);*/
62. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_JOIN,0);
63.
64. if((o1->dim != o2->dim) || (o1->intdim != o2->intdim))return NULL;
elina_auxiliary/elina_lincons0.c:59: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_alloc()`.
57. elina_linexpr0_t* expr;
58.
59. > expr = elina_linexpr0_alloc(ELINA_LINEXPR_SPARSE,0);
60. elina_coeff_set_scalar_double(&expr->cst,-1.0);
61. return elina_lincons0_make(ELINA_CONS_SUPEQ,expr,NULL);
elina_oct/opt_oct_predicate.c:57: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
55. bool opt_oct_is_leq(elina_manager_t* man, opt_oct_t* o1, opt_oct_t* o2)
56. {
57. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_IS_LEQ,0);
58. if((o1->dim != o2->dim) || (o1->intdim != o2->intdim))return false;
59. if (pr->funopt->algorithm>=0){ opt_oct_cache_closure(pr,o1);}
partitions_api/array_comp_list.c:58: error: NULL_DEREFERENCE
pointer `acl` last assigned on line 57 could be null and is dereferenced at line 58, column 2.
56. array_comp_list_t * create_array_comp_list(){
57. array_comp_list_t * acl = (array_comp_list_t *)malloc(sizeof(array_comp_list_t));
58. > acl -> head = NULL;
59. //acl->tail = NULL;
60. acl->size = 0;
elina_auxiliary/elina_texpr0.c:62: error: NULL_DEREFERENCE
pointer `res` last assigned on line 61 could be null and is dereferenced at line 62, column 3.
60. {
61. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
62. > res->discr = ELINA_TEXPR_CST;
63. elina_coeff_init(&res->val.cst, ELINA_COEFF_SCALAR);
64. elina_coeff_set_scalar_mpfr(&res->val.cst, mpfr);
elina_poly/opt_pk_matrix.c:71: error: NULL_DEREFERENCE
pointer `mat->p` last assigned on line 69 could be null and is dereferenced at line 71, column 5.
69. mat->p = (opt_numint_t**)malloc(nbrows * sizeof(opt_numint_t*));
70. for (i=0;i<nbrows;i++){
71. > mat->p[i] = opt_vector_alloc(nbcols);
72. }
73. return mat;
elina_poly/opt_pk_matrix.c:66: error: NULL_DEREFERENCE
pointer `mat` last assigned on line 65 could be null and is dereferenced at line 66, column 17.
64.
65. opt_matrix_t* mat = (opt_matrix_t*)malloc(sizeof(opt_matrix_t));
66. > mat->nbrows = mat->_maxrows = nbrows;
67. mat->nbcolumns = nbcols;
68. mat->_sorted = s;
elina_zones/opt_zones_predicate.c:63: error: DEAD_STORE
The value written to &pr (type opt_zones_internal_t*) is never used.
61. {
62.
63. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_IS_TOP,0);
64. int i,j;
65. opt_zones_mat_t* oz = o->m ? o->m : o->closed;
elina_zones/opt_zones_predicate.c:63: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
61. {
62.
63. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_IS_TOP,0);
64. int i,j;
65. opt_zones_mat_t* oz = o->m ? o->m : o->closed;
elina_zonotope/elina_box_constructor.c:65: error: DEAD_STORE
The value written to &intern (type elina_box_internal_t*) is never used.
63. {
64. size_t i;
65. > elina_box_internal_t* intern = elina_box_init_from_manager(man,ELINA_FUNID_OF_BOX);
66.
67. elina_box_t* a = elina_box_alloc(intdim,realdim);
elina_zonotope/elina_box_constructor.c:71: error: NULL_DEREFERENCE
pointer `a->p` last assigned on line 69 could be null and is dereferenced at line 71, column 26.
69. elina_box_init(a);
70. for(i=0;i<intdim+realdim; i++){
71. > elina_interval_set(a->p[i],tinterval[i]);
72. }
73. }
elina_zonotope/elina_box_meetjoin.c:87: error: NULL_DEREFERENCE
pointer `res->p` last assigned on line 82 could be null and is dereferenced at line 87, column 22.
85. nbdims = a1->intdim + a2->realdim;
86. for (i=0; i<nbdims; i++){
87. > elina_scalar_min(res->p[i]->inf,a1->p[i]->inf,a2->p[i]->inf);
88. elina_scalar_max(res->p[i]->sup,a1->p[i]->sup,a2->p[i]->sup);
89. }
elina_zonotope/elina_box_assign.c:71: error: DEAD_STORE
The value written to &intern (type elina_box_internal_t*) is never used.
69. size_t i;
70. elina_box_t* res;
71. > elina_box_internal_t* intern = man->internal;
72.
73. if (a->p==NULL || (dest && dest->p==NULL)){
elina_zonotope/elina_box_resize.c:81: error: NULL_DEREFERENCE
pointer `res->p` last assigned on line 79 could be null and is dereferenced at line 81, column 5.
79. res->p = (elina_interval_t **)realloc(res->p,(size+dimsup+1)*sizeof(elina_interval_t *));
80. for (i=(int)size+1;i<(int)(size+dimsup+1);i++){
81. > res->p[i] = elina_interval_alloc();
82. }
83. k = dimsup;
elina_auxiliary/elina_tcons0.c:75: error: MEMORY_LEAK
memory dynamically allocated by call to `malloc()` at line 70, column 49 is not reachable after line 75, column 3.
73. array.p[i].scalar = NULL;
74. }
75. > return array;
76. }
77. void elina_tcons0_array_resize(elina_tcons0_array_t* array, size_t size)
elina_auxiliary/elina_tcons0.c:72: error: NULL_DEREFERENCE
pointer `array.p` last assigned on line 70 could be null and is dereferenced at line 72, column 5.
70. array.p = (size==0) ? NULL : (elina_tcons0_t*)malloc(size*sizeof(elina_tcons0_t));
71. for (i=0; i<size; i++){
72. > array.p[i].texpr0 = NULL;
73. array.p[i].scalar = NULL;
74. }
elina_auxiliary/elina_texpr0.c:70: error: NULL_DEREFERENCE
pointer `res` last assigned on line 69 could be null and is dereferenced at line 70, column 3.
68. {
69. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
70. > res->discr = ELINA_TEXPR_CST;
71. elina_coeff_init(&res->val.cst, ELINA_COEFF_SCALAR);
72. elina_coeff_set_scalar_int(&res->val.cst, num);
elina_oct/opt_oct_resize.c:94: error: DEAD_STORE
The value written to &size (type int) is never used.
92. /* insert variables */
93. int dim = o->dim + nb;
94. > int size = 2*dim*(dim + 1);
95. dst = opt_hmat_alloc_top(dim);
96. opt_hmat_addrem_dimensions(dst,src,dimchange->dim,
elina_oct/opt_oct_resize.c:79: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
77. elina_lincons0_array_clear(&arr1);
78. fflush(stdout);*/
79. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_ADD_DIMENSIONS,0);
80. opt_oct_mat_t* src = o->closed ? o->closed : o->m;
81. opt_oct_mat_t* dst;
elina_zonotope/elina_box_representation.c:83: error: NULL_DEREFERENCE
pointer `a->p` last assigned on line 80 could be null and is dereferenced at line 83, column 24.
81. };
82. for (i=0; i<nbdims; i++){
83. > elina_interval_set(a->p[i],b->p[i]);
84. }
85. }
elina_oct/opt_oct_representation.c:73: error: DEAD_STORE
The value written to &size (type int) is never used.
71. opt_oct_t * opt_oct_copy_internal(opt_oct_internal_t *pr, opt_oct_t *o){
72. opt_oct_t *r = opt_oct_alloc_internal(pr,o->dim, o->intdim);
73. > int size = 2*(o->dim)*(o->dim + 1);
74. r->m = opt_hmat_copy(o->m,o->dim);
75. //r->m = o->m;
elina_zones/opt_mat.c:77: error: NULL_DEREFERENCE
pointer `comp` last assigned on line 73 could be null and is dereferenced at line 77, column 3.
75. unsigned short int * owner = (unsigned short int *)calloc(dim,sizeof(unsigned short int));
76. for(unsigned short int i = 0; i < dim; i++){
77. > comp[i]= create_comp_list();
78. owner[i] = i;
79. }
elina_zones/opt_mat.c:78: error: NULL_DEREFERENCE
pointer `owner` last assigned on line 75 could be null and is dereferenced at line 78, column 3.
76. for(unsigned short int i = 0; i < dim; i++){
77. comp[i]= create_comp_list();
78. > owner[i] = i;
79. }
80. unsigned short int n = dim + 1;
elina_zonotope/zonotope_resize.c:155: error: DEAD_STORE
The value written to &tmp (type _zonotope_t*) is never used.
153. //fflush(stdout);
154.
155. > zonotope_t * tmp = z;
156. if(destructive){
157. //z = res;
elina_zonotope/zonotope_resize.c:94: error: NULL_DEREFERENCE
pointer `map` last assigned on line 89 could be null and is dereferenced at line 94, column 9.
92.
93. for(;i < num_remove; i++){
94. > map[dimchange->dim[i]] = 1;
95. }
96.
partitions_api/intersection.c:90: error: NULL_DEREFERENCE
pointer `map1` last assigned on line 74 could be null and is dereferenced at line 90, column 3.
88. while(c!=NULL){
89. unsigned short int num = c->num;
90. > map1[num] = 1;
91. c = c->next;
92. }
partitions_api/intersection.c:84: error: NULL_DEREFERENCE
pointer `map2` last assigned on line 75 could be null and is dereferenced at line 84, column 3.
82. while(c!=NULL){
83. unsigned short int num = c->num;
84. > map2[num] = 1;
85. c = c->next;
86. }
elina_auxiliary/elina_texpr0.c:78: error: NULL_DEREFERENCE
pointer `res` last assigned on line 77 could be null and is dereferenced at line 78, column 3.
76. {
77. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
78. > res->discr = ELINA_TEXPR_CST;
79. elina_coeff_init(&res->val.cst, ELINA_COEFF_SCALAR);
80. elina_coeff_set_scalar_frac(&res->val.cst, num, den);
elina_auxiliary/elina_coeff.c:79: error: NULL_DEREFERENCE
pointer `coeff` last assigned on line 78 could be null and is dereferenced at line 79, column 3.
77. {
78. elina_coeff_t* coeff = malloc(sizeof(elina_coeff_t));
79. > coeff->discr = coeff_discr;
80. switch (coeff_discr){
81. case ELINA_COEFF_SCALAR:
elina_auxiliary/elina_tcons0.c:85: error: NULL_DEREFERENCE
pointer `array->p` last assigned on line 83 could be null and is dereferenced at line 85, column 5.
83. array->p = (elina_tcons0_t*)realloc(array->p,size*sizeof(elina_tcons0_t));
84. for (i=array->size; i<size; i++){
85. > array->p[i].texpr0 = NULL;
86. array->p[i].scalar = NULL;
87. }
elina_zones/opt_zones_predicate.c:83: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
81. {
82.
83. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_IS_LEQ,0);
84. if((o1->dim != o2->dim) || (o1->intdim != o2->intdim))return false;
85. if (pr->funopt->algorithm>=0){
elina_zones/opt_zones_resize.c:109: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `opt_zones_mat_addrem_dimensions()`.
107. #endif
108.
109. > opt_zones_mat_addrem_dimensions(dst,src,dimchange->dim,
110. nb,1,o->dim,true);
111.
elina_zones/opt_zones_resize.c:87: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
85.
86.
87. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_ADD_DIMENSIONS,0);
88. opt_zones_mat_t* src = o->closed ? o->closed : o->m;
89. //print_mat(src,o->dim);
elina_oct/opt_oct_hmat.c:84: error: DEAD_STORE
The value written to &n (type int) is never used.
82. void top_mat(double *m, int dim){
83.
84. > int n = 2*dim;
85. int size = 2*dim*(dim+1);
86. #if defined(VECTOR)
elina_auxiliary/elina_texpr0.c:86: error: NULL_DEREFERENCE
pointer `res` last assigned on line 85 could be null and is dereferenced at line 86, column 3.
84. {
85. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
86. > res->discr = ELINA_TEXPR_CST;
87. elina_coeff_init(&res->val.cst, ELINA_COEFF_SCALAR);
88. elina_coeff_set_scalar_double(&res->val.cst, num);
elina_oct/opt_oct_transfer.c:174: error: BUFFER_OVERRUN_L3
Offset: [3, +oo] Size: [0, +oo] by call to `opt_hmat_permute()`.
172. d[tdim[i]] = o->dim;
173. }
174. > opt_hmat_permute(src,dst,o->dim,o->dim+size,d);
175. opt_hmat_free(dst);
176.
elina_oct/opt_oct_transfer.c:99: error: DEAD_STORE
The value written to &p (type unsigned int) is never used.
97. opt_oct_mat_t *src, *dst;
98. size_t i;
99. > elina_dim_t p = o->dim;
100. int inexact = 0;
101. bool respect_closure = false; /* TODO */
partitions_api/comp_list.c:88: error: NULL_DEREFERENCE
pointer `c` last assigned on line 87 could be null and is dereferenced at line 88, column 2.
86. comp_t *h = cl->head;
87. comp_t * c = (comp_t *)malloc(sizeof(comp_t));
88. > c->num = num;
89. c->next = NULL;
90. if(!h){
elina_oct/opt_oct_representation.c:105: error: DEAD_STORE
The value written to &size (type int) is never used.
103. /* copy aliased matrices */
104.
105. > int size = 2*(o->dim)*(o->dim + 1);
106. r = opt_oct_alloc_internal(pr,o->dim,o->intdim);
107. if (m && (o->m==m || o->closed==m))
elina_zones/opt_zones_transfer.c:115: error: BUFFER_OVERRUN_L3
Offset: [2, +oo] Size: [0, +oo] by call to `opt_zones_mat_add_lincons()`.
113. start_timing();
114. #endif
115. > bool res = opt_zones_mat_add_lincons(pr,oz,o->intdim,o->dim,array,&exact,&respect_closure);
116. // printf("res: %d\n",res);
117. //print_mat(oz,o->dim);
elina_poly/opt_pk_vector.c:107: error: BUFFER_OVERRUN_S2
Offset: [u$82, u$83 + -1] Size: [u$82, u$83].
105. //#endif
106. for(i = size/v_length; i < size; i++){
107. > res[i] = s*ov[i];
108. }
109. return res;
elina_poly/opt_pk_vector.c:92: error: NULL_DEREFERENCE
pointer `res` last assigned on line 91 could be null and is dereferenced at line 92, column 2.
90. unsigned short int i;
91. opt_numint_t * res = opt_vector_alloc(size);
92. > res[0] = ov[0];
93. res[1] = ov[1]*s;
94. //#if defined(VECTOR)
elina_auxiliary/elina_texpr0.c:94: error: NULL_DEREFERENCE
pointer `res` last assigned on line 93 could be null and is dereferenced at line 94, column 3.
92. {
93. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
94. > res->discr = ELINA_TEXPR_CST;
95. elina_coeff_init(&res->val.cst, ELINA_COEFF_INTERVAL);
96. elina_coeff_set_interval(&res->val.cst, itv);
elina_zonotope/elina_box_representation.c:102: error: NULL_DEREFERENCE
pointer `b->p` last assigned on line 100 could be null and is dereferenced at line 102, column 7.
100. b->p = (elina_interval_t **)malloc((nbdims+1)*sizeof(elina_interval_t *));
101. for (i=0; i<nbdims; i++){
102. > b->p[i] = elina_interval_alloc();
103. elina_interval_set(b->p[i],a->p[i]);
104. }
elina_zones/opt_zones_nary.c:98: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
96.
97.
98. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_JOIN,0);
99.
100. if((o1->dim != o2->dim) || (o1->intdim != o2->intdim))return NULL;
elina_oct/opt_oct_predicate.c:97: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
95. bool opt_oct_is_eq(elina_manager_t* man, opt_oct_t* o1, opt_oct_t* o2)
96. {
97. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_IS_EQ,0);
98. if((o1->dim != o2->dim) || (o1->intdim != o2->intdim))return false;
99. if (pr->funopt->algorithm>=0) {
elina_poly/opt_mf_qsort.c:129: error: DEAD_STORE
The value written to &a (type char**) is never used.
127. for (ptr = low_ptr; ptr > low && CMP(ptr - size, ptr) > 0;
128. ptr -= size)
129. > SWAP(ptr, ptr - size, size, ptr_cmp);
130. }
131. POP(low, high);
elina_poly/opt_mf_qsort.c:140: error: DEAD_STORE
The value written to &a (type char**) is never used.
138. {
139. size_t step = size* (count / 8);
140. > MEDIAN(low, low + step, low+step*2);
141. MEDIAN(mid - step, mid, mid+step);
142. MEDIAN(high - 2 * step, high-step, high);
elina_poly/opt_mf_qsort.c:141: error: DEAD_STORE
The value written to &a (type char**) is never used.
139. size_t step = size* (count / 8);
140. MEDIAN(low, low + step, low+step*2);
141. > MEDIAN(mid - step, mid, mid+step);
142. MEDIAN(high - 2 * step, high-step, high);
143. /* Put best median in 'mid' */
elina_poly/opt_mf_qsort.c:142: error: DEAD_STORE
The value written to &a (type char**) is never used.
140. MEDIAN(low, low + step, low+step*2);
141. MEDIAN(mid - step, mid, mid+step);
142. > MEDIAN(high - 2 * step, high-step, high);
143. /* Put best median in 'mid' */
144. MEDIAN(low+step, mid, high-step);
elina_poly/opt_mf_qsort.c:144: error: DEAD_STORE
The value written to &a (type char**) is never used.
142. MEDIAN(high - 2 * step, high-step, high);
143. /* Put best median in 'mid' */
144. > MEDIAN(low+step, mid, high-step);
145. low_ptr = low;
146. high_ptr = high;
elina_poly/opt_mf_qsort.c:150: error: DEAD_STORE
The value written to &a (type char**) is never used.
148. else
149. {
150. > MEDIAN(low, mid, high);
151. /* The low and high argument are already in sorted against 'pivot' */
152. low_ptr = low + size;
elina_poly/opt_mf_qsort.c:166: error: DEAD_STORE
The value written to &a (type char**) is never used.
164. if (low_ptr < high_ptr)
165. {
166. > SWAP(low_ptr, high_ptr, size, ptr_cmp);
167. low_ptr += size;
168. high_ptr -= size;
elina_poly/opt_mf_qsort.c:129: error: DEAD_STORE
The value written to &b (type char**) is never used.
127. for (ptr = low_ptr; ptr > low && CMP(ptr - size, ptr) > 0;
128. ptr -= size)
129. > SWAP(ptr, ptr - size, size, ptr_cmp);
130. }
131. POP(low, high);
elina_poly/opt_mf_qsort.c:140: error: DEAD_STORE
The value written to &b (type char**) is never used.
138. {
139. size_t step = size* (count / 8);
140. > MEDIAN(low, low + step, low+step*2);
141. MEDIAN(mid - step, mid, mid+step);
142. MEDIAN(high - 2 * step, high-step, high);
elina_poly/opt_mf_qsort.c:141: error: DEAD_STORE
The value written to &b (type char**) is never used.
139. size_t step = size* (count / 8);
140. MEDIAN(low, low + step, low+step*2);
141. > MEDIAN(mid - step, mid, mid+step);
142. MEDIAN(high - 2 * step, high-step, high);
143. /* Put best median in 'mid' */
elina_poly/opt_mf_qsort.c:142: error: DEAD_STORE
The value written to &b (type char**) is never used.
140. MEDIAN(low, low + step, low+step*2);
141. MEDIAN(mid - step, mid, mid+step);
142. > MEDIAN(high - 2 * step, high-step, high);
143. /* Put best median in 'mid' */
144. MEDIAN(low+step, mid, high-step);
elina_poly/opt_mf_qsort.c:144: error: DEAD_STORE
The value written to &b (type char**) is never used.
142. MEDIAN(high - 2 * step, high-step, high);
143. /* Put best median in 'mid' */
144. > MEDIAN(low+step, mid, high-step);
145. low_ptr = low;
146. high_ptr = high;
elina_poly/opt_mf_qsort.c:150: error: DEAD_STORE
The value written to &b (type char**) is never used.
148. else
149. {
150. > MEDIAN(low, mid, high);
151. /* The low and high argument are already in sorted against 'pivot' */
152. low_ptr = low + size;
elina_poly/opt_mf_qsort.c:166: error: DEAD_STORE
The value written to &b (type char**) is never used.
164. if (low_ptr < high_ptr)
165. {
166. > SWAP(low_ptr, high_ptr, size, ptr_cmp);
167. low_ptr += size;
168. high_ptr -= size;
elina_zones/opt_zones_representation.c:99: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
97.
98.
99. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_COPY,0);
100. opt_zones_t *res = opt_zones_copy_internal(pr,o);
101.
elina_auxiliary/elina_scalar.c:99: error: NULL_DEREFERENCE
pointer `a` last assigned on line 98 could be null and is dereferenced at line 99, column 3.
97. {
98. elina_scalar_t* a = malloc(sizeof(elina_scalar_t));
99. > a->discr = b->discr;
100. switch(b->discr){
101. case ELINA_SCALAR_DOUBLE:
elina_poly/opt_pk_test.c:100: error: DEAD_STORE
The value written to &idx1 (type unsigned short*) is never used.
98. void swelina_index(unsigned short int *idx1, unsigned short int *idx2){
99. unsigned short int * tmp = idx1;
100. > idx1 = idx2;
101. idx2 = tmp;
102. }
elina_poly/opt_pk_test.c:101: error: DEAD_STORE
The value written to &idx2 (type unsigned short*) is never used.
99. unsigned short int * tmp = idx1;
100. idx1 = idx2;
101. > idx2 = tmp;
102. }
103.
elina_zonotope/zonotope_constructor.c:102: error: DEAD_STORE
The value written to &pr (type _zonotope_internal_t*) is never used.
100. start_timing();
101. size_t i;
102. > zonotope_internal_t* pr = zonotope_init_from_manager(man, ELINA_FUNID_IS_BOTTOM);
103. bool res = elina_interval_is_bottom(z->box[0]);
104. if(res){
elina_auxiliary/elina_texpr0.c:102: error: NULL_DEREFERENCE
pointer `res` last assigned on line 101 could be null and is dereferenced at line 102, column 3.
100. {
101. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
102. > res->discr = ELINA_TEXPR_CST;
103. elina_coeff_init(&res->val.cst, ELINA_COEFF_INTERVAL);
104. elina_coeff_set_interval_scalar(&res->val.cst, inf, sup);
elina_oct/opt_oct_closure_dense_scalar.c:101: error: DEAD_STORE
The value written to &size (type int) is never used.
99. bool floyd_warshall_dense_scalar(opt_oct_mat_t *oo, double *temp1, double *temp2, int dim, bool is_int){
100. double *m = oo->mat;
101. > int size = 4 * dim * dim;
102. int n = 2*dim;
103. double count = 0;
elina_poly/opt_pk_internal.c:103: error: NULL_DEREFERENCE
pointer `opk` last assigned on line 101 could be null and is dereferenced at line 103, column 3.
101. opt_pk_internal_t* opk = (opt_pk_internal_t*)malloc(sizeof(opt_pk_internal_t));
102.
103. > opk->strict = strict;
104. opk->dec = strict ? 3 : 2;
105. opk->max_coeff_size = 0;
partitions_api/union.c:104: error: NULL_DEREFERENCE
pointer `map` last assigned on line 100 could be null and is dereferenced at line 104, column 3.
102. while(c!=NULL){
103. unsigned short int num = c->num;
104. > map[num] = 1;
105. c = c->next;
106. }
elina_zonotope/elina_box_meetjoin.c:110: error: DEAD_STORE
The value written to &intern (type elina_box_internal_t*) is never used.
108. size_t kmax;
109. elina_lincons0_array_t tlincons;
110. > elina_box_internal_t* intern = (elina_box_internal_t*)man->internal;
111.
112. res = destructive ? a : elina_box_copy(man,a);
elina_linearize/elina_linearize.c:209: error: NULL_DEREFERENCE
pointer `rat` last assigned on line 205 could be null and is dereferenced at line 209, column 6.
207. elina_rat_set_elina_scalar(rat+2, cons->scalar);
208. elina_rat_div(rat,rat+1,rat+2);
209. > if (rat->d==1){
210. res = 1;
211. }
elina_linearize/elina_linearize.c:225: error: UNINITIALIZED_VALUE
The value read from res was never initialized.
223. abort();
224. }
225. > return res;
226. }
227.
elina_poly/opt_pk_test.c:112: error: NULL_DEREFERENCE
pointer `idx` last assigned on line 108 could be null and is dereferenced at line 112, column 5.
110. for (i=0; i<n; i++)
111. {
112. > idx[i] = i;
113. }
114.
elina_poly/elina_test_poly.c:135: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `opt_pk_join()`.
133. elina_lincons0_array_clear(&arr2);
134. // apply fold operation
135. > opt_pk_array_t * oa5 = meet ? opt_pk_meet(man,false,oa2,oa4) : opt_pk_join(man,false,oa2,oa4);
136.
137.
elina_poly/elina_test_poly.c:106: error: DEAD_STORE
The value written to &l (type unsigned short) is never used.
104.
105. void test_meetjoin(unsigned short int dim, size_t nbcons, bool meet){
106. > unsigned short int j,l=1;
107. //generate random cosntraints
108. elina_lincons0_array_t lincons1 = generate_random_lincons0_array(dim,nbcons);
partitions_api/extract.c:113: error: NULL_DEREFERENCE
pointer `comp` last assigned on line 106 could be null and is dereferenced at line 113, column 3.
111. //comp + i = create_comp_list();
112. //comp[i] = *cl;
113. > comp[i]= create_comp_list();
114. //comp[i]->size = 0;
115. owner[i] = i;
partitions_api/extract.c:115: error: NULL_DEREFERENCE
pointer `owner` last assigned on line 108 could be null and is dereferenced at line 115, column 3.
113. comp[i]= create_comp_list();
114. //comp[i]->size = 0;
115. > owner[i] = i;
116. //comp[i].owner = i;
117. }
elina_auxiliary/elina_texpr0.c:110: error: NULL_DEREFERENCE
pointer `res` last assigned on line 109 could be null and is dereferenced at line 110, column 3.
108. {
109. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
110. > res->discr = ELINA_TEXPR_CST;
111. elina_coeff_init(&res->val.cst, ELINA_COEFF_INTERVAL);
112. elina_coeff_set_interval_mpq(&res->val.cst, inf, sup);
elina_zones/opt_zones_representation.c:110: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
108. {
109.
110. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_FREE,0);
111. opt_zones_free_internal(pr,o);
112.
elina_linearize/elina_linexpr0_arith.c:118: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_reinit()`.
116. elina_coeff_reinit(cst,ELINA_COEFF_SCALAR,discr);
117. elina_scalar_set_to_int(cst->val.scalar,0,discr);
118. > elina_linexpr0_reinit(expr,0);
119. return;
120. }
elina_auxiliary/elina_texpr0.c:118: error: NULL_DEREFERENCE
pointer `res` last assigned on line 117 could be null and is dereferenced at line 118, column 3.
116. {
117. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
118. > res->discr = ELINA_TEXPR_CST;
119. elina_coeff_init(&res->val.cst, ELINA_COEFF_INTERVAL);
120. elina_coeff_set_interval_mpfr(&res->val.cst, inf, sup);
elina_poly/opt_pk_assign.c:283: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [1, 2].
281. }
282. }
283. > matF = opt_matrix_alloc(nbvertex+nbline+1, poly[res]->intdim+2,false);
284. matC = opt_matrix_alloc(nbcons+1, poly[res]->intdim+2,false);
285. }
elina_poly/opt_pk_assign.c:421: error: BUFFER_OVERRUN_L3
Offset: [1, 1] Size: [1, 2].
419.
420. is_pos = false;
421. > poly[num_comp] = opt_poly_alloc(clb_copy->size,0);
422. poly[num_comp]->C = opt_matrix_alloc(C->nbrows+1,clb_copy->size+opk->dec,false);
423. poly[num_comp]->F = opt_matrix_alloc(F->nbrows,clb_copy->size+opk->dec,false);
elina_zones/opt_zones_representation.c:119: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
117. {
118.
119. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_BOTTOM,0);
120. opt_zones_t* o = opt_zones_alloc_internal(pr,intdim+realdim,intdim);
121.
elina_zones/opt_zones_incr_closure.c:125: error: NULL_DEREFERENCE
pointer `tmpv` last assigned on line 123 could be null and is dereferenced at line 125, column 3.
123. double * tmpv = (double *)calloc(n,sizeof(double));
124. for(i=0; i < n; i++){
125. > tmpv[i] = m[n*i+v1];
126. }
127.
elina_auxiliary/elina_scalar.c:122: error: NULL_DEREFERENCE
pointer `a` last assigned on line 121 could be null and is dereferenced at line 122, column 3.
120. {
121. elina_scalar_t* a = malloc(sizeof(elina_scalar_t));
122. > a->discr = ELINA_SCALAR_MPQ;
123. a->val.mpq = malloc(sizeof(mpq_t));
124. mpq_init(a->val.mpq);
elina_zonotope/zonotope_constructor.c:122: error: DEAD_STORE
The value written to &pr (type _zonotope_internal_t*) is never used.
120. {
121. start_timing();
122. > zonotope_internal_t* pr = zonotope_init_from_manager(man, ELINA_FUNID_IS_TOP);
123. size_t i;
124. bool res = elina_interval_is_top(z->box[0]);
elina_poly/opt_pk_extract.c:281: error: UNINITIALIZED_VALUE
The value read from exact was never initialized.
279. elina_scalar_set_elina_rat(interval->sup,sup);
280. man->result.flag_exact = man->result.flag_best =
281. > ( (opk->funopt->flag_exact_wanted || opk->funopt->flag_best_wanted) &&
282. elina_linexpr0_is_real(new_expr,comp_size) ) ?
283. exact :
elina_auxiliary/elina_texpr0.c:126: error: NULL_DEREFERENCE
pointer `res` last assigned on line 125 could be null and is dereferenced at line 126, column 3.
124. {
125. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
126. > res->discr = ELINA_TEXPR_CST;
127. elina_coeff_init(&res->val.cst, ELINA_COEFF_INTERVAL);
128. elina_coeff_set_interval_int(&res->val.cst, inf, sup);
elina_oct/opt_oct_representation.c:125: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
123. opt_oct_t* opt_oct_copy(elina_manager_t* man, opt_oct_t* o)
124. {
125. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_COPY,0);
126. opt_oct_t *res = opt_oct_copy_internal(pr,o);
127. return res;
elina_poly/opt_pk_representation.c:141: error: NULL_DEREFERENCE
pointer `poly` last assigned on line 137 could be null and is dereferenced at line 141, column 2.
139. opt_pk_t ** spoly = src->poly;
140. for(k = 0; k < num_comp; k++){
141. > poly[k] = opt_poly_alloc(spoly[num_comp-k-1]->intdim,spoly[num_comp-k-1]->realdim);
142. poly[k]->C = spoly[num_comp-k-1]->C ? opt_matrix_copy(spoly[num_comp-k-1]->C) : NULL;
143. poly[k]->F = spoly[num_comp-k-1]->F ? opt_matrix_copy(spoly[num_comp-k-1]->F) : NULL;
elina_zones/opt_zones_predicate.c:126: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
124. {
125.
126. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_IS_EQ,0);
127. if((o1->dim != o2->dim) || (o1->intdim != o2->intdim))return false;
128. if (pr->funopt->algorithm>=0) {
elina_auxiliary/elina_dimension.c:128: error: NULL_DEREFERENCE
pointer `dimperm` last assigned on line 127 could be null and is dereferenced by call to `elina_dimperm_init()` at line 128, column 3.
126. {
127. elina_dimperm_t* dimperm = malloc(sizeof(elina_dimperm_t));
128. > elina_dimperm_init(dimperm,size);
129. return dimperm;
130. }
partitions_api/intersection.c:134: error: NULL_DEREFERENCE
pointer `map` last assigned on line 126 could be null and is dereferenced at line 134, column 3.
132. while(c!=NULL){
133. unsigned short int num = c->num;
134. > map[num] = 1;
135. c = c->next;
136. }
partitions_api/intersection.c:140: error: NULL_DEREFERENCE
pointer `map` last assigned on line 126 could be null and is dereferenced at line 140, column 6.
138. while(c!=NULL){
139. unsigned short int num = c->num;
140. > if(map[num]){
141. insert_comp(cl1,num);
142. }
elina_poly/opt_pk_meetjoin.c:143: error: NULL_DEREFERENCE
pointer `env` last assigned on line 139 could be null and is dereferenced at line 143, column 23.
141.
142. for(k=0; k < num_var; k++){
143. > elina_interval_free(env[k]);
144. }
145. free(env);
elina_zones/opt_zones_representation.c:129: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
127. {
128.
129. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_TOP,0);
130. opt_zones_t* r = opt_zones_alloc_internal(pr,intdim+realdim,intdim);
131. //printf("top %p %d %d %d\n",r,r->dim,intdim, realdim);
elina_zonotope/zonotope_internal.h:129: error: NULL_DEREFERENCE
pointer `res` last assigned on line 128 could be null and is dereferenced at line 129, column 9.
127. static inline zonotope_aff_t * zonotope_aff_copy(zonotope_aff_t *src){
128. zonotope_aff_t *res = (zonotope_aff_t *)malloc(sizeof(zonotope_aff_t));
129. > res->c = elina_interval_alloc_set(src->c);
130. res->q = src->q==NULL? NULL: (zonotope_aaterm_t *)malloc(sizeof(zonotope_aaterm_t *));
131. res->end = src->end==NULL? NULL:(zonotope_aaterm_t *)malloc(sizeof(zonotope_aaterm_t *));
elina_auxiliary/elina_scalar.c:131: error: NULL_DEREFERENCE
pointer `a` last assigned on line 130 could be null and is dereferenced at line 131, column 3.
129. {
130. elina_scalar_t* a = malloc(sizeof(elina_scalar_t));
131. > a->discr = ELINA_SCALAR_MPFR;
132. a->val.mpfr = malloc(sizeof(mpfr_t));
133. mpfr_init2(a->val.mpfr,mpfr_get_prec(mpfr));
elina_auxiliary/elina_manager.c:135: error: NULL_DEREFERENCE
pointer `head` last assigned on line 134 could be null and is dereferenced at line 135, column 3.
133. {
134. elina_exclog_t* head = (elina_exclog_t*)malloc(sizeof(elina_exclog_t));
135. > head->exn = exn;
136. head->funid = funid;
137. head->msg = strdup(msg ? msg : "");
elina_auxiliary/elina_interval.c:133: error: NULL_DEREFERENCE
pointer `itv` last assigned on line 132 could be null and is dereferenced at line 133, column 3.
131. {
132. elina_interval_t* itv = malloc(sizeof(elina_interval_t));
133. > itv->inf = elina_scalar_alloc_set(interval->inf);
134. itv->sup = elina_scalar_alloc_set(interval->sup);
135. return itv;
elina_poly/opt_pk_test.c:177: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `sorted_index()`.
175. }
176.
177. > unsigned short int *comp_ind = sorted_index(comps,num_comp);
178. free(comps);
179. for(k=0; k < num_comp; k++){
elina_poly/opt_pk_test.c:163: error: NULL_DEREFERENCE
pointer `comps` last assigned on line 160 could be null and is dereferenced at line 163, column 4.
161. for(k=0; k < num_comp; k++){
162. if(poly[k]->C && poly[k]->F){
163. > comps[k] = 0;
164. }
165. else if(poly[k]->C){
elina_poly/opt_pk_test.c:166: error: NULL_DEREFERENCE
pointer `comps` last assigned on line 160 could be null and is dereferenced at line 166, column 4.
164. }
165. else if(poly[k]->C){
166. > comps[k] = poly[k]->C->nbrows*poly[k]->C->nbcolumns;
167. }
168. else if(poly[k]->F){
elina_poly/opt_pk_test.c:169: error: NULL_DEREFERENCE
pointer `comps` last assigned on line 160 could be null and is dereferenced at line 169, column 4.
167. }
168. else if(poly[k]->F){
169. > comps[k] = poly[k]->F->nbrows*poly[k]->F->nbcolumns;
170. }
171. else{
elina_auxiliary/elina_texpr0.c:135: error: NULL_DEREFERENCE
pointer `res` last assigned on line 134 could be null and is dereferenced at line 135, column 3.
133. {
134. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
135. > res->discr = ELINA_TEXPR_CST;
136. elina_coeff_init(&res->val.cst, ELINA_COEFF_INTERVAL);
137. elina_coeff_set_interval_frac(&res->val.cst, numinf, deninf, numsup, densup);
elina_oct/opt_oct_representation.c:133: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
131. void opt_oct_free(elina_manager_t* man, opt_oct_t* o)
132. {
133. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_FREE,0);
134. opt_oct_free_internal(pr,o);
135.
elina_oct/opt_oct_resize.c:141: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
139. elina_lincons0_array_clear(&arr1);
140. fflush(stdout);*/
141. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_REMOVE_DIMENSIONS,0);
142. opt_oct_mat_t *src, *dst;
143. size_t i, nb = dimchange->intdim+dimchange->realdim;
elina_auxiliary/elina_scalar.c:140: error: NULL_DEREFERENCE
pointer `a` last assigned on line 139 could be null and is dereferenced at line 140, column 3.
138. {
139. elina_scalar_t* a = malloc(sizeof(elina_scalar_t));
140. > a->discr = ELINA_SCALAR_DOUBLE;
141. a->val.dbl = k;
142. return a;
elina_oct/opt_oct_representation.c:140: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
138. opt_oct_t* opt_oct_bottom(elina_manager_t* man, int intdim, int realdim)
139. {
140. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_BOTTOM,0);
141. opt_oct_t* o = opt_oct_alloc_internal(pr,intdim+realdim,intdim);
142. return o;
elina_auxiliary/elina_abstract0.c:171: error: UNINITIALIZED_VALUE
The value read from dim.intdim was never initialized.
169. }
170. else {
171. > snprintf(str,159,"\
172. incompatible dimensions for the array of polyhedra:\n\
173. abstract0 0: (%3lu,%3lu)\n\
elina_auxiliary/elina_abstract0.c:171: error: UNINITIALIZED_VALUE
The value read from dim.realdim was never initialized.
169. }
170. else {
171. > snprintf(str,159,"\
172. incompatible dimensions for the array of polyhedra:\n\
173. abstract0 0: (%3lu,%3lu)\n\
elina_auxiliary/elina_abstract0.c:171: error: UNINITIALIZED_VALUE
The value read from dim0.intdim was never initialized.
169. }
170. else {
171. > snprintf(str,159,"\
172. incompatible dimensions for the array of polyhedra:\n\
173. abstract0 0: (%3lu,%3lu)\n\
elina_auxiliary/elina_abstract0.c:171: error: UNINITIALIZED_VALUE
The value read from dim0.realdim was never initialized.
169. }
170. else {
171. > snprintf(str,159,"\
172. incompatible dimensions for the array of polyhedra:\n\
173. abstract0 0: (%3lu,%3lu)\n\
elina_zones/opt_zones_representation.c:142: error: DEAD_STORE
The value written to &pr (type opt_zones_internal_t*) is never used.
140. {
141.
142. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_DIMENSION,0);
143. elina_dimension_t r;
144. r.intdim = o->intdim;
elina_zones/opt_zones_representation.c:142: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
140. {
141.
142. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_DIMENSION,0);
143. elina_dimension_t r;
144. r.intdim = o->intdim;
elina_auxiliary/elina_texpr0.c:143: error: NULL_DEREFERENCE
pointer `res` last assigned on line 142 could be null and is dereferenced at line 143, column 3.
141. {
142. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
143. > res->discr = ELINA_TEXPR_CST;
144. elina_coeff_init(&res->val.cst, ELINA_COEFF_INTERVAL);
145. elina_coeff_set_interval_double(&res->val.cst, inf, sup);
elina_oct/opt_oct_hmat.c:151: error: NULL_DEREFERENCE
pointer `oo` last assigned on line 150 could be null and is dereferenced at line 151, column 2.
149. assert(m);
150. opt_oct_mat_t * oo = (opt_oct_mat_t *)malloc(sizeof(opt_oct_mat_t));
151. > oo->mat = m;
152. oo->nni = 2*dim;
153. oo->acl = create_array_comp_list();
elina_oct/opt_oct_predicate.c:169: error: NULL_DEREFERENCE
pointer `in` last assigned on line 146 could be null and is dereferenced at line 169, column 31.
167. array_comp_list_t * acl = oo->acl;
168. for (i=0;i<o->dim;i++){
169. > elina_interval_set_top(in[i]);
170. }
171. comp_list_t * cl = acl->head;
elina_oct/opt_oct_predicate.c:186: error: NULL_DEREFERENCE
pointer `in` last assigned on line 146 could be null and is dereferenced at line 186, column 35.
184. else{
185. for (i=0;i<o->dim;i++){
186. > opt_interval_of_bounds(pr,in[i],
187. m[opt_matpos(2*i,2*i+1)],m[opt_matpos(2*i+1,2*i)],true);
188. }
elina_poly/opt_pk_matrix.c:152: error: BUFFER_OVERRUN_S2
Offset: [u$8, u$9 + -1] Size: [u$8, u$9] by call to `opt_vector_copy()`.
150. opt_numint_t *si = src->p[i];
151. opt_numint_t *di = dst->p[i];
152. > opt_vector_copy(di, si, nbcolumns);
153. }
154. return dst;
elina_linearize/elina_rat.h:164: error: DEAD_STORE
The value written to &sgn_a (type int) is never used.
162. }
163. else{
164. > int sgn_a = elina_int_sgn(a->n);
165. if(b->d==0){
166. int sgn_b = elina_int_sgn(b->n);
elina_oct/opt_oct_representation.c:149: error: DEAD_STORE
The value written to &size (type int) is never used.
147. opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_TOP,0);
148. opt_oct_t* r = opt_oct_alloc_internal(pr,intdim+realdim,intdim);
149. > int size = 2*(r->dim)*(r->dim + 1);
150. r->closed = opt_hmat_alloc_top(r->dim);
151. return r;
elina_oct/opt_oct_representation.c:147: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
145. opt_oct_t* opt_oct_top(elina_manager_t* man, int intdim, int realdim)
146. {
147. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_TOP,0);
148. opt_oct_t* r = opt_oct_alloc_internal(pr,intdim+realdim,intdim);
149. int size = 2*(r->dim)*(r->dim + 1);
elina_zones/opt_zones_resize.c:180: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `opt_zones_mat_addrem_dimensions()`.
178. start_timing();
179. #endif
180. > opt_zones_mat_addrem_dimensions(dst,src,dimchange->dim,
181. nb,1,o->dim,false);
182.
elina_zones/opt_zones_resize.c:151: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
149. {
150.
151. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_REMOVE_DIMENSIONS,0);
152. opt_zones_mat_t *src, *dst;
153. unsigned short int i, nb = dimchange->intdim+dimchange->realdim;
elina_auxiliary/elina_texpr0.c:151: error: NULL_DEREFERENCE
pointer `res` last assigned on line 150 could be null and is dereferenced at line 151, column 3.
149. {
150. elina_texpr0_t* res = (elina_texpr0_t*) malloc(sizeof(elina_texpr0_t));
151. > res->discr = ELINA_TEXPR_CST;
152. elina_coeff_init(&res->val.cst, ELINA_COEFF_INTERVAL);
153. elina_interval_set_top(res->val.cst.val.interval);
elina_zones/opt_zones_representation.c:154: error: DEAD_STORE
The value written to &pr (type opt_zones_internal_t*) is never used.
152. int opt_zones_size(elina_manager_t* man, opt_zones_t* o)
153. {
154. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_ASIZE,0);
155. if (!o->m) return 1;
156. int size = (o->dim+1)*(o->dim+1);
elina_zones/opt_zones_representation.c:154: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
152. int opt_zones_size(elina_manager_t* man, opt_zones_t* o)
153. {
154. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_ASIZE,0);
155. if (!o->m) return 1;
156. int size = (o->dim+1)*(o->dim+1);
elina_auxiliary/elina_texpr0.c:159: error: NULL_DEREFERENCE
pointer `res` last assigned on line 158 could be null and is dereferenced at line 159, column 3.
157. {
158. elina_texpr0_t* res = malloc(sizeof(elina_texpr0_t));
159. > res->discr = ELINA_TEXPR_DIM;
160. res->val.dim = dim;
161. return res;
elina_auxiliary/elina_coeff.c:162: error: NULL_DEREFERENCE
pointer `coeff` last assigned on line 161 could be null and is dereferenced at line 162, column 3.
160. {
161. elina_coeff_t* coeff = malloc(sizeof(elina_coeff_t));
162. > coeff->discr = ELINA_COEFF_SCALAR;
163. coeff->val.scalar = elina_scalar_alloc_set(scalar);
164. return coeff;
partitions_api/comp_list.c:166: error: NULL_DEREFERENCE
pointer `map` last assigned on line 161 could be null and is dereferenced at line 166, column 3.
164. while(c!=NULL){
165. unsigned short int num = c->num;
166. > map[num] = 1;
167. c = c->next;
168. }
elina_poly/elina_test_poly.c:163: error: DEAD_STORE
The value written to &l (type unsigned short) is never used.
161.
162. void test_expand(unsigned short int dim, size_t nbcons){
163. > unsigned short int j,l=1;
164. //generate random cosntraints
165. elina_lincons0_array_t lincons0 = generate_random_lincons0_array(dim,nbcons);
elina_auxiliary/elina_texpr0.c:166: error: NULL_DEREFERENCE
pointer `node` last assigned on line 165 could be null and is dereferenced at line 166, column 3.
164. {
165. elina_texpr0_node_t* node = malloc(sizeof(elina_texpr0_node_t));
166. > node->op = op;
167. node->type = type;
168. node->dir = dir;
elina_auxiliary/elina_texpr0.c:172: error: NULL_DEREFERENCE
pointer `res` last assigned on line 171 could be null and is dereferenced at line 172, column 3.
170. node->exprB = opB;
171. elina_texpr0_t* res = malloc(sizeof(elina_texpr0_t));
172. > res->discr = ELINA_TEXPR_NODE;
173. res->val.node = node;
174. return res;
elina_zones/opt_zones_representation.c:175: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `closure_comp_sparse()`.
173. #endif
174.
175. > closure_comp_sparse(o->closed,dim);
176. if(strengthening_intra_comp_zones(o->closed,dim)){
177. opt_zones_mat_free(o->closed);
elina_zones/opt_mat.c:174: error: NULL_DEREFERENCE
pointer `m` last assigned on line 172 could be null and is dereferenced at line 174, column 2.
172. m = (double *)malloc(size*sizeof(double));
173. //set_mat_top(m,n);
174. > m[0] = 0;
175. array_comp_list_t * acl = create_array_comp_list();
176. opt_zones_mat_t * res = (opt_zones_mat_t *)malloc(sizeof(opt_zones_mat_t));
elina_zones/opt_mat.c:178: error: NULL_DEREFERENCE
pointer `res` last assigned on line 176 could be null and is dereferenced at line 178, column 2.
176. opt_zones_mat_t * res = (opt_zones_mat_t *)malloc(sizeof(opt_zones_mat_t));
177.
178. > res->mat = m;
179. res->acl = acl;
180. res->nni = 2*n;
elina_auxiliary/elina_coeff.c:169: error: NULL_DEREFERENCE
pointer `coeff` last assigned on line 168 could be null and is dereferenced at line 169, column 3.
167. {
168. elina_coeff_t* coeff = malloc(sizeof(elina_coeff_t));
169. > coeff->discr = ELINA_COEFF_INTERVAL;
170. coeff->val.interval = elina_interval_alloc_set(interval);
171. return coeff;
elina_oct/opt_oct_nary.c:168: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
166. opt_oct_t* opt_oct_join_array(elina_manager_t* man, opt_oct_t** tab, size_t size)
167. {
168. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_JOIN_ARRAY,0);
169. int algo = pr->funopt->algorithm;
170. bool closed = true;
elina_oct/opt_oct_hmat.c:177: error: DEAD_STORE
The value written to &n (type int) is never used.
175. double *src = src_mat->mat;
176. double *dest;
177. > int n = 2*dim;
178. int size = 2*dim*(dim+1);
179. //posix_memalign((void **)&dest,32,size*sizeof(double));
elina_oct/opt_oct_hmat.c:182: error: DEAD_STORE
The value written to &sparsity (type double) is never used.
180. dest = (double *)malloc(size*sizeof(double));
181.
182. > double sparsity = 1- ((double)(src_mat->nni/size));
183. opt_oct_mat_t * dst_mat = (opt_oct_mat_t *)malloc(sizeof(opt_oct_mat_t));
184. if(!src_mat->is_dense){
elina_oct/opt_oct_hmat.c:228: error: NULL_DEREFERENCE
pointer `dest` last assigned on line 180 could be null and is dereferenced by call to `memcpy()` at line 228, column 4.
226. #else
227. int s = (size/(2*v_length))*(2*v_length);
228. > memcpy(dest,src,s*sizeof(double));
229. #endif
230. for(int i = (size/(2*v_length))*(2*v_length); i < size; i++){
elina_oct/opt_oct_hmat.c:189: error: NULL_DEREFERENCE
pointer `dst_mat` last assigned on line 183 could be null and is dereferenced at line 189, column 3.
187. in DBM corresponding to Independent components
188. ******/
189. > dst_mat->ti = false;
190. comp_list_t * cl = src_mat->acl->head;
191. while(cl!=NULL){
elina_oct/opt_oct_hmat.c:216: error: NULL_DEREFERENCE
pointer `dst_mat` last assigned on line 183 could be null and is dereferenced at line 216, column 3.
214. Handle dense type
215. *****/
216. > dst_mat->ti = true;
217.
218. #if defined(VECTOR)
elina_zonotope/zonotope_constructor.c:173: error: DEAD_STORE
The value written to &pr (type _zonotope_internal_t*) is never used.
171. elina_interval_t** zonotope_to_box(elina_manager_t* man, zonotope_t* z){
172. start_timing();
173. > zonotope_internal_t* pr = zonotope_init_from_manager(man, ELINA_FUNID_TO_BOX);
174. elina_interval_t **res = elina_interval_array_alloc(z->dims);
175. size_t i = 0;
elina_zonotope/zonotope_constructor.c:177: error: NULL_DEREFERENCE
pointer `res` last assigned on line 174 could be null and is dereferenced at line 177, column 21.
175. size_t i = 0;
176. for (i=0; i<z->dims; i++) {
177. > elina_interval_set(res[i], z->box[i]);
178. }
179. man->result.flag_best = true;
partitions_api/union.c:180: error: NULL_DEREFERENCE
pointer `map` last assigned on line 175 could be null and is dereferenced at line 180, column 3.
178. while(c!=NULL){
179. unsigned short int num = c->num;
180. > map[num] = 1;
181. c = c->next;
182. }
partitions_api/union.c:187: error: NULL_DEREFERENCE
pointer `map` last assigned on line 175 could be null and is dereferenced at line 187, column 6.
185. while(c!=NULL){
186. unsigned short int num = c->num;
187. > if(map[num]){
188. res++;
189. }
elina_auxiliary/elina_manager.c:185: error: NULL_DEREFERENCE
pointer `man` last assigned on line 184 could be null and is dereferenced at line 185, column 3.
183.
184. man = (elina_manager_t*)malloc(sizeof(elina_manager_t));
185. > man->library = library;
186. man->version = version;
187. man->internal = internal;
elina_zonotope/zonotope_meetjoin.c:293: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [1, +oo] by call to `elina_abstract0_add_dimensions()`.
291.
292. /* destructive, without projection (new dimension set to top) */
293. > elina_abstract0_t * tmp_z2 = elina_abstract0_add_dimensions(pr->manNS, false, z2->abs, dimchange2, false);
294. //elina_abstract0_add_dimensions(pr->manNS, true, res->abs, dimchange1, false);
295. elina_dimchange_add_invert(dimchange2);
elina_auxiliary/elina_lincons0.c:189: error: MEMORY_LEAK
memory dynamically allocated by call to `malloc()` at line 184, column 51 is not reachable after line 189, column 3.
187. array.p[i].scalar = NULL;
188. }
189. > return array;
190. }
191. void elina_lincons0_array_resize(elina_lincons0_array_t* array, size_t size)
elina_auxiliary/elina_lincons0.c:186: error: NULL_DEREFERENCE
pointer `array.p` last assigned on line 184 could be null and is dereferenced at line 186, column 5.
184. array.p = (size==0) ? NULL : (elina_lincons0_t*)malloc(size*sizeof(elina_lincons0_t));
185. for (i=0; i<size; i++){
186. > array.p[i].linexpr0 = NULL;
187. array.p[i].scalar = NULL;
188. }
elina_zonotope/elina_box_constructor.c:189: error: DEAD_STORE
The value written to &exact (type char) is never used.
187. if (a->p==NULL){
188. elina_interval_set_bottom(interval);
189. > exact = true;
190. }
191. else {
elina_zonotope/elina_box_constructor.c:185: error: DEAD_STORE
The value written to &intern (type elina_box_internal_t*) is never used.
183. {
184. bool exact;
185. > elina_box_internal_t* intern = elina_box_init_from_manager(man,ELINA_FUNID_BOUND_DIMENSION);
186. elina_interval_t* interval = elina_interval_alloc();
187. if (a->p==NULL){
elina_zones/opt_zones_nary.c:187: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
185. //printf("widening start %p %p\n",o1,o2);
186. //fflush(stdout);
187. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_WIDENING,0);
188. int algo = pr->funopt->algorithm;
189. opt_zones_t* r;
elina_zones/opt_mat.h:193: error: DEAD_STORE
The value written to &size (type int) is never used.
191. }
192. unsigned short int n = dim+1;
193. > int size = n*n;
194. unsigned short int i,j;
195. double *m = oz->mat;
elina_zonotope/zonotope_constructor.c:192: error: DEAD_STORE
The value written to &pr (type _zonotope_internal_t*) is never used.
190. {
191. size_t i;
192. > zonotope_internal_t* pr = zonotope_init_from_manager(man, ELINA_FUNID_TO_LINCONS_ARRAY);
193. elina_lincons0_array_t array;
194.
elina_zonotope/zonotope_internal.h:192: error: NULL_DEREFERENCE
pointer `res` last assigned on line 191 could be null and is dereferenced at line 192, column 5.
190. {
191. zonotope_aaterm_t* res = (zonotope_aaterm_t*)malloc(sizeof(zonotope_aaterm_t));
192. > res->n = NULL;
193. res->pnsym = NULL;
194. res->inf = 0;
elina_zonotope/zonotope_resize.c:207: error: NULL_DEREFERENCE
pointer `res->nsymcons` last assigned on line 206 could be null and is dereferenced by call to `memcpy()` at line 207, column 5.
205. res->size = z->size;
206. res->nsymcons = (elina_dim_t*)calloc(res->size, sizeof(elina_dim_t));
207. > memcpy((void *)res->nsymcons, (void *)z->nsymcons, (res->size)*sizeof(elina_dim_t));
208. res->gamma = (elina_interval_t**)calloc(res->size, sizeof(elina_interval_t*));
209. res->abs = elina_abstract0_copy(pr->manNS, z->abs);
elina_zonotope/zonotope_resize.c:203: error: NULL_DEREFERENCE
pointer `res` last assigned on line 202 could be null and is dereferenced at line 203, column 5.
201. start_timing();
202. zonotope_t* res = (zonotope_t *)malloc(sizeof(zonotope_t));
203. > res->intdim = z->intdim;
204. res->dims = z->dims;
205. res->size = z->size;
elina_zones/opt_zones_representation.c:195: error: BUFFER_OVERRUN_L3
Offset: [2, +oo] Size: [0, +oo] by call to `opt_zones_mat_closure()`.
193. }
194. o->closed = opt_zones_mat_copy(o->m,o->dim);
195. > if(opt_zones_mat_closure(o->closed,o->dim)){
196. opt_zones_mat_free(o->closed);
197. opt_zones_mat_free(o->m);
elina_oct/opt_oct_resize.c:200: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
198. elina_lincons0_array_clear(&arr1);
199. fflush(stdout);*/
200. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_ADD_DIMENSIONS,0);
201. opt_oct_mat_t* src = o->closed ? o->closed : o->m;
202. opt_oct_mat_t* dst;
elina_oct/opt_oct_transfer.c:214: error: DEAD_STORE
The value written to &size (type int) is never used.
212. /* can / should we try to respect closure */
213. respect_closure = (oo==o->closed) && (pr->funopt->algorithm>=0);
214. > int size = 2*(o->dim)*(o->dim + 1);
215. if (!destructive) oo = opt_hmat_copy(oo,o->dim);
216.
elina_auxiliary/elina_texpr0.c:198: error: NULL_DEREFERENCE
pointer `n` last assigned on line 195 could be null and is dereferenced at line 198, column 3.
196. res->discr = ELINA_TEXPR_NODE;
197. res->val.node = n;
198. > n->op = node->op;
199. n->type = node->type;
200. n->dir = node->dir;
elina_auxiliary/elina_texpr0.c:196: error: NULL_DEREFERENCE
pointer `res` last assigned on line 194 could be null and is dereferenced at line 196, column 3.
194. elina_texpr0_t* res = malloc(sizeof(elina_texpr0_t));
195. elina_texpr0_node_t* n = malloc(sizeof(elina_texpr0_node_t));
196. > res->discr = ELINA_TEXPR_NODE;
197. res->val.node = n;
198. n->op = node->op;
elina_zones/opt_mat.c:202: error: NULL_DEREFERENCE
pointer `res` last assigned on line 201 could be null and is dereferenced at line 202, column 2.
200. m = (double *)malloc(size*sizeof(double));
201. opt_zones_mat_t * res = (opt_zones_mat_t *)malloc(sizeof(opt_zones_mat_t));
202. > res->acl = create_array_comp_list();
203. res->mat = m;
204. res->ti = false;
elina_oct/opt_oct_representation.c:196: error: DEAD_STORE
The value written to &pr (type opt_oct_internal_t*) is never used.
194. elina_dimension_t opt_oct_dimension(elina_manager_t* man, opt_oct_t* o)
195. {
196. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_DIMENSION,0);
197. elina_dimension_t r;
198. r.intdim = o->intdim;
elina_oct/opt_oct_representation.c:196: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
194. elina_dimension_t opt_oct_dimension(elina_manager_t* man, opt_oct_t* o)
195. {
196. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_DIMENSION,0);
197. elina_dimension_t r;
198. r.intdim = o->intdim;
elina_poly/opt_pk_widening.c:207: error: DEAD_STORE
The value written to &j (type unsigned short) is never used.
205. unsigned short int j = ind_map[i];
206. dst[j+s] = src[i+s];
207. > j++;
208. }
209. }
elina_zonotope/zonotope_internal.h:202: error: NULL_DEREFERENCE
pointer `a` last assigned on line 201 could be null and is dereferenced at line 202, column 5.
200. {
201. zonotope_aff_t* a = (zonotope_aff_t*)malloc(sizeof(zonotope_aff_t));
202. > a->c = elina_interval_alloc();
203. a->q = NULL;
204. a->end = NULL;
elina_zonotope/elina_box_constructor.c:207: error: DEAD_STORE
The value written to &intern (type elina_box_internal_t*) is never used.
205. bool exact;
206. elina_interval_t* interval = elina_interval_alloc();
207. > elina_box_internal_t* intern = elina_box_init_from_manager(man,ELINA_FUNID_BOUND_LINEXPR);
208.
209. if (a->p==NULL){
partitions_api/array_comp_list.c:210: error: DEAD_STORE
The value written to &map2 (type char*) is never used.
208. }
209.
210. > char *map2 = (char *)calloc(n,sizeof(char));
211. comp_list_t * cl1 = acl1->head;
212. while(cl1 != NULL){
partitions_api/array_comp_list.c:210: error: MEMORY_LEAK
memory dynamically allocated by call to `calloc()` at line 210, column 23 is not reachable after line 210, column 2.
208. }
209.
210. > char *map2 = (char *)calloc(n,sizeof(char));
211. comp_list_t * cl1 = acl1->head;
212. while(cl1 != NULL){
elina_zones/opt_zones_representation.c:207: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
205. void opt_zones_minimize(elina_manager_t* man, opt_zones_t* o)
206. {
207. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_MINIMIZE,0);
208. elina_manager_raise_exception(man,ELINA_EXC_NOT_IMPLEMENTED,pr->funid,
209. "not implemented");
elina_oct/opt_oct_representation.c:211: error: DEAD_STORE
The value written to &size (type int) is never used.
209. }
210.
211. > int size = 2*o->dim*(o->dim + 1);
212. o->closed = opt_hmat_copy(o->m,o->dim);
213. if(opt_hmat_strong_closure(o->closed,o->dim)){
elina_oct/opt_oct_predicate.c:212: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
210. opt_oct_t* o, elina_dim_t dim)
211. {
212. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_BOUND_DIMENSION,0);
213. elina_interval_t* r = elina_interval_alloc();
214. if(dim>=o->dim){
elina_poly/opt_pk_project.c:217: error: DEAD_STORE
The value written to &nbcolumns (type unsigned long) is never used.
215. size_t * p = (size_t *)calloc(size,sizeof(size_t));
216. size_t * m = (size_t *)calloc(size,sizeof(size_t));
217. > size_t nbcolumns = oc->nbcolumns;
218. size_t nbcons = oc->nbrows;
219. for(i = 0; i < nbcons; i++){
elina_zones/opt_zones_resize.c:217: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
215. {
216.
217. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_ADD_DIMENSIONS,0);
218. opt_zones_mat_t* src = o->closed ? o->closed : o->m;
219. //print_mat(src,o->dim);
elina_auxiliary/elina_dimension.c:217: error: NULL_DEREFERENCE
pointer `res` last assigned on line 216 could be null and is dereferenced by call to `elina_dimchange2_init()` at line 217, column 3.
215. {
216. elina_dimchange2_t* res = (elina_dimchange2_t*)malloc(sizeof(elina_dimchange2_t));
217. > elina_dimchange2_init(res,add,remove);
218. return res;
219. }
elina_zones/opt_zones_representation.c:216: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
214. void opt_zones_canonicalize(elina_manager_t* man, opt_zones_t* o)
215. {
216. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_CANONICALIZE,0);
217. elina_manager_raise_exception(man,ELINA_EXC_NOT_IMPLEMENTED,pr->funid,
218. "not implemented");
elina_poly/opt_pk_meetjoin.c:252: error: DEAD_STORE
The value written to &k (type unsigned short) is never used.
250. dst_linterm[j].dim = k;
251. elina_coeff_set(&dst_linterm[j].coeff, &src_coeff);
252. > k++;
253. }
254. }
elina_oct/opt_oct_nary.c:219: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
217. *******/
218. opt_oct_t* opt_oct_meet_array(elina_manager_t* man, opt_oct_t** tab, size_t size){
219. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_MEET_ARRAY,0);
220. opt_oct_t* r;
221. size_t i,k;
elina_auxiliary/elina_interval.c:225: error: NULL_DEREFERENCE
pointer `array` last assigned on line 223 could be null and is dereferenced at line 225, column 5.
223. elina_interval_t** array = malloc(size*sizeof(elina_interval_t*));
224. for (i=0;i<size;i++){
225. > array[i] = elina_interval_alloc();
226. }
227. return array;
elina_poly/opt_pk_test.c:223: error: NULL_DEREFERENCE
pointer `res` last assigned on line 220 could be null and is dereferenced at line 223, column 3.
221. unsigned short int i,j;
222. for(i = 0; i < size; i++){
223. > res[i] = i;
224. }
225. for (i=0; i<size; i++){
elina_zones/opt_zones_representation.c:224: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
222. int opt_zones_hash(elina_manager_t* man, opt_zones_t* o)
223. {
224. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_HASH,0);
225. if (pr->funopt->algorithm>=0) opt_zones_cache_closure(pr,o);
226. if (o->closed || o->m) {
elina_zonotope/zonotope_internal.h:235: error: NULL_DEREFERENCE
pointer `pr->epsilon` last assigned on line 233 could be null and is dereferenced at line 235, column 11.
233. if (dim % 1024 == 0){ pr->epsilon = (zonotope_noise_symbol_t**)realloc(pr->epsilon, (dim+1024)*sizeof(zonotope_noise_symbol_t*));
234. }
235. > res = pr->epsilon[dim] = (zonotope_noise_symbol_t*)malloc(sizeof(zonotope_noise_symbol_t));
236. if (type == IN) {
237. if (pr->epssize % 1024 == 0) pr->inputns = (uint_t*)realloc(pr->inputns, (pr->epssize+1024)*sizeof(uint_t));
elina_oct/opt_oct_resize.c:239: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
237. size_t n)
238. {
239. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_EXPAND,0);
240. opt_oct_mat_t* src = o->closed ? o->closed : o->m;
241. size_t i, j;
elina_linearize/elina_linearize.c:252: error: NULL_DEREFERENCE
pointer `array->p` last assigned on line 248 could be null and is dereferenced at line 252, column 7.
250. elina_linexpr0_t * linexpr0 = elina_linexpr0_alloc(ELINA_LINEXPR_SPARSE,0);
251. elina_scalar_t *scalar = elina_scalar_alloc();
252. > array->p[i].linexpr0 = linexpr0;
253. array->p[i].scalar = scalar;
254. }
elina_zones/opt_mat.c:242: error: NULL_DEREFERENCE
pointer `dest` last assigned on line 240 could be null and is dereferenced at line 242, column 2.
240. double * dest = (double *)malloc(size*sizeof(double));
241. double * src = src_mat->mat;
242. > dest[0] = src[0];
243. while(cl!=NULL){
244. opt_zones_comp_copy(dest,src,cl,dim);
elina_auxiliary/elina_lincons0.c:247: error: DEAD_STORE
The value written to &type (type int) is never used.
245. elina_linexpr_type_t type = elina_linexpr0_type(array->p[i].linexpr0);
246. if (type < res)
247. > type = res;
248. if (res==ELINA_LINEXPR_INTLINEAR)
249. break;
elina_oct/opt_oct_representation.c:242: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
240. void opt_oct_minimize(elina_manager_t* man, opt_oct_t* o)
241. {
242. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_MINIMIZE,0);
243. elina_manager_raise_exception(man,ELINA_EXC_NOT_IMPLEMENTED,pr->funid,
244. "not implemented");
elina_zones/opt_zones_representation.c:242: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
240. void opt_zones_approximate(elina_manager_t* man, opt_zones_t* o, int algorithm)
241. {
242. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_APPROXIMATE,0);
243. elina_manager_raise_exception(man,ELINA_EXC_NOT_IMPLEMENTED,pr->funid,
244. "not implemented");
elina_poly/opt_pk_widening.c:484: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `opt_esatmat_sort_rows()`.
482. *********************/
483. opt_satmat_row_t * satrow = opt_esatmat_of_satmat(satF);
484. > opt_esatmat_sort_rows(satrow,satF);
485. unsigned short int nbcols_sat = satF->nbcolumns;
486. opt_bitstring_t * satline = opt_bitstring_alloc(nbcols_sat);
elina_poly/opt_pk_widening.c:484: error: BUFFER_OVERRUN_L3
Offset: [1, 4] Size: [0, +oo] by call to `opt_esatmat_sort_rows()`.
482. *********************/
483. opt_satmat_row_t * satrow = opt_esatmat_of_satmat(satF);
484. > opt_esatmat_sort_rows(satrow,satF);
485. unsigned short int nbcols_sat = satF->nbcolumns;
486. opt_bitstring_t * satline = opt_bitstring_alloc(nbcols_sat);
elina_poly/opt_pk_widening.c:503: error: BUFFER_OVERRUN_S2
Offset: [u$10, u$11] Size: [0, +oo] by call to `opt_build_satline()`.
501.
502. //if(!is_disjoint(res,cla,maxcols)){
503. > opt_build_satline(opk,F,npci,satline);
504. if(opk->exn){
505. opk->exn = ELINA_EXC_NONE;
elina_poly/opt_pk_widening.c:517: error: DEAD_STORE
The value written to &index (type int) is never used.
515. index = opt_esatmat_index_in_sorted_rows(satline,satrow,satF);
516. if(index>=0){
517. > index = satrow[index].index;
518. //if(opk->funopt->algorithm > 0 || !opt_vector_is_positivity_constraint(opk, oak->C->p[index],oak->C->nbcolumns)){
519. size_t i1 = counter[indb];
elina_poly/opt_pk_widening.c:249: error: DEAD_STORE
The value written to &op (type opt_pk_array_t*) is never used.
247. array_comp_list_t * acla = oa->acl;
248. if(oa->is_bottom || !acla){
249. > op = opt_pk_copy(man,ob);
250. return;
251. }
elina_poly/opt_pk_widening.c:260: error: DEAD_STORE
The value written to &op (type opt_pk_array_t*) is never used.
258. array_comp_list_t * aclb = ob->acl;
259. if(ob->is_bottom || !aclb){
260. > op = opt_pk_copy(man,oa);
261. return;
262. }
elina_poly/opt_pk_widening.c:284: error: DEAD_STORE
The value written to &op (type opt_pk_array_t*) is never used.
282. }
283. if(!oak->C && !oak->F){
284. > op = opt_pk_copy(man,ob);
285. return;
286. }
elina_poly/opt_pk_representation.c:247: error: DEAD_STORE
The value written to &poly1 (type opt_pk_t*) is never used.
245. void poly_swap(opt_pk_t *poly1, opt_pk_t *poly2){
246. opt_pk_t *tmp = poly1;
247. > poly1 = poly2;
248. poly2 = tmp;
249. }
elina_poly/opt_pk_representation.c:248: error: DEAD_STORE
The value written to &poly2 (type opt_pk_t*) is never used.
246. opt_pk_t *tmp = poly1;
247. poly1 = poly2;
248. > poly2 = tmp;
249. }
250.
partitions_api/comp_list.c:256: error: NULL_DEREFERENCE
pointer `*buf[i]` last assigned on line 254 could be null and is dereferenced at line 256, column 7.
254. buf[i] = (comp_t*)malloc(sizeof(comp_t) * length);
255.
256. > buf[i]->num = *(unsigned short int*)(p + idx);
257. idx += sizeof(unsigned short int);
258. }
partitions_api/comp_list.c:254: error: NULL_DEREFERENCE
pointer `buf` last assigned on line 250 could be null and is dereferenced at line 254, column 7.
252.
253. for(unsigned short int i = 0; i < length; i++){
254. > buf[i] = (comp_t*)malloc(sizeof(comp_t) * length);
255.
256. buf[i]->num = *(unsigned short int*)(p + idx);
elina_oct/opt_oct_nary.c:256: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
254. elina_lincons0_array_clear(&arr2);
255. fflush(stdout);*/
256. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_WIDENING,0);
257. int algo = pr->funopt->algorithm;
258. opt_oct_t* r;
elina_auxiliary/elina_texpr0.c:257: error: UNINITIALIZED_VALUE
The value read from d was never initialized.
255. res,
256. elina_texpr0_binop(ELINA_TEXPR_MUL,
257. > elina_texpr0_cst(c), elina_texpr0_dim(d),
258. ELINA_RTYPE_REAL, ELINA_RDIR_RND),
259. ELINA_RTYPE_REAL, ELINA_RDIR_RND);
elina_oct/opt_oct_representation.c:251: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
249. void opt_oct_canonicalize(elina_manager_t* man, opt_oct_t* o)
250. {
251. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_CANONICALIZE,0);
252. elina_manager_raise_exception(man,ELINA_EXC_NOT_IMPLEMENTED,pr->funid,
253. "not implemented");
elina_linearize/elina_linearize_texpr.c:276: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_alloc()`.
274. case ELINA_TEXPR_SUB:
275. //elina_linexpr0_init(&l1,0);
276. > l1 = elina_linexpr0_alloc(ELINA_LINEXPR_SPARSE,0);
277. /* intlinearize arguments */
278. exc = elina_intlinearize_elina_texpr0_intlinear(&l1,n->exprA,discr);
elina_zones/opt_zones_representation.c:251: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
249. ****/
250. opt_zones_t* opt_zones_closure(elina_manager_t *man, bool destructive, opt_zones_t *o){
251. > opt_zones_internal_t *pr = (opt_zones_internal_t *)opt_zones_init_from_manager(man, ELINA_FUNID_CLOSURE,0);
252. if(destructive)return o;
253. return opt_zones_copy_internal(pr,o);
elina_zonotope/zonotope_constructor.c:256: error: DEAD_STORE
The value written to &pr (type _zonotope_internal_t*) is never used.
254. elina_interval_t* zonotope_bound_dimension(elina_manager_t* man, zonotope_t* z, elina_dim_t dim)
255. {
256. > zonotope_internal_t* pr = zonotope_init_from_manager(man, ELINA_FUNID_BOUND_DIMENSION);
257. elina_interval_t* res = elina_interval_alloc();
258. elina_interval_set(res, z->box[dim]);
elina_zones/opt_mat.c:274: error: NULL_DEREFERENCE
pointer `m` last assigned on line 267 could be null and is dereferenced at line 274, column 3.
272. array_comp_list_t * acl = oz->acl;
273. comp_list_t *cl = acl->head;
274. > m[0] = 0;
275. while(cl!=NULL){
276. opt_zones_comp_copy(m,oz->mat,cl,dim);
elina_zones/opt_mat.c:296: error: NULL_DEREFERENCE
pointer `m` last assigned on line 267 could be null and is dereferenced at line 296, column 5.
294. #else
295. for(i=0; i < size; i++){
296. > m[i] = oz->mat[i];
297. }
298. #endif
elina_zones/opt_mat.c:279: error: NULL_DEREFERENCE
pointer `res` last assigned on line 266 could be null and is dereferenced at line 279, column 3.
277. cl = cl->next;
278. }
279. > res->ti = false;
280. res->acl = copy_array_comp_list(acl);
281. }
elina_zones/opt_mat.c:299: error: NULL_DEREFERENCE
pointer `res` last assigned on line 266 could be null and is dereferenced at line 299, column 3.
297. }
298. #endif
299. > res->ti = true;
300. res->acl = NULL;
301. }
elina_oct/opt_oct_representation.c:259: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
257. int opt_oct_hash(elina_manager_t* man, opt_oct_t* o)
258. {
259. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_HASH,0);
260. if (pr->funopt->algorithm>=0) opt_oct_cache_closure(pr,o);
261. if (o->closed || o->m) {
elina_zones/opt_zones_resize.c:273: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `opt_zones_mat_addrem_dimensions()`.
271. /* insert n variables at pos */
272. dst = opt_zones_mat_alloc_top(o->dim+n);
273. > opt_zones_mat_addrem_dimensions(dst,src,&pos,1,n,o->dim,true);
274. //#if defined(TIMING)
275. //start_timing();
elina_zones/opt_zones_resize.c:325: error: BUFFER_OVERRUN_S2
Offset: [u$40 + 1, u$41 + 1] Size: [0, +oo].
323. if(cj!=NULL){
324. mm[dn*(pos+i+1)] = mm[dn*(dim+1)];
325. > mm[pos+i+1] = mm[dim+1];
326. }
327. else{
elina_zones/opt_zones_resize.c:381: error: DEAD_STORE
The value written to &dst_dim (type unsigned short) is never used.
379. //#endif
380. }
381. > unsigned short int dst_dim = o->dim+n;
382. int dst_size = dn*dn;
383. int src_size = sn*sn;
elina_zones/opt_zones_resize.c:262: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
260. size_t n)
261. {
262. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_EXPAND,0);
263. opt_zones_mat_t* src = o->closed ? o->closed : o->m;
264. size_t i, j;
elina_poly/opt_pk_project.c:305: error: BUFFER_OVERRUN_S2
Offset: [u$86, u$87 + -1] Size: [u$86, u$87] by call to `opt_vector_copy()`.
303. tmp1 = opt_vector_alloc(nbcolumns);
304. tmp2 = opt_vector_alloc(nbcolumns);
305. > opt_vector_copy(tmp1,pi,nbcolumns);
306. opt_vector_copy(tmp2,pj,nbcolumns);
307. }
elina_poly/opt_pk_project.c:277: error: NULL_DEREFERENCE
pointer `ocm` last assigned on line 261 could be null and is dereferenced at line 277, column 4.
275. }
276. else if(pi[dim] < 0){
277. > ocm[nbcons1] = i;
278. nbcons1++;
279. }
elina_poly/opt_pk_project.c:281: error: NULL_DEREFERENCE
pointer `ocn` last assigned on line 263 could be null and is dereferenced at line 281, column 4.
279. }
280. else{
281. > ocn[nbcons3] = i;
282. nbcons3++;
283. }
elina_poly/opt_pk_project.c:273: error: NULL_DEREFERENCE
pointer `ocp` last assigned on line 262 could be null and is dereferenced at line 273, column 4.
271. opt_numint_t * pi = oc->p[i];
272. if(pi[dim] > 0){
273. > ocp[nbcons2] = i;
274. nbcons2++;
275. }
elina_linearize/elina_linearize.c:263: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_realloc()`.
261. {
262. /* constraint 0=0 if value, 1=0 otherwise */
263. > elina_linexpr0_realloc(cons->linexpr0,0);
264. elina_coeff_t *cst = &cons->linexpr0->cst;
265. elina_coeff_reinit(cst,ELINA_COEFF_SCALAR,discr);
partitions_api/comp_list.c:286: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [0, +oo] by call to `comp_deserialize()`.
284.
285. size_t comp_size;
286. > buf[i]->head = comp_deserialize(p + idx, buf[i]->size, &comp_size);
287. idx += comp_size;
288. }
partitions_api/comp_list.c:286: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `comp_deserialize()`.
284.
285. size_t comp_size;
286. > buf[i]->head = comp_deserialize(p + idx, buf[i]->size, &comp_size);
287. idx += comp_size;
288. }
partitions_api/comp_list.c:296: error: MEMORY_LEAK
memory dynamically allocated by call to `malloc()` at line 280, column 30 is not reachable after line 296, column 5.
294. *size = idx;
295. comp_list_t* head = buf[0];
296. > free(buf);
297. return head;
298. }
partitions_api/comp_list.c:282: error: NULL_DEREFERENCE
pointer `*buf[i]` last assigned on line 280 could be null and is dereferenced at line 282, column 7.
280. buf[i] = (comp_list_t*)malloc(sizeof(comp_list_t));
281.
282. > buf[i]->size = *(unsigned short int*)(p + idx);
283. idx += sizeof(unsigned short int);
284.
partitions_api/comp_list.c:280: error: NULL_DEREFERENCE
pointer `buf` last assigned on line 276 could be null and is dereferenced at line 280, column 7.
278.
279. for(size_t i = 0; i < length; i++){
280. > buf[i] = (comp_list_t*)malloc(sizeof(comp_list_t));
281.
282. buf[i]->size = *(unsigned short int*)(p + idx);
elina_poly/opt_pk_expandfold.c:292: error: DEAD_STORE
The value written to &cl (type comp_list_t*) is never used.
290. }
291. factor->F = opt_matrix_alloc(fold_size,3,false);
292. > cl = acl->head;
293. }
294.
elina_poly/opt_pk_expandfold.c:278: error: DEAD_STORE
The value written to &dim (type unsigned int) is never used.
276. elina_dim_t *tdim, size_t size){
277. size_t i;
278. > elina_dim_t dim = tdim[0];
279. comp_list_t *cl = create_comp_list();
280. insert_comp(cl,tdim[0] + opk->dec);
elina_poly/opt_pk_expandfold.c:284: error: NULL_DEREFERENCE
pointer `poly` last assigned on line 283 could be null and is dereferenced at line 284, column 22.
282. unsigned short int comp_size = acl->size;
283. poly = (opt_pk_t **)realloc(poly,(comp_size+1)*sizeof(opt_pk_t*));
284. > opt_pk_t * factor = poly[comp_size];
285. size_t fold_size = 0;
286. unsigned short int k;
elina_oct/opt_oct_representation.c:277: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
275. void opt_oct_approximate(elina_manager_t* man, opt_oct_t* o, int algorithm)
276. {
277. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_APPROXIMATE,0);
278. elina_manager_raise_exception(man,ELINA_EXC_NOT_IMPLEMENTED,pr->funid,
279. "not implemented");
elina_poly/opt_pk_satmat.c:293: error: NULL_DEREFERENCE
pointer `oc->p` last assigned on line 291 could be null and is dereferenced at line 293, column 5.
291. oc->p = (opt_bitstring_t**)malloc(sizeof(opt_bitstring_t*) * oc->_maxrows);
292. for(size_t i = 0; i < oc->_maxrows; i++){
293. > oc->p[i] = (opt_bitstring_t*)malloc(sizeof(opt_bitstring_t) * oc->nbcolumns);
294. for(unsigned short int j = 0; j < oc->nbcolumns; j++){
295. oc->p[i][j] = *(opt_bitstring_t*)(p + idx);
elina_poly/opt_pk_satmat.c:282: error: NULL_DEREFERENCE
pointer `oc` last assigned on line 279 could be null and is dereferenced at line 282, column 3.
280. size_t idx = 0;
281.
282. > oc->nbrows = *(size_t*)(p + idx);
283. idx += sizeof(size_t);
284.
elina_oct/opt_oct_representation.c:286: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
284. ****/
285. opt_oct_t* opt_oct_closure(elina_manager_t *man, bool destructive, opt_oct_t *o){
286. > opt_oct_internal_t *pr = (opt_oct_internal_t *)opt_oct_init_from_manager(man, ELINA_FUNID_CLOSURE,0);
287. if(destructive)return o;
288. return opt_oct_copy_internal(pr,o);
elina_zonotope/elina_box_constructor.c:290: error: DEAD_STORE
The value written to &intern (type elina_box_internal_t*) is never used.
288. elina_interval_t** interval;
289. size_t nbdims;
290. > elina_box_internal_t* intern = (elina_box_internal_t*)man->internal;
291.
292. man->result.flag_best = true;
elina_poly/opt_pk_expandfold.c:309: error: BUFFER_OVERRUN_S2
Offset: [u$84, u$85 + -1] Size: [u$84, u$85] by call to `opt_matrix_copy()`.
307. dimsup = size;
308. if (dimsup==0){
309. > return destructive ? F : opt_matrix_copy(F);
310. }
311. nbrows = F->nbrows;
elina_poly/opt_pk_representation.c:330: error: BUFFER_OVERRUN_L3
Offset: [1, 1] Size: [0, +oo].
328. opt_numint_t *npj = opt_vector_neg(opk,pj,nbcolumns);
329. if(!opt_vector_compare(opk,pi,npj,nbcolumns)){
330. > if(pi[1]==npj[1]){
331. rmap[j] = 1;
332. nbeq--;
elina_poly/opt_pk_representation.c:329: error: BUFFER_OVERRUN_S2
Offset: [u$8, +oo] Size: [0, +oo] by call to `opt_vector_compare()`.
327. else if(!pi[0]){
328. opt_numint_t *npj = opt_vector_neg(opk,pj,nbcolumns);
329. > if(!opt_vector_compare(opk,pi,npj,nbcolumns)){
330. if(pi[1]==npj[1]){
331. rmap[j] = 1;
elina_auxiliary/elina_linexpr0.c:337: error: UNINITIALIZED_VALUE
The value read from dim was never initialized.
335. fprintf(stream,"%s",name_of_dim[dim]);
336. else
337. > fprintf(stream,"x%lu",(unsigned long)dim);
338. first = false;
339. }
elina_poly/opt_pk_user.c:314: error: BUFFER_OVERRUN_S2
Offset: [u$90, u$91 + -1] Size: [u$90, u$91] by call to `opt_matrix_append_elina_lincons0_array()`.
312. *mat = opt_matrix_alloc(array->size,opk->dec+intdim+realdim,false);
313. (*mat)->nbrows = 0;
314. > return opt_matrix_append_elina_lincons0_array(opk,
315. *mat,array,
316. intdim,realdim,integer);
elina_poly/opt_pk_test.c:307: error: DEAD_STORE
The value written to &comp_size (type unsigned short) is never used.
305. bool opt_poly_leq(opt_pk_internal_t * opk, opt_matrix_t * C, opt_matrix_t * F){
306. size_t nbrows = C->nbrows;
307. > unsigned short int comp_size = C->nbcolumns - 2;
308. size_t i;
309. for(i=0; i < nbrows; i++){
elina_zones/opt_zones_closure.c:319: error: NULL_DEREFERENCE
pointer `ca_arr` last assigned on line 316 could be null and is dereferenced at line 319, column 3.
317. unsigned short int k = 0;
318. while(cli!=NULL){
319. > ca_arr[k] = to_sorted_array(cli,dim);
320. cli = cli->next;
321. k++;
elina_zones/opt_zones_representation.c:328: error: MEMORY_LEAK
memory dynamically allocated by call to `calloc()` at line 322, column 23 is not reachable after line 328, column 9.
326. assert(pr->tmp2);
327.
328. > man = elina_manager_alloc("opt_zones","1.0 with double", pr,
329. (void (*)(void*))opt_zones_internal_free);
330.
elina_zones/opt_zones_representation.c:324: error: NULL_DEREFERENCE
pointer `pr->tmp` last assigned on line 322 could be null and is dereferenced by call to `init_array_zones()` at line 324, column 3.
322. pr->tmp = (double *)calloc(pr->tmp_size,sizeof(double));
323. assert(pr->tmp);
324. > init_array_zones(pr->tmp,pr->tmp_size);
325. pr->tmp2 = calloc(pr->tmp_size,sizeof(long));
326. assert(pr->tmp2);
elina_zones/opt_zones_representation.c:321: error: NULL_DEREFERENCE
pointer `pr` last assigned on line 319 could be null and is dereferenced at line 321, column 3.
319. pr = (opt_zones_internal_t*)malloc(sizeof(opt_zones_internal_t));
320. assert(pr);
321. > pr->tmp_size = 10;
322. pr->tmp = (double *)calloc(pr->tmp_size,sizeof(double));
323. assert(pr->tmp);
elina_linearize/elina_rat.h:317: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced at line 317, column 5.
315. int sgn = mpz_sgn(mpq_numref(scalar->val.mpq));
316. if(sgn>0){
317. > res->n = 1;
318. }
319. else if(sgn < 0){
elina_linearize/elina_rat.h:320: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced at line 320, column 5.
318. }
319. else if(sgn < 0){
320. > res->n = -1;
321. }
322. else{
elina_linearize/elina_rat.h:337: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced at line 337, column 6.
335. if (scalar->val.dbl==INFINITY || scalar->val.dbl==-INFINITY) {
336. if (scalar->val.dbl>0){
337. > res->n = 1;
338. }
339. else {
elina_linearize/elina_rat.h:340: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced at line 340, column 6.
338. }
339. else {
340. > res->n = -1;
341. }
342. res->d = 0;
elina_linearize/elina_rat.h:353: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced at line 353, column 6.
351. if (mpfr_inf_p(scalar->val.mpfr)) {
352. if (mpfr_sgn(scalar->val.mpfr)>0) {
353. > res->n=1;
354. }
355. else {
elina_linearize/elina_rat.h:356: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced at line 356, column 6.
354. }
355. else {
356. > res->n = -1;
357. }
358. res->d = 0;
elina_linearize/elina_rat.h:346: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced by call to `elina_rat_set_double()` at line 346, column 11.
344. }
345. else {
346. > elina_rat_set_double(res,scalar->val.dbl);
347. return res;
348. }
elina_linearize/elina_rat.h:362: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced by call to `elina_rat_set_mpfr()` at line 362, column 11.
360. }
361. else {
362. > elina_rat_set_mpfr(res,scalar->val.mpfr);
363. return res;
364. }
elina_linearize/elina_rat.h:330: error: NULL_DEREFERENCE
pointer `res` last assigned on line 311 could be null and is dereferenced by call to `elina_rat_set_mpq()` at line 330, column 9.
328. }
329. else {
330. > elina_rat_set_mpq(res,scalar->val.mpq);
331. return res;
332. }
elina_poly/opt_pk_test.c:401: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [0, +oo].
399. rmapa[ka] = inda;
400. unsigned short int * ca_a = to_sorted_array(cla,maxcols);
401. > unsigned short int *ca = ca_arr[inda];
402. ind_melina_a[ka] = map_index(ca_a,ca, cla->size);
403. opt_pk_t *oak = poly_a[ka];
elina_poly/opt_pk_test.c:471: error: DEAD_STORE
The value written to &cla (type comp_list_t*) is never used.
469. }
470.
471. > cla = acla->head;
472. size_t *counter = (size_t *)calloc(num_comp,sizeof(size_t));
473. /******************
elina_poly/opt_pk_test.c:433: error: DEAD_STORE
The value written to &obk (type opt_pk_t*) is never used.
431. ind_melina_b[kb] = map_index(ca_b,ca, clb->size);
432. free(ca_b);
433. > opt_pk_t * obk = poly_b[kb];
434. //if (opk->funopt->algorithm>0){
435. // opt_poly_chernikova(man,obk,"of the second argument");
elina_zonotope/zonotope_internal.h:322: error: DEAD_STORE
The value written to &p (type _zonotope_aaterm_t*) is never used.
320. {
321. zonotope_aaterm_t *p,*q;
322. > p = q = NULL;
323. for (p = head; p; p = q) {
324. q = p->n;
elina_linearize/elina_linearize_texpr.c:337: error: DEAD_STORE
The value written to &cst (type elina_coeff_t*) is never used.
335. elina_linexpr0_reinit(res,0);
336. elina_coeff_set(&res->cst,&expr->val.cst);
337. > cst = &res->cst;
338. break;
339. case ELINA_TEXPR_DIM:
elina_poly/opt_pk_meetjoin.c:587: error: BUFFER_OVERRUN_L3
Offset: [1, 1] Size: [0, +oo].
585. if(nblines==comp_size){
586. poly[k]->F->p[nblines][0] = 1;
587. > poly[k]->F->p[nblines][1] = 1;
588. nblines++;
589. }
elina_poly/opt_pk_meetjoin.c:580: error: BUFFER_OVERRUN_L3
Offset: [2, +oo] Size: [0, +oo].
578. unsigned short int var = ca[k1];
579. if(!array_map_a[var]){
580. > poly[k]->F->p[nblines][k1+2] = 1;
581. nblines++;
582. }
elina_poly/opt_pk_vector.c:339: error: DEAD_STORE
The value written to &change (type char) is never used.
337. {
338. unsigned short int i;
339. > bool change = false;
340. unsigned short int size = opk->dec+intdim+realdim;
341.
elina_zones/opt_zones_predicate.c:337: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
335. opt_zones_t* o, elina_dim_t dim)
336. {
337. > opt_zones_internal_t* pr = opt_zones_init_from_manager(man,ELINA_FUNID_BOUND_DIMENSION,0);
338. elina_interval_t* r = elina_interval_alloc();
339. if(dim>=o->dim){
elina_oct/opt_oct_nary.c:338: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
336. opt_oct_t* opt_oct_narrowing(elina_manager_t* man, opt_oct_t* o1, opt_oct_t* o2)
337. {
338. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_WIDENING,0);
339. opt_oct_t* r;
340. if((o1->dim != o2->dim) && (o1->intdim != o2->intdim)){
elina_oct/opt_oct_predicate.c:343: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
341. elina_dim_t dim, elina_interval_t* i)
342. {
343. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_SAT_INTERVAL,0);
344. if(dim >= o->dim){
345. return false;
elina_oct/opt_oct_representation.c:360: error: MEMORY_LEAK
memory dynamically allocated by call to `calloc()` at line 354, column 23 is not reachable after line 360, column 9.
358. assert(pr->tmp2);
359.
360. > man = elina_manager_alloc("opt_oct","1.0 with double", pr,
361. (void (*)(void*))opt_oct_internal_free);
362.
elina_oct/opt_oct_representation.c:356: error: NULL_DEREFERENCE
pointer `pr->tmp` last assigned on line 354 could be null and is dereferenced by call to `init_array()` at line 356, column 3.
354. pr->tmp = (double *)calloc(pr->tmp_size,sizeof(double));
355. assert(pr->tmp);
356. > init_array(pr->tmp,pr->tmp_size);
357. pr->tmp2 = calloc(pr->tmp_size,sizeof(long));
358. assert(pr->tmp2);
elina_oct/opt_oct_representation.c:353: error: NULL_DEREFERENCE
pointer `pr` last assigned on line 351 could be null and is dereferenced at line 353, column 3.
351. pr = (opt_oct_internal_t*)malloc(sizeof(opt_oct_internal_t));
352. assert(pr);
353. > pr->tmp_size = 10;
354. pr->tmp = (double *)calloc(pr->tmp_size,sizeof(double));
355. assert(pr->tmp);
elina_poly/opt_pk_expandfold.c:447: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `remove_common_gen()`.
445. nF->nbrows = row;
446. nF->_sorted = false;
447. > remove_common_gen(opk,nF,0);
448. if (destructive){
449. opt_matrix_free(F);
elina_poly/opt_pk_expandfold.c:362: error: BUFFER_OVERRUN_S2
Offset: [u$84, u$85 + -1] Size: [u$84, u$85] by call to `opt_matrix_copy()`.
360. dimsup = size-1;
361. if (dimsup==0){
362. > return destructive ? F : opt_matrix_copy(F);
363. }
364. // printf("input\n");
elina_poly/opt_pk_project.c:373: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [0, +oo] by call to `gauss_project()`.
371. opt_matrix_rearrange(ocp,op->nbeq);
372. size_t proj=0;
373. > bool res = gauss_project(opk,op,tdim,&size,&proj);
374. //printf("After Gauss\n");
375.
elina_poly/opt_pk_project.c:395: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `fourier_motzkin()`.
393. opt_matrix_resize_rows(ocp,ocp->nbrows + maxadd);
394. ocp->nbrows = nbcons;
395. > res = fourier_motzkin(opk,dim,ocp);
396. if(!res){
397. opt_matrix_fprint(stdout,op->C);
elina_poly/opt_pk_project.c:395: error: BUFFER_OVERRUN_L3
Offset: [1, 1] Size: [0, +oo] by call to `fourier_motzkin()`.
393. opt_matrix_resize_rows(ocp,ocp->nbrows + maxadd);
394. ocp->nbrows = nbcons;
395. > res = fourier_motzkin(opk,dim,ocp);
396. if(!res){
397. opt_matrix_fprint(stdout,op->C);
elina_poly/opt_pk_project.c:369: error: DEAD_STORE
The value written to &nbcons (type unsigned long) is never used.
367. pdim[i] = tdim[i];
368. }
369. > size_t nbcons = ocp->nbrows;
370. size_t nbcolumns = ocp->nbcolumns;
371. opt_matrix_rearrange(ocp,op->nbeq);
elina_poly/opt_pk_project.c:367: error: NULL_DEREFERENCE
pointer `pdim` last assigned on line 365 could be null and is dereferenced at line 367, column 3.
365. elina_dim_t *pdim = (elina_dim_t *)calloc(psize,sizeof(elina_dim_t));
366. for(i=0; i < psize; i++){
367. > pdim[i] = tdim[i];
368. }
369. size_t nbcons = ocp->nbrows;
elina_zones/opt_mat.c:363: error: DEAD_STORE
The value written to &n (type unsigned short) is never used.
361. double *src = oz->mat;
362. src[0] = 0;
363. > unsigned short int n = dim + 1;
364. for(unsigned short int i = 0; i < dim; i++){
365. comp_list_t * li = find(oz->acl,i);
elina_poly/opt_pk_representation.c:382: error: UNINITIALIZED_VALUE
The value read from res was never initialized.
380. }
381. }
382. > return res;
383. }
384.
elina_poly/opt_pk_matrix.c:384: error: NULL_DEREFERENCE
pointer `qsort_tab` last assigned on line 382 could be null and is dereferenced at line 384, column 7.
382. qsort_tab = (opt_qsort_t*)malloc(mat->nbrows * sizeof(opt_qsort_t));
383. for (i=0; i<mat->nbrows; i++){
384. > qsort_tab[i].p = mat->p[i];
385. qsort_tab[i].satp = sat->p[i];
386. }
elina_zonotope/zonotope_internal.h:378: error: NULL_DEREFERENCE
pointer `tmp` last assigned on line 376 could be null and is dereferenced at line 378, column 2.
376. elina_scalar_t ** tmp = (elina_scalar_t **)malloc(4*sizeof(elina_scalar_t*));
377. for(int i=0; i < 4; i++){
378. > tmp[i] = elina_scalar_alloc();
379. }
380.
elina_linearize/elina_linearize_texpr.c:385: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_alloc()`.
383. bool exc;
384. elina_linexpr0_t* res;
385. > res = elina_linexpr0_alloc(ELINA_LINEXPR_SPARSE,0);
386. exc = elina_intlinearize_elina_texpr0_intlinear(&res,expr,discr);
387. if (exc){
elina_oct/opt_oct_nary.c:384: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
382. elina_abstract0_t* a2 )
383. {
384. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_WIDENING,0);
385. opt_oct_t* o = (opt_oct_t*) (a1->value);
386. if((man->library != a1->man->library) || (man->library != a2->man->library)){
elina_zones/opt_zones_closure.c:390: error: DEAD_STORE
The value written to &count (type int) is never used.
388. int s = 0;
389. unsigned short int n = dim+1;
390. > int count = oz->nni;
391.
392. comp_list_t * cl = acl->head;
elina_zones/opt_zones_closure.c:407: error: NULL_DEREFERENCE
pointer `ca_arr` last assigned on line 399 could be null and is dereferenced at line 407, column 3.
405. **************/
406. for(k=0; k < num_comp; k++){
407. > ca_arr[k] = to_sorted_array(cl,n);
408. /*unsigned short int * ca = ca_arr[k];
409. unsigned short int i,j;
elina_poly/opt_pk_extract.c:399: error: NULL_DEREFERENCE
pointer `interval` last assigned on line 395 could be null and is dereferenced at line 399, column 35.
397. if(op->is_bottom || !acl){
398. for (i=0; i<dim; i++){
399. > elina_interval_set_bottom(interval[i]);
400. }
401. #if defined(TIMING)
elina_poly/opt_pk_extract.c:408: error: NULL_DEREFERENCE
pointer `interval` last assigned on line 395 could be null and is dereferenced at line 408, column 36.
406. else{
407. for (i=0; i<dim; i++){
408. > elina_interval_set_top(interval[i]);
409. }
410. }
elina_oct/opt_oct_predicate.c:394: error: DEAD_STORE
The value written to &pr (type opt_oct_internal_t*) is never used.
392. elina_dim_t dim)
393. {
394. > opt_oct_internal_t* pr =
395. opt_oct_init_from_manager(man,ELINA_FUNID_IS_DIMENSION_UNCONSTRAINED,0);
396. if(dim>=o->dim){
elina_oct/opt_oct_predicate.c:395: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
393. {
394. opt_oct_internal_t* pr =
395. > opt_oct_init_from_manager(man,ELINA_FUNID_IS_DIMENSION_UNCONSTRAINED,0);
396. if(dim>=o->dim){
397. return false;
elina_oct/opt_oct_hmat.c:437: error: DEAD_STORE
The value written to &flag (type char) is never used.
435. int ind = j1 + ((i1 + 1)*(i1 + 1))/2;
436. if(m[ind]!=INFINITY){
437. > flag = false;
438. #if defined(TIMING)
439. record_timing(is_top_time);
partitions_api/array_comp_list.c:405: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [0, +oo] by call to `comp_list_deserialize()`.
403.
404. size_t head_size;
405. > acl->head = comp_list_deserialize(p + idx, acl->size, &head_size);
406. idx += head_size;
407.
partitions_api/array_comp_list.c:405: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `comp_list_deserialize()`.
403.
404. size_t head_size;
405. > acl->head = comp_list_deserialize(p + idx, acl->size, &head_size);
406. idx += head_size;
407.
partitions_api/array_comp_list.c:401: error: NULL_DEREFERENCE
pointer `acl` last assigned on line 398 could be null and is dereferenced at line 401, column 3.
399. size_t idx = 0;
400.
401. > acl->size = *(unsigned short int*)(p + idx);
402. idx += sizeof(unsigned short int);
403.
elina_zones/opt_zones_predicate.c:401: error: DEAD_STORE
The value written to &pr (type opt_zones_internal_t*) is never used.
399. elina_dim_t dim)
400. {
401. > opt_zones_internal_t* pr =
402. opt_zones_init_from_manager(man,ELINA_FUNID_IS_DIMENSION_UNCONSTRAINED,0);
403. if(dim>=o->dim){
elina_zones/opt_zones_predicate.c:402: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_zones_init_from_manager()`.
400. {
401. opt_zones_internal_t* pr =
402. > opt_zones_init_from_manager(man,ELINA_FUNID_IS_DIMENSION_UNCONSTRAINED,0);
403. if(dim>=o->dim){
404. return false;
elina_oct/opt_oct_resize.c:409: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
407. {
408.
409. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_FOLD,0);
410. opt_oct_mat_t* src;
411. opt_oct_mat_t* dst;
elina_poly/opt_pk_matrix.c:415: error: BUFFER_OVERRUN_S2
Offset: [u$8, u$9 + -1] Size: [u$8, u$9] by call to `opt_vector_copy()`.
413. opt_numint_t * src = oma->p[i];
414. opt_numint_t *dst = mat->p[i];
415. > opt_vector_copy(dst, src, oma->nbcolumns);
416. }
417. for (i=0;i<omb->nbrows; i++){
elina_poly/elina_test_poly.c:447: error: BUFFER_OVERRUN_L3
Offset: [0, +oo] Size: [0, +oo] by call to `opt_pk_fold()`.
445. fflush(stdout);
446. // apply fold operation
447. > opt_pk_array_t * oa3 = opt_pk_fold(man,false,oa2,tdim,size);
448.
449.
elina_poly/elina_test_poly.c:447: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `opt_pk_fold()`.
445. fflush(stdout);
446. // apply fold operation
447. > opt_pk_array_t * oa3 = opt_pk_fold(man,false,oa2,tdim,size);
448.
449.
elina_poly/elina_test_poly.c:422: error: NULL_DEREFERENCE
pointer `tdim` last assigned on line 421 could be null and is dereferenced at line 422, column 2.
420. unsigned short int size = dim/2;
421. elina_dim_t * tdim = (elina_dim_t *)malloc(size*sizeof(elina_dim_t));
422. > tdim[0] = dim/2;
423. for(l=1; l < size; l++){
424. tdim[size-l] = j;
elina_oct/opt_oct_representation.c:432: error: NULL_DEREFERENCE
pointer `r` last assigned on line 430 could be null and is dereferenced at line 432, column 3.
430. elina_abstract0_t* r = malloc(sizeof(elina_abstract0_t));
431. assert(r);
432. > r->value = oct;
433. r->man = elina_manager_copy(man);
434. return r;
elina_linearize/elina_linearize.c:464: error: DEAD_STORE
The value written to &iinf (type elina_scalar_t*) is never used.
462. if (!equality){
463. elina_scalar_t * isup = cst->val.interval->sup;
464. > elina_scalar_t * iinf = cst->val.interval->inf;
465. bool sup = !elina_scalar_infty(isup);
466.
elina_linearize/elina_linearize.c:465: error: DEAD_STORE
The value written to &sup (type char) is never used.
463. elina_scalar_t * isup = cst->val.interval->sup;
464. elina_scalar_t * iinf = cst->val.interval->inf;
465. > bool sup = !elina_scalar_infty(isup);
466.
467. switch (cons->constyp){
elina_poly/opt_pk_project.c:647: error: BUFFER_OVERRUN_L3
Offset: [1, 1] Size: [0, +oo].
645. opt_numint_t * dpi = dp[i];
646. dpi[0] = tpi[0];
647. > dpi[1] = tpi[1];
648. unsigned short int l = 0;
649. for(j=0; j < ncomp_size;j++){
elina_poly/opt_pk_project.c:654: error: BUFFER_OVERRUN_L3
Offset: [2, +oo] Size: [0, +oo].
652. l++;
653. }
654. > dpi[j+2] = tpi[l+2];
655. l++;
656. }
elina_poly/opt_pk_project.c:599: error: BUFFER_OVERRUN_S2
Offset: [u$46, +oo] Size: [0, +oo] by call to `opt_matrix_append_with()`.
597. //opt_poly_obtain_satC(src);
598. //}
599. > opt_matrix_append_with(src->F,F);
600. //res = opt_poly_meet_matrix(false,opk->funopt->algorithm<0,man,src,src,F);
601. //opt_poly_dual(src);
elina_poly/opt_pk_project.c:562: error: DEAD_STORE
The value written to &res (type char) is never used.
560. Project the blocks
561. **************************/
562. > bool res = false;
563. if(project){
564. if(src->C){
elina_poly/opt_pk_project.c:717: error: DEAD_STORE
The value written to &res (type char) is never used.
715.
716. opt_pk_t * tmp = opt_poly_alloc(comp_size,0);
717. > bool res = false;
718. if(project){
719. tmp->F = opt_matrix_copy(src->F);
elina_auxiliary/elina_texpr0.c:465: error: NULL_DEREFERENCE
pointer `v` last assigned on line 464 could be null and is dereferenced by call to `memset()` at line 465, column 5.
463. /* get number of distinct variables */
464. v = malloc(max);
465. > memset(v, 0, max);
466. elina_texpr0_dimlist_internal(a, v);
467. for (i=0, nb=0; i<max; i++)
elina_zonotope/zonotope_internal.h:457: error: DEAD_STORE
The value written to &mid (type int) is never used.
455. int low = 0;
456. int high = size - 1;
457. > int mid = -1;
458. while (low <= high) {
459. mid = (high + low) / 2;
elina_oct/opt_oct_transfer.c:472: error: DEAD_STORE
The value written to &p (type unsigned int) is never used.
470. opt_oct_mat_t *oo, *oo1, *oo2;
471. size_t i,j;
472. > elina_dim_t p = o->dim;
473. int inexact = 0;
474. bool respect_closure = false;
elina_auxiliary/elina_abstract0.h:461: error: NULL_DEREFERENCE
pointer `res` last assigned on line 460 could be null and is dereferenced at line 461, column 3.
459. {
460. elina_abstract0_t* res = (elina_abstract0_t*)malloc(sizeof(elina_abstract0_t));
461. > res->value = value;
462. res->man = elina_manager_copy(man);
463. return res;
elina_poly/opt_pk_expandfold.c:770: error: BUFFER_OVERRUN_L3
Offset: [2, +oo] Size: [0, +oo] by call to `opt_matrix_fold_diff_comp()`.
768. opt_matrix_t * tmp2 = poly[ind]->F;
769.
770. > poly[ind]->F = opt_matrix_fold_diff_comp(opk, destructive, src->F, fold_val,
771. ndim, size);
772. if(!destructive){
elina_poly/opt_pk_expandfold.c:592: error: DEAD_STORE
The value written to &flag2 (type char) is never used.
590. k=0, k2 =0;
591. comp_list_t * cl = acl->head;
592. > bool flag1 = false, flag2 = false;
593. opt_matrix_t * tmp;
594. while(k < num_compa){
elina_poly/opt_pk_expandfold.c:661: error: DEAD_STORE
The value written to &flag2 (type char) is never used.
659. poly[k2]->F = opt_matrix_fold_same_comp(opk,false, poly_a[k]->F, ndim, tdimk, dim_size);
660. // need to free poly[k2]->F afterwards
661. > flag2 = true;
662. tmp = poly[k2]->F;
663. }
elina_poly/opt_pk_expandfold.c:662: error: DEAD_STORE
The value written to &tmp (type opt_matrix_t*) is never used.
660. // need to free poly[k2]->F afterwards
661. flag2 = true;
662. > tmp = poly[k2]->F;
663. }
664. if(dim_size==dimsup){
elina_poly/opt_pk_expandfold.c:491: error: NULL_DEREFERENCE
pointer `op` last assigned on line 490 could be null and is dereferenced at line 491, column 5.
489. else {
490. op = (opt_pk_array_t *)malloc(sizeof(opt_pk_array_t));
491. > op->maxcols = maxcols - dimsup;
492. op->acl = NULL;
493. }
elina_poly/opt_pk_vector.c:472: error: DEAD_STORE
The value written to &res (type int) is never used.
470. {
471. unsigned short int i;
472. > int res=1;
473.
474. assert(size<=opk->maxcols);
elina_poly/opt_pk_matrix.c:519: error: BUFFER_OVERRUN_S2
Offset: [u$82, u$83 + -1] Size: [u$82, u$83] by call to `opt_vector_clear()`.
517. /* initialize last rows of mat to zero */
518. while (i<mat->nbrows){
519. > opt_vector_clear(mat->p[i], mat->nbcolumns);
520. i++;
521. }
elina_poly/opt_pk_cherni.c:571: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo].
569. //else{
570. for (i=0; i<C->nbcolumns-1; i++){
571. > F->p[i][i+1] = 1;
572. }
573. /* conversion */
elina_oct/opt_oct_nary.c:529: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
527. elina_scalar_t* epsilon)
528. {
529. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_WIDENING,0);
530. opt_oct_t* o = (opt_oct_t*) (a1->value);
531. if(man->library!=a1->man->library){
elina_linearize/elina_linearize_texpr.c:560: error: MEMORY_LEAK
memory dynamically allocated to `float_cst` by call to `malloc()` at line 557, column 37 is not reachable after line 560, column 5.
558. elina_make_float_const(23,8,127,float_cst,discr);
559. elina_linexpr0_round_float_lin(l,float_cst,discr);
560. > elina_float_const_clear(float_cst);
561. break;
562. case ELINA_RTYPE_DOUBLE:
elina_linearize/elina_linearize_texpr.c:567: error: MEMORY_LEAK
memory dynamically allocated to `float_cst` by call to `malloc()` at line 564, column 37 is not reachable after line 567, column 5.
565. elina_make_float_const(52,11,1023,float_cst,discr);
566. elina_linexpr0_round_float_lin(l,float_cst,discr);
567. > elina_float_const_clear(float_cst);
568. break;
569. case ELINA_RTYPE_EXTENDED:
elina_linearize/elina_linearize_texpr.c:576: error: MEMORY_LEAK
memory dynamically allocated to `float_cst` by call to `malloc()` at line 572, column 37 is not reachable after line 576, column 5.
574.
575. elina_linexpr0_round_float_lin(l,float_cst,discr);
576. > elina_float_const_clear(float_cst);
577. break;
578. case ELINA_RTYPE_QUAD:
elina_linearize/elina_linearize_texpr.c:584: error: MEMORY_LEAK
memory dynamically allocated to `float_cst` by call to `malloc()` at line 581, column 37 is not reachable after line 584, column 5.
582. elina_make_float_const(112,15,16383,float_cst,discr);
583. elina_linexpr0_round_float_lin(l,float_cst,discr);
584. > elina_float_const_clear(float_cst);
585. break;
586. default:
elina_poly/opt_pk_test.c:583: error: DEAD_STORE
The value written to &opk (type opt_pk_internal_t*) is never used.
581. start_timing();
582. #endif
583. > opt_pk_internal_t* opk = opt_pk_init_from_manager(man,ELINA_FUNID_IS_LEQ);
584. array_comp_list_t * acla = oa->acl;
585. if(oa->is_bottom || !acla){
elina_poly/opt_pk_widening.c:596: error: BUFFER_OVERRUN_S2
Offset: [u$10, u$11] Size: [0, +oo] by call to `opt_poly_widening_gen()`.
594. opt_pk_array_t *op;
595. op = opt_pk_array_alloc(NULL,NULL,oa->maxcols);
596. > opt_poly_widening_gen(man,op,oa,ob);
597. #if defined(TIMING)
598. record_timing(widening_time);
elina_oct/opt_oct_closure_comp_sparse.c:603: error: BUFFER_OVERRUN_L3
Offset: [2, +oo] Size: [0, +oo] by call to `floyd_warshall_comp_dense()`.
601. double sparsity = calculate_comp_sparsity(oo,cl,dim);
602. if(sparsity < sparse_threshold){
603. > floyd_warshall_comp_dense(oo,cl,dim);
604. cl = cl->next;
605. continue;
elina_linearize/elina_linearize_texpr.c:618: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_reinit()`.
616. }
617. elina_interval_set_bottom(cst->val.interval);
618. > if (l->size>0) elina_linexpr0_reinit(l,0);
619. }
620. else if (l->size==0){
elina_poly/opt_pk_test.c:613: error: DEAD_STORE
The value written to &opk (type opt_pk_internal_t*) is never used.
611. bool opt_pk_is_eq(elina_manager_t* man, opt_pk_array_t* oa, opt_pk_array_t* ob)
612. {
613. > opt_pk_internal_t* opk = opt_pk_init_from_manager(man,ELINA_FUNID_IS_EQ);
614. array_comp_list_t * acla = oa->acl;
615. array_comp_list_t * aclb = ob->acl;
elina_poly/opt_pk_cherni.c:718: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `opt_cherni_simplify()`.
716. //opt_matrix_fprint(stdout,C);
717. //fflush(stdout);
718. > op->nbeq = opt_cherni_simplify(opk,C,F,op->satF,op->nbline);
719. //printf("simplify output\n");
720. //opt_matrix_fprint(stdout,C);
elina_poly/opt_pk_cherni.c:650: error: DEAD_STORE
The value written to &nbcols (type unsigned long) is never used.
648. satC = op->satC;
649. nbrows = C->nbrows;
650. > nbcols = C->nbcolumns;
651.
652. assert(C!=NULL && F!=NULL && satC!=NULL);
elina_poly/opt_pk_cherni.c:649: error: DEAD_STORE
The value written to &nbrows (type unsigned long) is never used.
647. F = op->F;
648. satC = op->satC;
649. > nbrows = C->nbrows;
650. nbcols = C->nbcolumns;
651.
elina_linearize/elina_linearize.c:661: error: NULL_DEREFERENCE
pointer `coeff` last assigned on line 638 could be null and is dereferenced at line 661, column 12.
659. continue;
660. }
661. > peq = (coeff->discr==ELINA_COEFF_SCALAR);
662. elina_interval_t * interval = env[dim];
663. elina_scalar_t * inf = interval->inf;
elina_linearize/elina_linearize_texpr.c:711: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_alloc()`.
709. case ELINA_TEXPR_SUB:
710. i1 = elina_interval_alloc();
711. > l1 = elina_linexpr0_alloc(ELINA_LINEXPR_SPARSE,0);
712. //elina_linexpr0_init(&l1,0);
713. /* intlinearize arguments */
elina_oct/opt_oct_nary.c:675: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `opt_oct_init_from_manager()`.
673. elina_scalar_t* epsilon)
674. {
675. > opt_oct_internal_t* pr = opt_oct_init_from_manager(man,ELINA_FUNID_WIDENING,0);
676. opt_oct_t* a = (opt_oct_t*) (a1->value);
677. if((man->library!=a1->man->library) || (man->library!=a2->man->library)){
elina_zonotope/zonotope_internal.h:677: error: DEAD_STORE
The value written to &p (type _zonotope_aaterm_t*) is never used.
675. {
676. zonotope_aaterm_t *p, *q;
677. > p = q = NULL;
678.
679. obj** array = NULL;
elina_zonotope/zonotope_internal.h:756: error: NULL_DEREFERENCE
pointer `*array[i]` last assigned on line 755 could be null and is dereferenced at line 756, column 6.
754.
755. array[i] = (obj*)calloc(1,sizeof(obj));
756. > array[i]->coeff = elina_interval_alloc();
757. array[i]->itv = elina_interval_alloc();
758. if (z->hypercube) {
elina_zonotope/zonotope_internal.h:755: error: NULL_DEREFERENCE
pointer `array` last assigned on line 681 could be null and is dereferenced at line 755, column 6.
753. } else if (p) {
754.
755. > array[i] = (obj*)calloc(1,sizeof(obj));
756. array[i]->coeff = elina_interval_alloc();
757. array[i]->itv = elina_interval_alloc();
elina_auxiliary/elina_texpr0.c:688: error: NULL_DEREFERENCE
pointer `dst` last assigned on line 687 could be null and is dereferenced at line 688, column 10.
686. if (a->val.dim!=dim) return;
687. dst = elina_texpr0_copy(dst);
688. > *a = *dst;
689. free(dst);
690. return;
elina_poly/opt_pk_vector.c:699: error: NULL_DEREFERENCE
pointer `res` last assigned on line 697 could be null and is dereferenced at line 699, column 2.
697. opt_numint_t * res = opt_vector_alloc(size);
698. unsigned short int i;
699. > res[0] = ov[0];
700. for(i = opk->dec - 1; i < size; i++){
701. res[i] = -ov[i];
elina_poly/opt_pk_assign.c:777: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [0, +oo].
775. unsigned short int ind = is_comp_list_included(acl,clb_arr[i],maxcols);
776. rmapb[i] = ind;
777. > expr_array[i] = copy_linexpr0_with_comp_list(opk,texpr[i],ca_arr[ind],comp_size_map[ind]);
778. nbmapb[ind]++;
779. }
elina_poly/opt_pk_assign.c:885: error: BUFFER_OVERRUN_L3
Offset: [1, 1] Size: [0, +oo].
883. if(nblines==comp_size){
884. poly[k]->F->p[nblines][0] = 1;
885. > poly[k]->F->p[nblines][1] = 1;
886. nblines++;
887. }
elina_poly/opt_pk_assign.c:878: error: BUFFER_OVERRUN_L3
Offset: [2, +oo] Size: [0, +oo].
876. unsigned short int var = ca[k1];
877. if(!array_map_a[var]){
878. > poly[k]->F->p[nblines][k1+2] = 1;
879. nblines++;
880. }
elina_poly/opt_pk_assign.c:729: error: DEAD_STORE
The value written to &intdim (type unsigned short) is never used.
727. unsigned short int num_compa = acla->size;
728. unsigned short int maxcols = oa->maxcols;
729. > unsigned short int intdim = maxcols - 2;
730. /* Return empty if empty */
731. if (oa->is_bottom || !acla){
elina_poly/opt_pk_assign.c:739: error: DEAD_STORE
The value written to &nbcols (type unsigned long) is never used.
737.
738. /* Convert linear expressions */
739. > nbcols = oa->maxcols;
740.
741. array_comp_list_t * aclb = create_array_comp_list();
elina_poly/opt_pk_assign.c:749: error: NULL_DEREFERENCE
pointer `clb_arr` last assigned on line 742 could be null and is dereferenced at line 749, column 6.
747. insert_comp(clb,tdim[i]+opk->dec);
748. }
749. > clb_arr[i] = copy_comp_list(clb);
750. insert_comp_list_with_union(aclb,clb,maxcols);
751. }
elina_poly/opt_pk_matrix.c:724: error: DEAD_STORE
The value written to &nbcolumns (type unsigned short) is never used.
722. size_t i=0,k=0;
723. size_t nbcons = oc->nbrows;
724. > unsigned short int nbcolumns = oc->nbcolumns;
725. opt_numint_t **p = oc->p;
726. while((i<nbcons) && (k < nbeq)){
elina_poly/opt_pk_matrix.c:756: error: DEAD_STORE
The value written to &p (type long long**) is never used.
754. }
755. i=0;
756. > opt_numint_t **p = F->p;
757. while((i<nbgens) && (k < num_vertex)){
758.
elina_poly/opt_pk_matrix.c:751: error: NULL_DEREFERENCE
pointer `vmap` last assigned on line 748 could be null and is dereferenced at line 751, column 4.
749. for(i=0; i < nbgens; i++){
750. if(is_vertex(F->p[i])){
751. > vmap[i] = 1;
752. num_vertex++;
753. }
elina_poly/opt_pk_test.c:765: error: DEAD_STORE
The value written to &nbconsa (type unsigned long) is never used.
763. unsigned short int comp_size = cla->size;
764. opt_matrix_t * src_mat = src->F;
765. > size_t nbconsa = src_mat->nbrows;
766. opt_numint_t ** src_p = src_mat->p;
767. opt_numint_t ** dst_p = F->p;
elina_poly/opt_pk_test.c:761: error: NULL_DEREFERENCE
pointer `ca_a_arr` last assigned on line 754 could be null and is dereferenced at line 761, column 3.
759. }
760. opt_pk_t * src = poly_a[k];
761. > ca_a_arr[k] = to_sorted_array(cla,maxcols);
762. unsigned short int * ca_a = ca_a_arr[k];
763. unsigned short int comp_size = cla->size;
elina_poly/opt_pk_meetjoin.c:758: error: NULL_DEREFERENCE
pointer `map1` last assigned on line 755 could be null and is dereferenced at line 758, column 3.
756. char * map2 = (char *)calloc(size - 2, sizeof(char));
757. for(j = opk->dec; j < size; j++){
758. > map1[j-2] = (v1[j]> 0);
759. map2[j-2] = (v2[j]> 0);
760. }
elina_poly/opt_pk_meetjoin.c:759: error: NULL_DEREFERENCE
pointer `map2` last assigned on line 756 could be null and is dereferenced at line 759, column 3.
757. for(j = opk->dec; j < size; j++){
758. map1[j-2] = (v1[j]> 0);
759. > map2[j-2] = (v2[j]> 0);
760. }
761. for(j=0; j < size-2; j++){
elina_poly/opt_pk_meetjoin.c:778: error: NULL_DEREFERENCE
pointer `map1` last assigned on line 775 could be null and is dereferenced at line 778, column 3.
776. char * map2 = (char *)calloc(size - 2, sizeof(char));
777. for(j = opk->dec; j < size; j++){
778. > map1[j-2] = (v1[j]> 0);
779. map2[j-2] = (v2[j]> 0);
780. }
elina_poly/opt_pk_meetjoin.c:779: error: NULL_DEREFERENCE
pointer `map2` last assigned on line 776 could be null and is dereferenced at line 779, column 3.
777. for(j = opk->dec; j < size; j++){
778. map1[j-2] = (v1[j]> 0);
779. > map2[j-2] = (v2[j]> 0);
780. }
781. for(j=0; j < size-2; j++){
elina_poly/opt_pk_matrix.c:784: error: DEAD_STORE
The value written to &nbcons (type unsigned long) is never used.
782. **************************************************/
783. size_t opt_matrix_gauss_elimination(opt_pk_internal_t *opk, opt_matrix_t *oc, size_t nbeq){
784. > size_t nbcons = oc->nbrows;
785. unsigned short int nbcolumns = oc->nbcolumns;
786. size_t i, j;
elina_poly/opt_pk_representation.c:814: error: DEAD_STORE
The value written to &nbconsa (type unsigned long) is never used.
812. opt_matrix_t * src_mat = src->F;
813. opt_matrix_t * dst_mat = dst->F;
814. > size_t nbconsa = src_mat->nbrows;
815. opt_numint_t ** src_p = src_mat->p;
816. opt_numint_t ** dst_p = dst_mat->p;
elina_poly/opt_pk_meetjoin.c:1099: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [0, +oo].
1097. nbeqmapa[inda] = nbeqmapa[inda] + oak->nbeq;
1098. unsigned short int *ca = to_sorted_array(cla,maxcols);
1099. > unsigned short int * ind_map = map_index(ca,ca_arr[inda],cla->size);
1100. unsigned short int k1;
1101. for(k1=0; k1 < cla->size; k1++){
elina_poly/opt_pk_meetjoin.c:1420: error: BUFFER_OVERRUN_L3
Offset: [0, 0] Size: [0, 1].
1418.
1419. unsigned short int comp_size = clp->size;
1420. > poly[0] = opt_poly_alloc(comp_size,0);
1421. poly[0]->F = opt_matrix_alloc(nbF + 2*(num_vertex1a + num_vertex2b),comp_size+2,false);
1422. poly[0]->C = opt_matrix_alloc(nbC,comp_size+2,false);
elina_poly/opt_pk_meetjoin.c:1664: error: BUFFER_OVERRUN_L3
Offset: [0, 1] Size: [1, 2].
1662. unsigned short int * ind_map2 = map_index(ca2,ca,rem_size);
1663. is_pos = false;
1664. > poly[num_comp_res] = opt_poly_alloc(rem_size,0);
1665. poly[num_comp_res]->C = opt_matrix_alloc(C->nbrows+1,rem_size+opk->dec,false);
1666. poly[num_comp_res]->nbeq = split_matrix(opk,poly[num_comp_res]->C,C,ind_map2,rem_size, &is_pos);
elina_poly/opt_pk_meetjoin.c:1652: error: BUFFER_OVERRUN_L3
Offset: [1, +oo] Size: [0, +oo] by call to `remove_common_gen()`.
1650. bool is_pos1 = false;
1651. poly[0]->nbline = split_matrix(opk,poly[0]->F,F,ind_map1,max_finest_cl->size, &is_pos1);
1652. > size_t lines_removed = remove_common_gen(opk,poly[0]->F,0);
1653. //remove_positivity_constraint(opk,poly[0]->C);
1654. poly[0]->nbline = poly[0]->nbline - lines_removed;
elina_poly/opt_pk_meetjoin.c:1649: error: DEAD_STORE
The value written to &nbrows (type unsigned long) is never used.
1647. poly[0]->F = opt_matrix_alloc(F->nbrows,max_finest_cl->size+opk->dec,false);
1648. poly[0]->nbeq = split_matrix(opk,poly[0]->C,C,ind_map1,max_finest_cl->size, &is_pos);
1649. > size_t nbrows = poly[0]->C->nbrows;
1650. bool is_pos1 = false;
1651. poly[0]->nbline = split_matrix(opk,poly[0]->F,F,ind_map1,max_finest_cl->size, &is_pos1);
elina_poly/opt_pk_meetjoin.c:1667: error: DEAD_STORE
The value written to &nbrows (type unsigned long) is never used.
1665. poly[num_comp_res]->C = opt_matrix_alloc(C->nbrows+1,rem_size+opk->dec,false);
1666. poly[num_comp_res]->nbeq = split_matrix(opk,poly[num_comp_res]->C,C,ind_map2,rem_size, &is_pos);
1667. > nbrows = poly[num_comp_res]->C->nbrows;
1668.
1669. poly[num_comp_res]->F = opt_matrix_alloc(F->nbrows,rem_size+opk->dec,false);
elina_oct/opt_oct_hmat.c:869: error: DEAD_STORE
The value written to &n (type int) is never used.
867. double *m2 = oo2->mat;
868. int size = 2*dim*(dim + 1);
869. > int n = 2*dim;
870. if(!oo1->is_dense && !oo2->is_dense){
871. /*****
elina_zonotope/zonotope_internal.h:867: error: DEAD_STORE
The value written to &addconsnsym (type char) is never used.
865. uint_t size = zonotope_noise_symbol_cons_get_dimension(pr, z);
866. uint_t dim = 0;
867. > bool addconsnsym = false;
868.
869. /* resize nsymcons array if needed */
elina_linearize/elina_linearize.c:941: error: DEAD_STORE
The value written to &penv (type elina_interval_t**) is never used.
939. bool exact;
940. assert(!elina_abstract0_is_bottom(man,abs));
941. > penv = elina_abstract0_to_box(man,abs);
942. exact = man->result.flag_exact;
943. *pdim = elina_abstract0_dimension(man,abs);
elina_auxiliary/elina_linexpr0.c:982: error: NULL_DEREFERENCE
pointer `coeff1` last assigned on line 966 could be null and is dereferenced by call to `elina_coeff_cmp()` at line 982, column 13.
980. if (dim1==dim2){
981. i1++; i2++;
982. > res = elina_coeff_cmp(coeff1,coeff2);
983. }
984. else if (dim1<dim2){
elina_auxiliary/elina_linexpr0.c:986: error: NULL_DEREFERENCE
pointer `coeff1` last assigned on line 966 could be null and is dereferenced by call to `elina_coeff_cmp()` at line 986, column 13.
984. else if (dim1<dim2){
985. i1++;
986. > res = elina_coeff_cmp(coeff1,coeffzero);
987. }
988. else { /* if (dim2<dim1) */
elina_zonotope/zonotope_internal.h:950: error: DEAD_STORE
The value written to &ok (type char) is never used.
948. elina_interval_t *sum = elina_interval_alloc();
949. elina_interval_t *itv = elina_interval_alloc();
950. > bool ok = false;
951. //printf("aff\n");
952. //zonotope_aff_fprint(pr,stdout,expr);
elina_zonotope/zonotope_internal.h:976: error: DEAD_STORE
The value written to &ok (type char) is never used.
974. elina_interval_set_top(expr->itv);
975. }
976. > ok = false;
977. elina_interval_set_double(sum,0, 0);
978. break;
elina_poly/opt_pk_vector.c:953: error: NULL_DEREFERENCE
pointer `res` last assigned on line 951 could be null and is dereferenced at line 953, column 2.
951. opt_numint_t * res = (opt_numint_t *)calloc(comp_size+2,sizeof(opt_numint_t));
952. unsigned short int i;
953. > res[0] = q[0];
954. res[1] = q[1];
955. for(i=2; i < size; i++){
elina_linearize/elina_linearize_texpr.c:978: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_alloc()`.
976. elina_interval_t** env = NULL;
977. elina_dimension_t dim = {0,0};
978. > elina_linexpr0_t* res = elina_linexpr0_alloc(ELINA_LINEXPR_SPARSE,0);
979. size_t i, size;
980. if (pexact) *pexact = false;
elina_poly/opt_pk_vector.c:1002: error: NULL_DEREFERENCE
pointer `res` last assigned on line 999 could be null and is dereferenced at line 1002, column 4.
1000. for(i=1; i < size; i++){
1001. if(ov[i]!=0){
1002. > res[s+1] = i;
1003. s++;
1004. }
elina_linearize/elina_linearize_texpr.c:1033: error: NULL_DEREFERENCE
pointer `res` last assigned on line 1031 could be null and is dereferenced at line 1033, column 5.
1031. res = malloc(size*sizeof(elina_linexpr0_t*));
1032. for (i=0; i<size; i++){
1033. > res[i] = elina_linexpr0_alloc(ELINA_LINEXPR_SPARSE,0);
1034. if (elina_texpr0_is_interval_linear(texpr0[i])){
1035. elina_intlinearize_elina_texpr0_intlinear(&res[i], texpr0[i],discr);
elina_linearize/elina_linearize.c:1037: error: DEAD_STORE
The value written to &exact (type char) is never used.
1035. res.p[i] = elina_lincons0_copy(&array->p[i]);
1036. }
1037. > exact = elina_quasilinearize_alloc(man,abs,&env,&dim);
1038. exact = quasilinearize_elina_lincons0_array(&res,&env,meet,discr);
1039. if (linearize)
elina_linearize/elina_linearize.c:1038: error: DEAD_STORE
The value written to &exact (type char) is never used.
1036. }
1037. exact = elina_quasilinearize_alloc(man,abs,&env,&dim);
1038. > exact = quasilinearize_elina_lincons0_array(&res,&env,meet,discr);
1039. if (linearize)
1040. linearize_elina_lincons0_array(&res,meet, discr);
elina_poly/opt_pk_vector.c:1065: error: NULL_DEREFERENCE
pointer `rat` last assigned on line 1064 could be null and is dereferenced at line 1065, column 3.
1063. elina_coeff_t *coeff, *cst;
1064. elina_rat_t* rat = (elina_rat_t *)malloc(sizeof(elina_rat_t));
1065. > rat->n = 1;
1066. rat->d = 1;
1067. elina_rat_t * prod1 = (elina_rat_t *)malloc(sizeof(elina_rat_t));
elina_oct/opt_oct_hmat.c:1103: error: DEAD_STORE
The value written to &n (type int) is never used.
1101.
1102. int size = 2*dim*(dim + 1);
1103. > int n = 2*dim;
1104. if((!oo1->is_dense) || (!oo2->is_dense)){
1105. /******
elina_poly/opt_pk_representation.c:1144: error: BUFFER_OVERRUN_L3
Offset: [-1, +oo] Size: [0, +oo] by call to `quasi_removal()`.
1142. opt_matrix_t * oc = op->C;
1143. if(oc){
1144. > quasi_removal(opk,op);
1145. size_t nbeq = op->nbeq;
1146. size_t nbcons = oc->nbrows;
elina_linearize/elina_linearize_texpr.c:1174: error: INFERBO_ALLOC_IS_ZERO
Alloc: [0, 0] by call to `elina_linexpr0_alloc()`.
1172. elina_lincons0_t res;
1173. size_t i, size;
1174. > elina_linexpr0_t *linexpr0 = elina_linexpr0_alloc(ELINA_LINEXPR_SPARSE,0);
1175. elina_scalar_t *scalar = elina_scalar_alloc();
1176. res.constyp = cons->constyp;
elina_oct/opt_oct_hmat.c:1272: error: NULL_DEREFERENCE
pointer `map` last assigned on line 1217 could be null and is dereferenced at line 1272, column 5.
1270. for(int i = 0; i < dim; i++){
1271. if((l < nb_pos) && (i==pos[l])){
1272. > map[i] = new_dim;
1273. l++;
1274. }
elina_oct/opt_oct_hmat.c:1276: error: NULL_DEREFERENCE
pointer `map` last assigned on line 1217 could be null and is dereferenced at line 1276, column 5.
1274. }
1275. else{
1276. > map[i] = i - l;
1277. }
1278. }
elina_poly/opt_pk_representation.c:1220: error: DEAD_STORE
The value written to &maxcols (type unsigned short) is never used.
1218. unsigned short int num_comp = acl->size;
1219. opt_pk_t ** poly = o->poly;
1220. > unsigned short int maxcols = o->maxcols;
1221. unsigned short int k;
1222. for(k=0; k < num_comp; k++){
elina_poly/opt_pk_representation.c:1210: error: DEAD_STORE
The value written to &opk (type opt_pk_internal_t*) is never used.
1208. //printf("canonicalize\n");
1209. //fflush(stdout);
1210. > opt_pk_internal_t *opk = opt_pk_init_from_manager(man,ELINA_FUNID_CANONICALIZE);
1211. array_comp_list_t *acl = o->acl;
1212. if(o->is_bottom || !acl){
elina_poly/opt_pk_matrix.c:1299: error: NULL_DEREFERENCE
pointer `inf` last assigned on line 1298 could be null and is dereferenced by call to `elina_rat_set_infty()` at line 1299, column 3.
1297. assert(opk->dec+dim<of->nbcolumns);
1298. elina_rat_t *inf = (elina_rat_t *)malloc(sizeof(elina_rat_t));
1299. > elina_rat_set_infty(inf,1);
1300. elina_rat_t *sup = (elina_rat_t *)malloc(sizeof(elina_rat_t));
1301. elina_rat_set_infty(sup,-1);
elina_poly/opt_pk_matrix.c:1301: error: NULL_DEREFERENCE
pointer `sup` last assigned on line 1300 could be null and is dereferenced by call to `elina_rat_set_infty()` at line 1301, column 3.
1299. elina_rat_set_infty(inf,1);
1300. elina_rat_t *sup = (elina_rat_t *)malloc(sizeof(elina_rat_t));
1301. > elina_rat_set_infty(sup,-1);
1302. index = opk->dec+dim;
1303. for (i=0; i<of->nbrows; i++){
elina_poly/opt_pk_matrix.c:1435: error: NULL_DEREFERENCE
pointer `prod1` last assigned on line 1399 could be null and is dereferenced by call to `elina_rat_min()` at line 1435, column 9.
1433. }
1434. else {
1435. > elina_rat_min(inf,inf,prod1);
1436. elina_rat_max(sup,sup,prod2);
1437. }
elina_poly/opt_pk_matrix.c:1414: error: NULL_DEREFERENCE
pointer `prod1` last assigned on line 1399 could be null and is dereferenced by call to `elina_rat_sgn()` at line 1414, column 6.
1412. else if (opt_numint_sgn(F->p[i][opt_polka_cst])==0){
1413. // ray
1414. > if (elina_rat_sgn(prod1)!=0 || elina_rat_sgn(prod2)!=0){
1415. if (elina_rat_sgn(prod1)>0){
1416. // [inf,sup]>0
elina_poly/opt_pk_matrix.c:1414: error: NULL_DEREFERENCE
pointer `prod2` last assigned on line 1400 could be null and is dereferenced by call to `elina_rat_sgn()` at line 1414, column 33.
1412. else if (opt_numint_sgn(F->p[i][opt_polka_cst])==0){
1413. // ray
1414. > if (elina_rat_sgn(prod1)!=0 || elina_rat_sgn(prod2)!=0){
1415. if (elina_rat_sgn(prod1)>0){
1416. // [inf,sup]>0
elina_poly/opt_pk_representation.c:1432: error: BUFFER_OVERRUN_L3
Offset: [52, +oo] Size: [5, +oo] by call to `opt_pk_array_serialize_common()`.
1430. buf.size = opt_pk_array_serialize_common(NULL, oa, true);
1431. buf.ptr = malloc(buf.size);
1432. > opt_pk_array_serialize_common(buf.ptr, oa, false);
1433. return buf;
1434. }
elina_poly/opt_pk_representation.c:1433: error: MEMORY_LEAK
memory dynamically allocated by call to `malloc()` at line 1431, column 13 is not reachable after line 1433, column 3.
1431. buf.ptr = malloc(buf.size);
1432. opt_pk_array_serialize_common(buf.ptr, oa, false);
1433. > return buf;
1434. }
1435.
elina_poly/opt_pk_representation.c:1440: error: NULL_DEREFERENCE
pointer `oak` last assigned on line 1437 could be null and is dereferenced at line 1440, column 3.
1438. size_t idx = 0;
1439.
1440. > oak->intdim = *(unsigned short int*)(p + idx);
1441. idx += sizeof(unsigned short int);
1442.
elina_poly/opt_pk_matrix.c:1458: error: DEAD_STORE
The value written to &dimsup (type unsigned short) is never used.
1456. unsigned short int j,k,dimsup;
1457. unsigned short int nbcolumns = oc->nbcolumns;
1458. > dimsup = dimchange->intdim + dimchange->realdim;
1459. size_t count = 0;
1460. for (i=0; i< nbrows; i++){
elina_zones/opt_mat.c:1509: error: DEAD_STORE
The value written to &count (type int*) is never used.
1507. m[ind] = val1;
1508. if(m[ind]!=INFINITY){
1509. > *count++;
1510. }
1511. }
elina_zonotope/zonotope_internal.h:1504: error: NULL_DEREFERENCE
pointer `pr` last assigned on line 1502 could be null and is dereferenced at line 1504, column 5.
1502. zonotope_internal_t* pr = (zonotope_internal_t*)malloc(sizeof(zonotope_internal_t));
1503. //pr->itv = elina_internal_alloc();
1504. > pr->dim = 0;
1505. pr->funid = ELINA_FUNID_UNKNOWN;
1506. pr->man = NULL;
elina_poly/opt_pk_representation.c:1509: error: NULL_DEREFERENCE
pointer `poly` last assigned on line 1505 could be null and is dereferenced at line 1509, column 5.
1507. for(unsigned short int i = 0; i < length; i++){
1508. size_t pk_size;
1509. > poly[i] = opt_pk_deserialize(p + idx, &pk_size);
1510. idx += pk_size;
1511. }
elina_poly/opt_pk_matrix.c:1521: error: NULL_DEREFERENCE
pointer `map` last assigned on line 1515 could be null and is dereferenced at line 1521, column 4.
1519. opt_numint_t *pi = oc->p[i];
1520. if(opt_vector_is_positivity_constraint(opk,pi,nbcolumns)){
1521. > map[i] = 1;
1522. break;
1523. }
elina_poly/opt_pk_representation.c:1520: error: NULL_DEREFERENCE
pointer `oa` last assigned on line 1517 could be null and is dereferenced at line 1520, column 3.
1518. size_t idx = 0;
1519.
1520. > oa->is_bottom = *(bool*)(p + idx);
1521. idx += sizeof(bool);
1522.
elina_poly/opt_pk_matrix.c:1639: error: NULL_DEREFERENCE
pointer `oc->p` last assigned on line 1637 could be null and is dereferenced at line 1639, column 5.
1637. oc->p = (opt_numint_t**)malloc(sizeof(opt_numint_t*) * oc->_maxrows);
1638. for(size_t i = 0; i < oc->_maxrows; i++){
1639. > oc->p[i] = (opt_numint_t*)malloc(sizeof(opt_numint_t) * oc->nbcolumns);
1640. for(unsigned short int j = 0; j < oc->nbcolumns; j++){
1641. oc->p[i][j] = *(opt_numint_t*)(p + idx);
elina_poly/opt_pk_matrix.c:1625: error: NULL_DEREFERENCE
pointer `oc` last assigned on line 1622 could be null and is dereferenced at line 1625, column 3.
1623. size_t idx = 0;
1624.
1625. > oc->nbrows = *(size_t*)(p + idx);
1626. idx += sizeof(size_t);
1627.
elina_linearize/elina_linearize_texpr.c:1678: error: BUFFER_OVERRUN_S2
Offset: [u$42, u$43 + -1] Size: [u$42, u$43] by call to `elina_intlinearize_elina_tcons0_array()`.
1676. res.size = array->size;
1677.
1678. > elina_intlinearize_elina_tcons0_array(&res,
1679. array,env, dim.intdim,discr);
1680.
elina_poly/opt_pk_meetjoin.c:1820: error: BUFFER_OVERRUN_L3
Offset: [1, 1] Size: [0, +oo].
1818. opt_numint_t * dst_pi = dst_p[i1];
1819. dst_pi[0] = src_pi[0];
1820. > dst_pi[1] = src_pi[1];
1821. unsigned short int l = 0;
1822. for(j = 0; j < comp_size; j++){
elina_poly/opt_pk_meetjoin.c:1826: error: BUFFER_OVERRUN_L3
Offset: [2, +oo] Size: [0, +oo].
1824. l++;
1825. }
1826. > dst_pi[l+2] = src_pi[j+2];
1827. l++;
1828. }
elina_oct/opt_oct_hmat.c:2006: error: DEAD_STORE
The value written to &flag (type char) is never used.
2004. *exact = 1;
2005. int max_nni = 2*dim*(dim+1);
2006. > bool flag = is_int_flag ? 1 : 0;
2007.
2008. int *ind1, *ind2;
elina_zones/opt_mat.c:2176: error: DEAD_STORE
The value written to &sparsity (type double) is never used.
2174. bool (*incr_closure)(opt_zones_mat_t * ,...);
2175. double size = n*n;
2176. > double sparsity = 1- ((double)(oz->nni)/size);
2177.
2178. /******
Summary of the reports
NULL_DEREFERENCE: 190
DEAD_STORE: 127
INFERBO_ALLOC_IS_ZERO: 67
BUFFER_OVERRUN_L3: 46
BUFFER_OVERRUN_S2: 16
MEMORY_LEAK: 11
UNINITIALIZED_VALUE: 9
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment