CGAL users discussion list

[Philipp Moeller <>]

mastair 
<>
 writes:

> So apparently the problem is with BOOST_PP_REPEAT_FROM_TO(1, 9,
> CGAL_CONSTRUCTION_OPERATOR, _) on line 1381 of lazy.h.

That simply expands to a bunch of overloaded operator(). The new'd
pointer is handed off to a ref-counted class.

>
>
> Any idea?

It's not clear to me if Lazy leaks or the constructor wrapped by
Lazy. It would be a good try to run the program with a non-lazy exact
kernel and see if the checker comes up with the same problem.