CGAL users discussion list

[ax487 <>]

Hello all,

I believe that I have found a bug in the arrangement implementation of
CGAL 4.2, specifically in the file Arrangement_on_surface_2_impl.h,
line 1142:

    DHalfedge  *prev1 = _locate_around_vertex (_vertex (v1), cv, ind1);
    CGAL_assertion_code (
      DFace      *f1 = prev1->is_on_inner_ccb() ?
prev1->inner_ccb()->face() :

prev1->outer_ccb()->face();
    );

    CGAL_assertion_msg
      (prev1 != NULL,
       "The inserted curve cannot be located in the arrangement.");


The problem seems to be that prev1->is_on_inner_ccb() is called before
it is made sure that prev1 != NULL. This results in a segfault if prev1
== NULL (which does happen). I would appreciate it if you could just
interchange the assertion messsage and the assertion code which resolves
the issue nicely.

ax487