Fold in setAddress fix from svn

2019-06-27 17:42:03 +01:00
parent fa664bbc01
commit c04a30cd88
1 changed files with 2 additions and 2 deletions
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -660,9 +660,9 @@ function VnD#(CapFat) setAddress(CapFat cap, LCapAddress address, TempFields tf)
                                  t2(False, False): return  0;
                              endcase;
        if (diff != expectedDiff) inRepBounds = False;
-
+        if (e >= resetExp - 3) inRepBounds = True;
        if (!inRepBounds) ret.isCapability = False;
-        return VnD {v: inRepBounds, d: ret};//ret:nullifyCap(ret);
+        return VnD {v: inRepBounds, d: ret};
 endfunction

 ///////////////////////////////