void () { String s = getS(); if (s != null) s.length(); if (foo()) { int[] i1 = new int [s.<warning descr="Method invocation 'length' may produce 'NullPointerException'">length</warning>()]; } else if (foo()) { int[] i2 = new int [] {s.<warning descr="Method invocation 'length' may produce 'NullPointerException'">length</warning>()}; } else if (foo()) { int[][] i3 = new int [<warning descr="Result of '(s = \"\").length()' is always '0'">(s = "").length()</warning>][<warning descr="Result of 's.length()' is always '0'">s.length()</warning>]; } else{ int[] i4 = new int[] {<warning descr="Result of '(s = \"\").length()' is always '0'">(s = "").length()</warning>, <warning descr="Result of 's.length()' is always '0'">s.length()</warning>}; } }