Work around false positive

eisop-plume-lib · Oct 15, 2023 · f16bfa3 · f16bfa3
1 parent d424582
commit f16bfa3
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/main/java/org/plumelib/multiversioncontrol/MultiVersionControl.java b/src/main/java/org/plumelib/multiversioncontrol/MultiVersionControl.java
@@ -33,6 +33,7 @@
 import org.checkerframework.checker.nullness.qual.Nullable;
 import org.checkerframework.checker.nullness.qual.RequiresNonNull;
 import org.checkerframework.checker.regex.qual.Regex;
+import org.checkerframework.checker.signedness.qual.Signed;
 import org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields;
 import org.checkerframework.common.value.qual.MinLen;
 import org.checkerframework.dataflow.qual.Pure;
@@ -2054,8 +2055,9 @@ int perform_command(ProcessBuilder pb, List<Replacer> replacers, boolean showNor
         }
         if (debugReplacers) {
           for (int i = 0; i < Math.min(100, output.length()); i++) {
-            System.out.println(
-                i + ": " + (int) output.charAt(i) + "\n        \"" + output.charAt(i) + "\"");
+            @SuppressWarnings("signedness") // TODO: fix this common pattern
+            int outchar = (@Signed int) output.charAt(i);
+            System.out.println(i + ": " + outchar + "\n        \"" + output.charAt(i) + "\"");
           }
         }
         if (noReplacement) {