34   private static int linear(int[] x) {  in linear()
48   private static int linearDown(int[] x) {  in linearDown()
62   private static int linearObscure(int[] x) {  in linearObscure()
77   private static int linearVeryObscure(int[] x) {  in linearVeryObscure()
109   private static int linearWhile(int[] x) {  in linearWhile()
124   private static int linearThreeWayPhi(int[] x) {  in linearThreeWayPhi()
142   private static int linearFourWayPhi(int[] x) {  in linearFourWayPhi()
164   private static int wrapAroundThenLinear(int[] x) {  in wrapAroundThenLinear()
181   private static int wrapAroundThenLinearThreeWayPhi(int[] x) {  in wrapAroundThenLinearThreeWayPhi()
203     int[] x = new int[n];  in linearWithParameter()  local
216   private static int[] linearCopy(int x[]) {  in linearCopy()
232   private static int linearByTwo(int x[]) {  in linearByTwo()
249   private static int linearByTwoSkip1(int x[]) {  in linearByTwoSkip1()
265   private static int linearByTwoSkip2(int x[]) {  in linearByTwoSkip2()
281     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 };  in linearWithCompoundStride()  local
298     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 };  in linearWithLargePositiveStride()  local
318     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 };  in linearWithVeryLargePositiveStride()  local
336     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 };  in linearWithLargeNegativeStride()  local
356     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 };  in linearWithVeryLargeNegativeStride()  local
374     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearForNEUp()  local
389     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearForNEDown()  local
403   private static int linearForNEArrayLengthUp(int[] x) {  in linearForNEArrayLengthUp()
417   private static int linearForNEArrayLengthDown(int[] x) {  in linearForNEArrayLengthDown()
432     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearDoWhileUp()  local
448     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearDoWhileDown()  local
464     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearLong()  local
480   private static int linearLongAlt(int[] x) {  in linearLongAlt()
497     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearShort()  local
513     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearChar()  local
529     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in linearByte()  local
544   private static int invariantFromPreLoop(int[] x, int y) {  in invariantFromPreLoop()
729     int[] x = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };  in main()  local