public class AWCBR_Sample {
    public void m(int[] v) {
        v[0]++;
    }

    public int testuninitedalloc(int i) {
        int[] data = new int[1];
        data[0] = i;
        m(data);
        i = data[0];
        return i;
    }

    public int testinitedalloc(int i) {
        int[] data = new int[] { i };
        m(data);
        i = data[0];
        return i;
    }

    public int testNoCall(int i) {
        // while silly don't report this, as there is no arg usage
        int[] data = new int[] { i };
        i = data[0];
        return i;
    }
}

@@ -1,12 +1,94 @@
+import java.lang.reflect.Method;%0Aimport java.util.HashSet;%0Aimport java.util.Set;%0A%0A
 public class
@@ -640,10 +640,293 @@
 ;%0A    %7D%0A
+    %0A    public boolean testFPInvoke(Method m) throws Exception %7B%0A        %0A        Set%3CString%3E s = new HashSet%3CString%3E();%0A        Object%5B%5D args = new Object%5B%5D %7B s %7D;%0A        m.invoke(this, args);%0A        %0A        s = (Set%3CString%3E) args%5B0%5D;%0A        %0A        return s.isEmpty();%0A    %7D%0A
 %7D%0A

add AWCBR FP based on Method.invoke