diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2010-06-25 18:29:14 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-06-26 17:37:39 +0200 |
commit | 0a705fdb044cee24a70a37beef29f524a495486b (patch) | |
tree | 9b6d92530d2c557db6368f9ee65de32515f5af92 /isl_test.c | |
parent | 2a018996bc5ecc39929ba7b8108b748ede2b4c4b (diff) | |
download | isl-0a705fdb044cee24a70a37beef29f524a495486b.tar.gz isl-0a705fdb044cee24a70a37beef29f524a495486b.tar.bz2 isl-0a705fdb044cee24a70a37beef29f524a495486b.zip |
isl_test.c: avoid NULL pointer dereference
Diffstat (limited to 'isl_test.c')
-rw-r--r-- | isl_test.c | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -152,7 +152,7 @@ void test_div(struct isl_ctx *ctx) isl_constraint_set_coefficient(c, isl_dim_div, pos, v); bset = isl_basic_set_add_constraint(bset, c); - assert(bset->n_div == 1); + assert(bset && bset->n_div == 1); isl_basic_set_free(bset); /* test 2 */ @@ -181,7 +181,7 @@ void test_div(struct isl_ctx *ctx) isl_constraint_set_coefficient(c, isl_dim_div, pos, v); bset = isl_basic_set_add_constraint(bset, c); - assert(bset->n_div == 1); + assert(bset && bset->n_div == 1); isl_basic_set_free(bset); /* test 3 */ @@ -210,7 +210,7 @@ void test_div(struct isl_ctx *ctx) isl_constraint_set_coefficient(c, isl_dim_div, pos, v); bset = isl_basic_set_add_constraint(bset, c); - assert(bset->n_div == 1); + assert(bset && bset->n_div == 1); isl_basic_set_free(bset); /* test 4 */ @@ -262,7 +262,7 @@ void test_div(struct isl_ctx *ctx) isl_constraint_set_coefficient(c, isl_dim_set, 1, v); bset = isl_basic_set_add_constraint(bset, c); - assert(bset->n_div == 0); + assert(bset && bset->n_div == 0); isl_basic_set_free(bset); /* test 6 */ @@ -285,7 +285,7 @@ void test_div(struct isl_ctx *ctx) isl_constraint_set_coefficient(c, isl_dim_set, 1, v); bset = isl_basic_set_add_constraint(bset, c); - assert(bset->n_div == 1); + assert(bset && bset->n_div == 1); isl_basic_set_free(bset); /* test 7 */ @@ -316,7 +316,7 @@ void test_div(struct isl_ctx *ctx) /* Test disabled for now */ /* - assert(bset->n_div == 1); + assert(bset && bset->n_div == 1); */ isl_basic_set_free(bset); @@ -348,7 +348,7 @@ void test_div(struct isl_ctx *ctx) /* Test disabled for now */ /* - assert(bset->n_div == 1); + assert(bset && bset->n_div == 1); */ isl_basic_set_free(bset); |