Crash in Boolean operation for unclosed polyhedrons

[GoogleCodeExporter]

What steps will reproduce the problem?
1. load a1.ply and a2.ply to poly1 and poly2;
2.  run carve::mesh::MeshSet<3> *is_poly = 
csg.compute(&poly1,&poly2,csg.A_MINUS_B);
and crashed at line 899 of triangulator.cpp:
      CARVE_FAIL("didn't manage to link up hole!");

3. the file a1.ply and a2.ply is as follows:

//// a1.ply
ply
format ascii 1.0
element vertex 12
property double x
property double y
property double z
element face 6
property list ushort ushort vertex_indices
end_header
0 0 0
0 2 0
0 2 2
0 0 2
0 -2 2
0 -2 0
0 -2 -2
0 0 -2
0 2 -2
1 0 2
1 0 0
1 0 -2
4 0 1 2 3
4 0 3 4 5
4 0 5 6 7
4 0 7 8 1
4 0 3 9 10
4 0 10 11 7 

///// a2.ply
ply
format ascii 1.0
element vertex 8
property double x
property double y
property double z
element face 6
property list ushort ushort vertex_indices
end_header
2 1 -1
2 1 1
2 -1 1
2 -1 -1
-1 1 -1
-1 1 1
-1 -1 1
-1 -1 -1
4 0 1 2 3
4 4 7 6 5
4 0 4 5 1
4 1 5 6 2
4 3 2 6 7
4 0 3 7 4 
What is the expected output? What do you see instead?


What version of the product are you using? On what operating system?
used the latest version from here:
http://carve.googlecode.com/archive/e82d852e4fb0baeabd9d96602d8bdace7d69f3cf.zip

Please provide any additional information below.
built on Windows 7 64bit + VS2012

Original issue reported on code.google.com by [email protected] on 18 Apr 2014 at 2:46