Removed outdated comments

hernanponcedeleon · Jan 22, 2024 · 2a27885 · 2a27885
1 parent 2584b6c
commit 2a27885
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/expression/op/CmpOp.java b/dartagnan/src/main/java/com/dat3m/dartagnan/expression/op/CmpOp.java
@@ -50,8 +50,6 @@ public boolean combine(BigInteger a, BigInteger b){
         };
     }
 
-    // Due to constant propagation, and the lack of a proper type system
-    // we can end up with comparisons like "False == 1", thus the following two methods
     public boolean combine(boolean a, BigInteger b){
         return switch (this) {
             case EQ -> ((b.compareTo(BigInteger.ONE) == 0) == a);

diff --git a/...agnan/src/main/java/com/dat3m/dartagnan/program/analysis/alias/AndersenAliasAnalysis.java b/...agnan/src/main/java/com/dat3m/dartagnan/program/analysis/alias/AndersenAliasAnalysis.java
@@ -212,7 +212,6 @@ private void processResults(Local e) {
         Expression base = iBin.getLHS();
         if (base instanceof MemoryObject mem) {
             Expression rhs = iBin.getRHS();
-            //FIXME Address extends IntLiteral
             if (rhs instanceof IntLiteral ic) {
                 addTarget(reg, new Location(mem, ic.getValueAsInt()));
             } else {
@@ -226,7 +225,6 @@ private void processResults(Local e) {
         //accept register2 = register1 + constant
         for (Location target : targets.getOrDefault(base, Set.of())) {
             Expression rhs = ((IntBinaryExpr) exp).getRHS();
-            //FIXME Address extends IntLiteral
             if (rhs instanceof IntLiteral ic) {
                 int o = target.offset + ic.getValueAsInt();
                 if (o < target.base.size()) {
@@ -253,7 +251,7 @@ private void processResults(MemoryCoreEvent e) {
                 addresses = ImmutableSet.of(addressConstant.location);
             }
         }
-        if (addresses.size() == 0) {
+        if (addresses.isEmpty()) {
             addresses = maxAddressSet;
         }
         eventAddressSpaceMap.put(e, ImmutableSet.copyOf(addresses));