import java.util.List;


public class AIOB_Sample 
{
    int[] fa = new int[4];
    int[] fb;
    
    public void testOutOfBounds()
    {
        int[] a = new int[4];
        
        a[4] = 2;
        fa[4] = 2;
    }
    
    public void testUnallocated()
    {
        int[] b = null;
        
        b[4] = 4;
        fb[4] = 4;
    }
    
    public int[] fpPlusPlusNotRecognized(List<String> l) {
        int size = 0;
        
        for (String s : l) {
            size++;
        }
        
        int[] data = new int[size];
        
        data[0] = 0;
        return data;
    }
    
    public void fpPostAllocate() {
        double[] da = null;
        
        for (int i = 0; i < 10; i++) {
            if ((i & 1) == 1) {
                da[0] = 0.0;
            }
            
            if (da == null)
                da = new double[10];
        }
    }
}

@@ -876,10 +876,241 @@
 %7D%0A    %7D%0A
+    %0A    public void fpPlusEquals(List%3CString%3E ss) %7B%0A        int size = 0;%0A        %0A        for (String s : ss) %7B%0A            size += s.length();%0A        %7D%0A        %0A        int%5B%5D a = new int%5Bsize%5D;%0A        %0A        a%5B0%5D = 1;%0A    %7D%0A
 %7D%0A

add fp for AIOB