0028675: Invalid result of Boolean Cut operation when running with fuzzy value

Avoid small edges with empty list of PaveBlocks (removed edges) in the result (BOPAlgo_Builder::FillImagesEdges()).

src/BOPAlgo/BOPAlgo_Builder_1.cxx

@@ -69,37 +69,41 @@
 {
   myErrorStatus=0;
   //
-  Standard_Integer i, aNbPBP, nE, nSp, nSpR;
+  Standard_Integer i, aNbS = myDS->NbSourceShapes();
-  BOPDS_ListIteratorOfListOfPaveBlock aItPB;
+  for (i = 0; i < aNbS; ++i) {
-  //
+    const BOPDS_ShapeInfo& aSI = myDS->ShapeInfo(i);
-  const BOPDS_VectorOfListOfPaveBlock& aPBP=myDS->PaveBlocksPool();
+    if (aSI.ShapeType() != TopAbs_EDGE) {
-  aNbPBP=aPBP.Extent();
+      continue;
-  for (i=0; i<aNbPBP; ++i) {
+    }
-    const BOPDS_ListOfPaveBlock& aLPB=aPBP(i);
+    //
-    if (aLPB.Extent()) {
+    // Check if the pave blocks for the edge have been initialized
-      BOPCol_ListOfShape aLS(myAllocator);
+    if (!aSI.HasReference()) {
+      continue;
+    }
+    //
+    const TopoDS_Shape& aE = aSI.Shape();
+    const BOPDS_ListOfPaveBlock& aLPB = myDS->PaveBlocks(i);
+    //
+    // Fill the images of the edge from the list of its pave blocks.
+    // The small edges, having no pave blocks, will have the empty list
+    // of images and, thus, will be avoided in the result.
+    BOPCol_ListOfShape *pLS = myImages.Bound(aE, BOPCol_ListOfShape());
+    //
+    BOPDS_ListIteratorOfListOfPaveBlock aItPB(aLPB);
+    for (; aItPB.More(); aItPB.Next()) {
+      const Handle(BOPDS_PaveBlock)& aPB = aItPB.Value();
+      Handle(BOPDS_PaveBlock) aPBR = myDS->RealPaveBlock(aPB);
       //
-      const Handle(BOPDS_PaveBlock)& aPB1=aLPB.First();
+      Standard_Integer nSpR = aPBR->Edge();
-      nE=aPB1->OriginalEdge();
+      const TopoDS_Shape& aSpR = myDS->Shape(nSpR);
-      const TopoDS_Shape& aE=myDS->Shape(nE);
+      pLS->Append(aSpR);
+      myOrigins.Bind(aSpR, aE);
       //
-      aItPB.Initialize(aLPB);
+      if (myDS->IsCommonBlockOnEdge(aPB)) {
-      for (; aItPB.More(); aItPB.Next()) {
+        Standard_Integer nSp = aPB->Edge();
-        const Handle(BOPDS_PaveBlock)& aPB=aItPB.Value();
+        const TopoDS_Shape& aSp = myDS->Shape(nSp);
-        Handle(BOPDS_PaveBlock) aPBR=myDS->RealPaveBlock(aPB);
+        myShapesSD.Bind(aSp, aSpR);
-        //
-        nSpR=aPBR->Edge();
-        const TopoDS_Shape& aSpR=myDS->Shape(nSpR);
-        aLS.Append(aSpR);
-        myOrigins.Bind(aSpR, aE);
-        //
-        if (myDS->IsCommonBlockOnEdge(aPB)) {
-          nSp=aPB->Edge();
-          const TopoDS_Shape& aSp=myDS->Shape(nSp);
-          myShapesSD.Bind(aSp, aSpR);
-        }
       }
-      myImages.Bind(aE, aLS);
     }
   }
 }

src/BOPAlgo/BOPAlgo_PaveFiller_3.cxx

@@ -359,12 +359,19 @@ void BOPAlgo_PaveFiller::PerformEE()
       continue;
     }
     //
+    BOPDS_ListOfPaveBlock& aLPB1 = myDS->ChangePaveBlocks(nE1);
+    if (aLPB1.IsEmpty()) {
+      continue;
+    }
+    //
+    BOPDS_ListOfPaveBlock& aLPB2 = myDS->ChangePaveBlocks(nE2);
+    if (aLPB2.IsEmpty()) {
+      continue;
+    }
+    //
     const TopoDS_Edge& aE1=(*(TopoDS_Edge *)(&aSIE1.Shape()));
     const TopoDS_Edge& aE2=(*(TopoDS_Edge *)(&aSIE2.Shape()));
     //
-    BOPDS_ListOfPaveBlock& aLPB1=myDS->ChangePaveBlocks(nE1);
-    BOPDS_ListOfPaveBlock& aLPB2=myDS->ChangePaveBlocks(nE2);
-    //
     aIt1.Initialize(aLPB1);
     for (; aIt1.More(); aIt1.Next()) {
       Bnd_Box aBB1;

tests/bugs/modalg_2/bug497_3

@@ -1,5 +1,3 @@
-puts "TODO OCC25735 ALL: Faulty shapes in variables faulty_1 to"
-
 puts "========="
 puts " OCC497 "
 puts "(case 3)"
@@ -14,9 +12,11 @@ checkshape a_1
 
 restore [locate_data_file OCC497f.brep] a_2
 checkshape a_2
+breducetolerance a_2
 
 bcut result a_1 a_2
 
-checkprops result -s 1773.6
+checkprops result -s 2392.19 -v 7520.02
+checknbshapes result -shell 1 -solid 1
 checkshape result
 checkview -display result -2d -path ${imagedir}/${test_image}.png

tests/bugs/modalg_6/bug26954_3

@@ -17,6 +17,6 @@ baddtools b2
 bfillds
 bbop result 0
 
-checkprops result -s 40.7799
+checkprops result -s 42.1078
 
 checkview -display result -2d -path ${imagedir}/${test_image}.png

tests/bugs/modalg_6/bug28675_1

@@ -0,0 +1,27 @@
+puts "========"
+puts "OCC28675"
+puts "========"
+puts ""
+####################################################################
+# Invalid result of Boolean Cut operation when running with fuzzy value
+####################################################################
+
+restore [locate_data_file bug28675_shapes.brep] b
+explode b
+bfuzzyvalue 1.e-5
+bclearobjects
+bcleartools
+baddobjects b_1
+baddtools b_2
+bfillds
+bbop result 2
+
+checkshape result
+if {[regexp "Faulties" [bopargcheck result]]} {
+  puts "Error: the result of Cut operation is invalid"
+}
+
+checkprops result -s 63598.7 -v 246258
+checknbshapes result -edge 12 -face 6 -shell 1 -solid 1
+
+checkview -display result -2d -path ${imagedir}/${test_image}.png

tests/bugs/modalg_6/bug28675_2

@@ -0,0 +1,26 @@
+puts "========"
+puts "OCC28675"
+puts "========"
+puts ""
+####################################################################
+# Invalid result of Boolean Cut operation when running with fuzzy value
+####################################################################
+
+restore [locate_data_file bug28675_shapes.brep] b
+explode b
+bclearobjects
+bcleartools
+baddobjects b_1
+baddtools b_2
+bfillds
+bbop result 2
+
+checkshape result
+if {[regexp "Faulties" [bopargcheck result]]} {
+  puts "Error: the result of Cut operation is invalid"
+}
+
+checkprops result -s 63598.7 -v 246258
+checknbshapes result -edge 12 -face 6 -shell 1 -solid 1
+
+checkview -display result -2d -path ${imagedir}/${test_image}.png