annotations to remove false positives

Author: kelloggm

checker/src/main/java/org/checkerframework/checker/initialization/InitializationStore.java

@@ -8,6 +8,7 @@
 import javax.lang.model.element.AnnotationMirror;
 import javax.lang.model.element.Element;
 import javax.lang.model.element.VariableElement;
+import org.checkerframework.checker.mustcall.qual.MustCall;
 import org.checkerframework.dataflow.cfg.node.MethodInvocationNode;
 import org.checkerframework.dataflow.cfg.visualize.CFGVisualizer;
 import org.checkerframework.dataflow.expression.ClassName;
@@ -30,8 +31,10 @@
  *
  * @see InitializationTransfer
  */
-public class InitializationStore<V extends CFAbstractValue<V>, S extends InitializationStore<V, S>>
-    extends CFAbstractStore<V, S> {
+public class InitializationStore<
+        V extends CFAbstractValue<@MustCall({}) V>,
+        S extends InitializationStore<@MustCall({}) V, @MustCall({}) S>>
+    extends CFAbstractStore<@MustCall({}) V, @MustCall({}) S> {
 
   /** The set of fields that are initialized. */
   protected final Set<VariableElement> initializedFields;

checker/src/main/java/org/checkerframework/checker/initialization/InitializationTransfer.java

@@ -13,6 +13,7 @@
 import javax.lang.model.type.TypeKind;
 import javax.lang.model.type.TypeMirror;
 import javax.lang.model.util.ElementFilter;
+import org.checkerframework.checker.mustcall.qual.MustCall;
 import org.checkerframework.dataflow.analysis.RegularTransferResult;
 import org.checkerframework.dataflow.analysis.TransferInput;
 import org.checkerframework.dataflow.analysis.TransferResult;
@@ -56,7 +57,7 @@
 public class InitializationTransfer<
         V extends CFAbstractValue<V>,
         T extends InitializationTransfer<V, T, S>,
-        S extends InitializationStore<V, S>>
+        S extends InitializationStore<@MustCall({}) V, @MustCall({}) S>>
     extends CFAbstractTransfer<V, S, T> {
 
   protected final InitializationAnnotatedTypeFactory<?, ?, ?, ?> atypeFactory;