Home | History | Annotate | Download | only in tests 
      1 package annotator.tests;
      2 
      3 public class LocalArray {
      4 
      5   public void foo() {
      6     @java.lang.UnderInitialization Object @java.lang.Tainted [] o = null;
      7     System.out.println(o);
      8   }
      9 }
     10