Changeset 644162a

Timestamp:

Nov 19, 2021, 11:58:29 AM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

3e417bf

Parents:

52d2545

Message:

Fix problem in splice use with signed/unsigned comparison.

File:

• benchmark/io/http/protocol.cfa (modified) (4 diffs)

benchmark/io/http/protocol.cfa

@@ -332 +332 @@
         wait(this.f);
 
-        // Did something crazy happen?
-        if(this.f.result > this.len) {
-                mutex(serr) serr | "SPLICE IN spliced too much!";
-                return error(this.res, -ERANGE);
-        }
-
         // Something failed?
         if(this.f.result < 0) {
@@ -351 +345 @@
                         return error(this.res, -ECONNRESET);
                 }
+        }
+
+        // Did something crazy happen?
+        if(this.f.result > this.len) {
+                mutex(serr) serr | "SPLICE IN spliced too much!";
+                return error(this.res, -ERANGE);
         }
 
@@ -401 +401 @@
         wait(this.f);
 
-        // Did something crazy happen?
-        if(this.f.result > this.len) {
-                mutex(serr) serr | "SPLICE OUT spliced too much!";
-                return error(this.res, -ERANGE);
-        }
-
         // Something failed?
         if(this.f.result < 0) {
@@ -420 +414 @@
                         return error(this, -ECONNRESET);
                 }
+        }
+
+        // Did something crazy happen?
+        if(this.f.result > this.len) {
+                mutex(serr) serr | "SPLICE OUT spliced too much!" | this.f.result | ">" | this.len;
+                return error(this.res, -ERANGE);
         }