0026929: Extrema_ECC hang/crash

Comparator functor corrected to return false in the case of equal elements.
Test case added.

diff --git a/src/Extrema/Extrema_GenExtCC.gxx b/src/Extrema/Extrema_GenExtCC.gxx
index 3b564f4c74ce91d934e8fe10f2d23d29c12a7360..a308676b2738a5c53127a38ab19fbeec97b2f2d3 100644 (file)
--- a/src/Extrema/Extrema_GenExtCC.gxx
+++ b/src/Extrema/Extrema_GenExtCC.gxx
@@ -38,7 +38,7 @@ static Standard_Boolean comp(const gp_XY& theA,
   {
     if (theA.X() == theB.X())
     {
-      if (theA.Y() <= theB.Y())
+      if (theA.Y() < theB.Y())
         return Standard_True;
     }
   }

diff --git a/tests/bugs/modalg_6/bug26929 b/tests/bugs/modalg_6/bug26929
new file mode 100644 (file)
index 0000000..b89413a
--- /dev/null
+++ b/tests/bugs/modalg_6/bug26929
@@ -0,0 +1,40 @@
+puts "============"
+puts "OCC26929"
+puts "============"
+puts ""
+#############################################################################################
+## Extrema_ECC hang/crash in ShapeSplitter
+#############################################################################################
+cpulimit 100
+
+restore [locate_data_file OCC26629-face.brep] aF
+restore [locate_data_file OCC26629-edge.brep] aE
+
+pload MODELING
+
+# Hang check.
+dchrono cr reset
+dchrono cr start
+
+set ss ""
+foreach s [explode aE e] {set ss "$ss aF $s"}
+eval splitshape result aF $ss
+
+dchrono cr stop
+
+set max_time 20.0
+set log [dchrono cr show]
+regexp {CPU user time: ([-0-9.+eE]+) seconds} $log full z
+
+
+if { $z > ${max_time} } {
+    puts "Elapsed time of BRepFeat_SplitShape is more than ${max_time} seconds - Error"
+} else {
+    puts "Elapsed time of BRepFeat_SplitShape is less than ${max_time} seconds - OK"
+}
+
+# Check result validity.
+checkshape result
+
+# Visual check.
+set 2dviewer 1
\ No newline at end of file