From 24fb1f6d1095e41015f273a1192b1ad9b597ba81 Mon Sep 17 00:00:00 2001 From: Ben Liblit Date: Fri, 12 May 2017 18:09:00 +0200 Subject: [PATCH] Suppress unused-local-variable warnings in test inputs Test code can do many things we'd consider bad style in real application code, including defining local variables that are never subsequently used. --- com.ibm.wala.cast.java.test.data/src/Array1.java | 1 + .../src/ArrayLiteral1.java | 1 + .../src/ArrayLiteral2.java | 1 + com.ibm.wala.cast.java.test.data/src/Casts.java | 1 + .../src/DefaultConstructors.java | 1 + com.ibm.wala.cast.java.test.data/src/Exception1.java | 1 + com.ibm.wala.cast.java.test.data/src/Exception2.java | 1 + com.ibm.wala.cast.java.test.data/src/Finally1.java | 1 + com.ibm.wala.cast.java.test.data/src/Inheritance1.java | 2 ++ .../src/InheritedField.java | 1 + com.ibm.wala.cast.java.test.data/src/InnerClass.java | 1 + com.ibm.wala.cast.java.test.data/src/InnerClassA.java | 1 + .../src/InnerClassLexicalReads.java | 1 + .../src/InterfaceTest1.java | 2 ++ .../src/NullArrayInit.java | 1 + .../src/QualifiedStatic.java | 1 + com.ibm.wala.cast.java.test.data/src/Scoping1.java | 1 + com.ibm.wala.cast.java.test.data/src/Scoping2.java | 1 + com.ibm.wala.cast.java.test.data/src/Simple1.java | 1 + .../src/StaticNesting.java | 1 + com.ibm.wala.cast.java.test.data/src/TwoClasses.java | 2 ++ com.ibm.wala.cast.java.test.data/src/WhileTest1.java | 1 + .../src/alreadywalaunittests/InnerClassAA.java | 1 + .../src/foo/bar/hello/world/ArraysAndSuch.java | 1 + .../bar/hello/world/ConstructorsAndInitializers.java | 1 + .../src/foo/bar/hello/world/CopyOfLoopsAndLabels.java | 1 + .../src/foo/bar/hello/world/InnerClasses.java | 1 + .../src/foo/bar/hello/world/MiniaturList2.java | 1 + .../src/javaonepointfive/CustomGenericsAndFields.java | 2 ++ .../src/javaonepointfive/ExplicitBoxingTest.java | 2 ++ .../src/javaonepointfive/GenericArrays.java | 1 + .../javaonepointfive/TypeInferencePrimAndStringOp.java | 1 + .../src/p/NonPrimaryTopLevel.java | 1 + .../src/com/ibm/wala/cast/java/test/JavaIRTests.java | 10 +++++----- com.ibm.wala.core.testdata/src/cpa/CPATest1.java | 1 + com.ibm.wala.core.testdata/src/cpa/CPATest2.java | 1 + .../src/staticInit/TestStaticInitOrder.java | 3 +++ .../ibm/wala/core/tests/callGraph/CallGraphTest.java | 1 + .../com/ibm/wala/core/tests/callGraph/LambdaTest.java | 1 + 39 files changed, 50 insertions(+), 5 deletions(-) diff --git a/com.ibm.wala.cast.java.test.data/src/Array1.java b/com.ibm.wala.cast.java.test.data/src/Array1.java index 68572fe6e..e27edf37b 100644 --- a/com.ibm.wala.cast.java.test.data/src/Array1.java +++ b/com.ibm.wala.cast.java.test.data/src/Array1.java @@ -20,6 +20,7 @@ public class Array1 { ary[i]= i; } + @SuppressWarnings("unused") int sum = 0; for(int j= 0; j < ary.length; j++) { diff --git a/com.ibm.wala.cast.java.test.data/src/ArrayLiteral1.java b/com.ibm.wala.cast.java.test.data/src/ArrayLiteral1.java index f0f2ea9f0..1339b781f 100644 --- a/com.ibm.wala.cast.java.test.data/src/ArrayLiteral1.java +++ b/com.ibm.wala.cast.java.test.data/src/ArrayLiteral1.java @@ -9,6 +9,7 @@ * IBM Corporation - initial API and implementation *****************************************************************************/ public class ArrayLiteral1 { + @SuppressWarnings("unused") public static void main(String[] args) { ArrayLiteral1 al1= new ArrayLiteral1(); int[] a= new int[] { 0, 1, 2, 3, 5 }; diff --git a/com.ibm.wala.cast.java.test.data/src/ArrayLiteral2.java b/com.ibm.wala.cast.java.test.data/src/ArrayLiteral2.java index 6136276f3..5071780da 100644 --- a/com.ibm.wala.cast.java.test.data/src/ArrayLiteral2.java +++ b/com.ibm.wala.cast.java.test.data/src/ArrayLiteral2.java @@ -9,6 +9,7 @@ * IBM Corporation - initial API and implementation *****************************************************************************/ public class ArrayLiteral2 { + @SuppressWarnings("unused") public static void main(String[] args) { ArrayLiteral2 al2= new ArrayLiteral2(); int[] x= {}; diff --git a/com.ibm.wala.cast.java.test.data/src/Casts.java b/com.ibm.wala.cast.java.test.data/src/Casts.java index dc3271d47..f2e8a61b0 100644 --- a/com.ibm.wala.cast.java.test.data/src/Casts.java +++ b/com.ibm.wala.cast.java.test.data/src/Casts.java @@ -14,6 +14,7 @@ public class Casts { (new Casts()).test(args); } + @SuppressWarnings("unused") private void test(String[] args) { long l1 = Long.parseLong(args[0]); int i1 = Integer.parseInt(args[1]); diff --git a/com.ibm.wala.cast.java.test.data/src/DefaultConstructors.java b/com.ibm.wala.cast.java.test.data/src/DefaultConstructors.java index cabd97f6d..fa815616e 100644 --- a/com.ibm.wala.cast.java.test.data/src/DefaultConstructors.java +++ b/com.ibm.wala.cast.java.test.data/src/DefaultConstructors.java @@ -11,6 +11,7 @@ public class DefaultConstructors { public static void main(String args[]) { + @SuppressWarnings("unused") E e = new E(); // System.out.println(e.x); // System.out.println(e.y); diff --git a/com.ibm.wala.cast.java.test.data/src/Exception1.java b/com.ibm.wala.cast.java.test.data/src/Exception1.java index 55674f980..d4a006513 100644 --- a/com.ibm.wala.cast.java.test.data/src/Exception1.java +++ b/com.ibm.wala.cast.java.test.data/src/Exception1.java @@ -11,6 +11,7 @@ public class Exception1 { public static void main(String[] args) { + @SuppressWarnings("unused") Exception1 e1= new Exception1(); try { FooEx1 f = new FooEx1(); diff --git a/com.ibm.wala.cast.java.test.data/src/Exception2.java b/com.ibm.wala.cast.java.test.data/src/Exception2.java index dd0e4b319..7687cf3ff 100644 --- a/com.ibm.wala.cast.java.test.data/src/Exception2.java +++ b/com.ibm.wala.cast.java.test.data/src/Exception2.java @@ -16,6 +16,7 @@ import java.io.IOException; public final class Exception2 { public static void main(String[] args) { + @SuppressWarnings("unused") Exception2 e2= new Exception2(); FileInputStream fis = null; FileOutputStream fos = null; diff --git a/com.ibm.wala.cast.java.test.data/src/Finally1.java b/com.ibm.wala.cast.java.test.data/src/Finally1.java index 0bbec7ff5..6d63c61cc 100644 --- a/com.ibm.wala.cast.java.test.data/src/Finally1.java +++ b/com.ibm.wala.cast.java.test.data/src/Finally1.java @@ -10,6 +10,7 @@ *****************************************************************************/ public class Finally1 { public static void main(String[] args) throws BadLanguageExceptionF1 { + @SuppressWarnings("unused") Finally1 f1= new Finally1(); try { FooF1 f = new FooF1(); diff --git a/com.ibm.wala.cast.java.test.data/src/Inheritance1.java b/com.ibm.wala.cast.java.test.data/src/Inheritance1.java index 375b3f004..4e2558e41 100644 --- a/com.ibm.wala.cast.java.test.data/src/Inheritance1.java +++ b/com.ibm.wala.cast.java.test.data/src/Inheritance1.java @@ -10,6 +10,7 @@ *****************************************************************************/ public class Inheritance1 { public static void main(String[] args) { + @SuppressWarnings("unused") Inheritance1 ih1= new Inheritance1(); Base b1 = new Base(); Base b2 = new Derived(); @@ -22,6 +23,7 @@ public class Inheritance1 { } class Base { public void foo() { + @SuppressWarnings("unused") int i= 0; } public String bar(int x) { diff --git a/com.ibm.wala.cast.java.test.data/src/InheritedField.java b/com.ibm.wala.cast.java.test.data/src/InheritedField.java index 30bae9578..8147a57d9 100644 --- a/com.ibm.wala.cast.java.test.data/src/InheritedField.java +++ b/com.ibm.wala.cast.java.test.data/src/InheritedField.java @@ -10,6 +10,7 @@ *****************************************************************************/ public class InheritedField { public static void main(String[] args) { + @SuppressWarnings("unused") InheritedField if1= new InheritedField(); B b = new B(); diff --git a/com.ibm.wala.cast.java.test.data/src/InnerClass.java b/com.ibm.wala.cast.java.test.data/src/InnerClass.java index b6b3ef423..8ea47bb85 100644 --- a/com.ibm.wala.cast.java.test.data/src/InnerClass.java +++ b/com.ibm.wala.cast.java.test.data/src/InnerClass.java @@ -22,6 +22,7 @@ public class InnerClass { } public void method() { + @SuppressWarnings("unused") WhatsIt w= new WhatsIt(); } diff --git a/com.ibm.wala.cast.java.test.data/src/InnerClassA.java b/com.ibm.wala.cast.java.test.data/src/InnerClassA.java index 789d1487a..914884815 100644 --- a/com.ibm.wala.cast.java.test.data/src/InnerClassA.java +++ b/com.ibm.wala.cast.java.test.data/src/InnerClassA.java @@ -52,6 +52,7 @@ public class InnerClassA { AB ab = new AB(); AB.ABSubA absuba = ab.new ABSubA(); absuba.aba_x = 7; + @SuppressWarnings("unused") AB.ABA.ABAA abaa2 = ab.new ABA().new ABAA(); // just used to add ABA instance key in ABAA.getABA_X() AB.ABA aba = ab.new ABA(); diff --git a/com.ibm.wala.cast.java.test.data/src/InnerClassLexicalReads.java b/com.ibm.wala.cast.java.test.data/src/InnerClassLexicalReads.java index 28426514c..63cd71b3e 100644 --- a/com.ibm.wala.cast.java.test.data/src/InnerClassLexicalReads.java +++ b/com.ibm.wala.cast.java.test.data/src/InnerClassLexicalReads.java @@ -47,6 +47,7 @@ public class InnerClassLexicalReads { * 4 invokevirtual < Source, Ljava/io/PrintStream, println(I)V > v7,v8 @4 exception:v10[18:2] -> [18:38] */ public static void main(String args[]) { + @SuppressWarnings("unused") InnerClassLexicalReads ignored = new InnerClassLexicalReads(); // call this just to make reachable (test checks for unreachable methods) int foo = 5; int haha = foo * foo; diff --git a/com.ibm.wala.cast.java.test.data/src/InterfaceTest1.java b/com.ibm.wala.cast.java.test.data/src/InterfaceTest1.java index 82c474622..2a0d8c22e 100644 --- a/com.ibm.wala.cast.java.test.data/src/InterfaceTest1.java +++ b/com.ibm.wala.cast.java.test.data/src/InterfaceTest1.java @@ -10,8 +10,10 @@ *****************************************************************************/ public class InterfaceTest1 { public static void main(String[] args) { + @SuppressWarnings("unused") InterfaceTest1 it= new InterfaceTest1(); IFoo foo = new FooIT1('a'); + @SuppressWarnings("unused") char ch2 = foo.getValue(); } } diff --git a/com.ibm.wala.cast.java.test.data/src/NullArrayInit.java b/com.ibm.wala.cast.java.test.data/src/NullArrayInit.java index c43ba0880..bfe94866e 100644 --- a/com.ibm.wala.cast.java.test.data/src/NullArrayInit.java +++ b/com.ibm.wala.cast.java.test.data/src/NullArrayInit.java @@ -11,6 +11,7 @@ public class NullArrayInit { String[] x = {null}; + @SuppressWarnings("unused") public static void main(String[] args) { new NullArrayInit(); Object a[] = new Object[] {null,null}; diff --git a/com.ibm.wala.cast.java.test.data/src/QualifiedStatic.java b/com.ibm.wala.cast.java.test.data/src/QualifiedStatic.java index 10e9caae4..c6e72bab0 100644 --- a/com.ibm.wala.cast.java.test.data/src/QualifiedStatic.java +++ b/com.ibm.wala.cast.java.test.data/src/QualifiedStatic.java @@ -9,6 +9,7 @@ * IBM Corporation - initial API and implementation *****************************************************************************/ public class QualifiedStatic { + @SuppressWarnings("unused") public static void main(String[] args) { QualifiedStatic qs= new QualifiedStatic(); FooQ fq= new FooQ(); diff --git a/com.ibm.wala.cast.java.test.data/src/Scoping1.java b/com.ibm.wala.cast.java.test.data/src/Scoping1.java index 7212b8ce0..4618f1d3d 100644 --- a/com.ibm.wala.cast.java.test.data/src/Scoping1.java +++ b/com.ibm.wala.cast.java.test.data/src/Scoping1.java @@ -10,6 +10,7 @@ *****************************************************************************/ public class Scoping1 { public static void main(String[] args) { + @SuppressWarnings("unused") Scoping1 s1= new Scoping1(); { int x= 5; diff --git a/com.ibm.wala.cast.java.test.data/src/Scoping2.java b/com.ibm.wala.cast.java.test.data/src/Scoping2.java index 56c14a3a4..876bf6e1f 100644 --- a/com.ibm.wala.cast.java.test.data/src/Scoping2.java +++ b/com.ibm.wala.cast.java.test.data/src/Scoping2.java @@ -10,6 +10,7 @@ *****************************************************************************/ public class Scoping2 { public static void main(String[] args) { + @SuppressWarnings("unused") Scoping2 s2 = new Scoping2(); { final int x = 5; diff --git a/com.ibm.wala.cast.java.test.data/src/Simple1.java b/com.ibm.wala.cast.java.test.data/src/Simple1.java index 422198602..077431fbc 100644 --- a/com.ibm.wala.cast.java.test.data/src/Simple1.java +++ b/com.ibm.wala.cast.java.test.data/src/Simple1.java @@ -19,6 +19,7 @@ public class Simple1 { this(0); } public static void doStuff(int N) { + @SuppressWarnings("unused") int prod = 1; for(int j=0; j < N; j++) prod *= j; diff --git a/com.ibm.wala.cast.java.test.data/src/StaticNesting.java b/com.ibm.wala.cast.java.test.data/src/StaticNesting.java index 894c0a4cc..79bbf09ed 100644 --- a/com.ibm.wala.cast.java.test.data/src/StaticNesting.java +++ b/com.ibm.wala.cast.java.test.data/src/StaticNesting.java @@ -9,6 +9,7 @@ * IBM Corporation - initial API and implementation *****************************************************************************/ public class StaticNesting { + @SuppressWarnings("unused") public static void main(String[] args) { StaticNesting sn= new StaticNesting(); WhatsIt w= new WhatsIt(); diff --git a/com.ibm.wala.cast.java.test.data/src/TwoClasses.java b/com.ibm.wala.cast.java.test.data/src/TwoClasses.java index 1eb8ad684..3faf0ff0c 100644 --- a/com.ibm.wala.cast.java.test.data/src/TwoClasses.java +++ b/com.ibm.wala.cast.java.test.data/src/TwoClasses.java @@ -18,6 +18,7 @@ public class TwoClasses { this(0); } public static void doStuff(int N) { + @SuppressWarnings("unused") int prod= 1; TwoClasses tc= new TwoClasses(); tc.instanceMethod1(); @@ -35,6 +36,7 @@ public class TwoClasses { instanceMethod2(); } public void instanceMethod2() { + @SuppressWarnings("unused") Bar b= Bar.create('a'); } } diff --git a/com.ibm.wala.cast.java.test.data/src/WhileTest1.java b/com.ibm.wala.cast.java.test.data/src/WhileTest1.java index 4eeadf2b3..cd5a3c554 100644 --- a/com.ibm.wala.cast.java.test.data/src/WhileTest1.java +++ b/com.ibm.wala.cast.java.test.data/src/WhileTest1.java @@ -10,6 +10,7 @@ *****************************************************************************/ public class WhileTest1 { public static void main(String[] args) { + @SuppressWarnings("unused") WhileTest1 wt1= new WhileTest1(); int x= 235834; boolean stop= false; diff --git a/com.ibm.wala.cast.java.test.data/src/alreadywalaunittests/InnerClassAA.java b/com.ibm.wala.cast.java.test.data/src/alreadywalaunittests/InnerClassAA.java index 2bf1aeb6a..d5dd63583 100644 --- a/com.ibm.wala.cast.java.test.data/src/alreadywalaunittests/InnerClassAA.java +++ b/com.ibm.wala.cast.java.test.data/src/alreadywalaunittests/InnerClassAA.java @@ -87,6 +87,7 @@ public class InnerClassAA { AB ab = new AB(); AB.ABSubA absuba = ab.new ABSubA(); absuba.aba_x = 7; + @SuppressWarnings("unused") AB.ABA.ABAA abaa2 = ab.new ABA().new ABAA(); // just used to add ABA instance key in ABAA.getABA_X() AB.ABA aba = ab.new ABA(); diff --git a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/ArraysAndSuch.java b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/ArraysAndSuch.java index 4e5f3034b..26e71a9e2 100644 --- a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/ArraysAndSuch.java +++ b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/ArraysAndSuch.java @@ -42,6 +42,7 @@ public class ArraysAndSuch { public static void main(String args[]) { ArraysAndSuch.main(); } + @SuppressWarnings("unused") public static void main() { Object o1 = null; Object[] os1 = new Object[] { null, o1, null }; diff --git a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/ConstructorsAndInitializers.java b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/ConstructorsAndInitializers.java index 91cfa92d3..cc478b658 100644 --- a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/ConstructorsAndInitializers.java +++ b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/ConstructorsAndInitializers.java @@ -101,6 +101,7 @@ public class ConstructorsAndInitializers extends Super { class T{ } + @SuppressWarnings("unused") T t = new T(); } } diff --git a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/CopyOfLoopsAndLabels.java b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/CopyOfLoopsAndLabels.java index 23c2b8478..3db88088c 100644 --- a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/CopyOfLoopsAndLabels.java +++ b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/CopyOfLoopsAndLabels.java @@ -40,6 +40,7 @@ package foo.bar.hello.world; public class CopyOfLoopsAndLabels { static int X=5; public static void main(String args[]) { + @SuppressWarnings("unused") int k=X; for (; ; k++) break; diff --git a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/InnerClasses.java b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/InnerClasses.java index 935545d51..d1422cdb8 100644 --- a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/InnerClasses.java +++ b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/InnerClasses.java @@ -87,6 +87,7 @@ public class InnerClasses extends Temp { se2.setSEVar(); System.out.println(sub2.hello()); //1001 + @SuppressWarnings("unused") int foo = 12; foo++; --foo; diff --git a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/MiniaturList2.java b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/MiniaturList2.java index 4ffa32782..db2178168 100644 --- a/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/MiniaturList2.java +++ b/com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world/MiniaturList2.java @@ -40,6 +40,7 @@ package foo.bar.hello.world; public class MiniaturList2 { public static void main(String[] args) { + @SuppressWarnings("unused") int a; for ( ;; ) { break; diff --git a/com.ibm.wala.cast.java.test.data/src/javaonepointfive/CustomGenericsAndFields.java b/com.ibm.wala.cast.java.test.data/src/javaonepointfive/CustomGenericsAndFields.java index 34f550a3a..54260c4e0 100644 --- a/com.ibm.wala.cast.java.test.data/src/javaonepointfive/CustomGenericsAndFields.java +++ b/com.ibm.wala.cast.java.test.data/src/javaonepointfive/CustomGenericsAndFields.java @@ -113,11 +113,13 @@ public class CustomGenericsAndFields { ///////////////////////////// + @SuppressWarnings("unused") String thrownaway = cg2.bar("a","b"); cg2.setFoo("real one"); MyGeneric> mygeneric = new MyGeneric>("useless",cg2); String x = mygeneric.doFoo(); System.out.println(x); + @SuppressWarnings("unused") String y = cg2.x; System.out.println(mygeneric.getB().y); System.out.println(mygeneric.b.y); // TODO: fields are going to be a pain... watch out for Lvalues in context? diff --git a/com.ibm.wala.cast.java.test.data/src/javaonepointfive/ExplicitBoxingTest.java b/com.ibm.wala.cast.java.test.data/src/javaonepointfive/ExplicitBoxingTest.java index e3d807eb1..da0c723ff 100644 --- a/com.ibm.wala.cast.java.test.data/src/javaonepointfive/ExplicitBoxingTest.java +++ b/com.ibm.wala.cast.java.test.data/src/javaonepointfive/ExplicitBoxingTest.java @@ -47,6 +47,7 @@ public class ExplicitBoxingTest { int a = 6; a = a + a; System.out.println(a); + @SuppressWarnings("unused") Integer useless1 = new Integer(5+6); Integer aa = new Integer(a+a); int aaa = aa.intValue(); @@ -55,6 +56,7 @@ public class ExplicitBoxingTest { int b = 6; b = b + b; System.out.println(b); + @SuppressWarnings("unused") Integer useless2 = 5+6; Integer bb = b+b; int bbb = bb; diff --git a/com.ibm.wala.cast.java.test.data/src/javaonepointfive/GenericArrays.java b/com.ibm.wala.cast.java.test.data/src/javaonepointfive/GenericArrays.java index fb22c9c5d..83910e2c7 100644 --- a/com.ibm.wala.cast.java.test.data/src/javaonepointfive/GenericArrays.java +++ b/com.ibm.wala.cast.java.test.data/src/javaonepointfive/GenericArrays.java @@ -52,6 +52,7 @@ public class GenericArrays { List li = new ArrayList(); li.add(new Integer(3)); oa[1] = li; // correct + @SuppressWarnings("unused") String s = (String) lsa[1].get(0); // run time error, but cast is explicit } diff --git a/com.ibm.wala.cast.java.test.data/src/javaonepointfive/TypeInferencePrimAndStringOp.java b/com.ibm.wala.cast.java.test.data/src/javaonepointfive/TypeInferencePrimAndStringOp.java index 1cd765235..d5ab2997e 100644 --- a/com.ibm.wala.cast.java.test.data/src/javaonepointfive/TypeInferencePrimAndStringOp.java +++ b/com.ibm.wala.cast.java.test.data/src/javaonepointfive/TypeInferencePrimAndStringOp.java @@ -13,6 +13,7 @@ package javaonepointfive; public class TypeInferencePrimAndStringOp { public static void main(String[] args) { int a = 2; + @SuppressWarnings("unused") String result = "a" + a; } } diff --git a/com.ibm.wala.cast.java.test.data/src/p/NonPrimaryTopLevel.java b/com.ibm.wala.cast.java.test.data/src/p/NonPrimaryTopLevel.java index 2ada3e70b..eb8470714 100644 --- a/com.ibm.wala.cast.java.test.data/src/p/NonPrimaryTopLevel.java +++ b/com.ibm.wala.cast.java.test.data/src/p/NonPrimaryTopLevel.java @@ -11,6 +11,7 @@ package p; public class NonPrimaryTopLevel { + @SuppressWarnings("unused") public static void main(String[] args) { NonPrimaryTopLevel nptl= new NonPrimaryTopLevel(); Foo f = new Foo(); diff --git a/com.ibm.wala.cast.java.test/src/com/ibm/wala/cast/java/test/JavaIRTests.java b/com.ibm.wala.cast.java.test/src/com/ibm/wala/cast/java/test/JavaIRTests.java index fc598dcb1..4eb2f8635 100644 --- a/com.ibm.wala.cast.java.test/src/com/ibm/wala/cast/java/test/JavaIRTests.java +++ b/com.ibm.wala.cast.java.test/src/com/ibm/wala/cast/java/test/JavaIRTests.java @@ -67,11 +67,11 @@ public abstract class JavaIRTests extends IRTests { @Test public void testSimple1() throws IllegalArgumentException, CancelException, IOException { List assertions = Arrays.asList( - new SourceMapAssertion("Source#Simple1#doStuff#(I)V", "prod", 24), - new SourceMapAssertion("Source#Simple1#doStuff#(I)V", "j", 23), - new SourceMapAssertion("Source#Simple1#main#([Ljava/lang/String;)V", "s", 32), - new SourceMapAssertion("Source#Simple1#main#([Ljava/lang/String;)V", "i", 28), - new SourceMapAssertion("Source#Simple1#main#([Ljava/lang/String;)V", "sum", 29), + new SourceMapAssertion("Source#Simple1#doStuff#(I)V", "prod", 25), + new SourceMapAssertion("Source#Simple1#doStuff#(I)V", "j", 24), + new SourceMapAssertion("Source#Simple1#main#([Ljava/lang/String;)V", "s", 33), + new SourceMapAssertion("Source#Simple1#main#([Ljava/lang/String;)V", "i", 29), + new SourceMapAssertion("Source#Simple1#main#([Ljava/lang/String;)V", "sum", 30), EdgeAssertions.make("Source#Simple1#main#([Ljava/lang/String;)V", "Source#Simple1#doStuff#(I)V"), EdgeAssertions.make("Source#Simple1#instanceMethod1#()V", "Source#Simple1#instanceMethod2#()V")); diff --git a/com.ibm.wala.core.testdata/src/cpa/CPATest1.java b/com.ibm.wala.core.testdata/src/cpa/CPATest1.java index 0ae6a9c3b..3f3fae901 100644 --- a/com.ibm.wala.core.testdata/src/cpa/CPATest1.java +++ b/com.ibm.wala.core.testdata/src/cpa/CPATest1.java @@ -44,6 +44,7 @@ public class CPATest1 { return x; } + @SuppressWarnings("unused") public static void main(String[] args) { F f = new F(3.4); I i = new I(7); diff --git a/com.ibm.wala.core.testdata/src/cpa/CPATest2.java b/com.ibm.wala.core.testdata/src/cpa/CPATest2.java index 034bafa96..a43dba5b4 100644 --- a/com.ibm.wala.core.testdata/src/cpa/CPATest2.java +++ b/com.ibm.wala.core.testdata/src/cpa/CPATest2.java @@ -44,6 +44,7 @@ public class CPATest2 { return x; } + @SuppressWarnings("unused") public static void main(String[] args) { F f = new F(3.4); I i = new I(7); diff --git a/com.ibm.wala.core.testdata/src/staticInit/TestStaticInitOrder.java b/com.ibm.wala.core.testdata/src/staticInit/TestStaticInitOrder.java index b53844f89..65c246159 100644 --- a/com.ibm.wala.core.testdata/src/staticInit/TestStaticInitOrder.java +++ b/com.ibm.wala.core.testdata/src/staticInit/TestStaticInitOrder.java @@ -14,6 +14,7 @@ public class TestStaticInitOrder { private static class A { + @SuppressWarnings("unused") static int f; static { @@ -26,6 +27,7 @@ public class TestStaticInitOrder { } private static class B { + @SuppressWarnings("unused") static int b; static { @@ -39,6 +41,7 @@ public class TestStaticInitOrder { private static class C extends B { + @SuppressWarnings("unused") static int c = 5; public static void dostuff() { diff --git a/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/CallGraphTest.java b/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/CallGraphTest.java index da83b7dc6..f4ffc5d41 100644 --- a/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/CallGraphTest.java +++ b/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/CallGraphTest.java @@ -399,6 +399,7 @@ public class CallGraphTest extends WalaTestCase { } // perform a little icfg exercise + @SuppressWarnings("unused") int count = 0; for (Iterator> it = icfg.iterator(); it.hasNext();) { BasicBlockInContext bb = it.next(); diff --git a/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/LambdaTest.java b/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/LambdaTest.java index 5c2c9fca4..baadca64b 100644 --- a/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/LambdaTest.java +++ b/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/LambdaTest.java @@ -48,6 +48,7 @@ public class LambdaTest extends WalaTestCase { "Lbug144/A"); AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints); + @SuppressWarnings("unused") CallGraph cg = CallGraphTestUtil.buildZeroCFA(options, new AnalysisCacheImpl(), cha, scope, false); }