===================================================================
@@ -2591,7 +2591,10 @@
for (red_found = 0, e = pb->num_geqs - 1; e >= 0; e--)
if (pb->geqs[e].color == omega_red)
- red_found = 1;
+ {
+ red_found = 1;
+ break;
+ }
if (!red_found)
{
===================================================================
@@ -4853,7 +4853,10 @@
for (e = pb->num_geqs - 1; e >= 0; e--)
if (pb->geqs[e].color == omega_red)
- result = true;
+ {
+ result = true;
+ break;
+ }
if (!result)
return false;
===================================================================
@@ -4906,7 +4906,10 @@
for (e = pb->num_geqs - 1; e >= 0; e--)
if (pb->geqs[e].color == omega_red)
- result = true;
+ {
+ result = true;
+ break;
+ }
if (dump_file && (dump_flags & TDF_DETAILS))
{
===================================================================
@@ -5251,7 +5251,10 @@
for (e = pb->num_subs - 1; e >= 0; e--)
if (pb->subs[e].coef[i] != 0)
- coupled = true;
+ {
+ coupled = true;
+ break;
+ }
for (e = pb->num_eqs - 1; e >= 0; e--)
if (pb->eqs[e].coef[i] != 0)