Build failed in Jenkins: plume-lib-typecheck » Local_jdk8u #1082

[zab...@gmail.com]

See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/1082/>

------------------------------------------
[...truncated 112 lines...]
org.checkerframework.framework.util.MultiGraphQualifierHierarchy.isSubtype(MultiGraphQualifierHierarchy.java:364)
org.checkerframework.common.basetype.BaseTypeVisitor.checkTypecastSafety(BaseTypeVisitor.java:1689)
org.checkerframework.common.basetype.BaseTypeVisitor.visitTypeCast(BaseTypeVisitor.java:1705)
org.checkerframework.checker.initialization.InitializationVisitor.visitTypeCast(InitializationVisitor.java:234)
org.checkerframework.checker.nullness.NullnessVisitor.visitTypeCast(NullnessVisitor.java:430)
org.checkerframework.checker.nullness.NullnessVisitor.visitTypeCast(NullnessVisitor.java:57)
com.sun.tools.javac.tree.JCTree$JCTypeCast.accept(JCTree.java:1821)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitVariable(TreeScanner.java:153)
org.checkerframework.common.basetype.BaseTypeVisitor.visitVariable(BaseTypeVisitor.java:891)
org.checkerframework.checker.initialization.InitializationVisitor.visitVariable(InitializationVisitor.java:159)
org.checkerframework.checker.initialization.InitializationVisitor.visitVariable(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:864)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:267)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitIf(TreeScanner.java:237)
org.checkerframework.checker.nullness.NullnessVisitor.visitIf(NullnessVisitor.java:356)
org.checkerframework.checker.nullness.NullnessVisitor.visitIf(NullnessVisitor.java:57)
com.sun.tools.javac.tree.JCTree$JMemory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39334592(38412K) committed = 39780352(38848K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20507512(20026K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39334592(38412K) committed = 39780352(38848K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39334592(38412K) committed = 39780352(38848K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20508240(20027K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39334592(38412K) committed = 39780352(38848K) max = 251658240(245760K)
Memory pool Metaspace statistics
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20510240(20029K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1837520(1794K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683671552(667648K) committed = 683671552(667648K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66055232(64507K) committed = 95420416(93184K) max = 95420416(93184K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1045876512(1021363K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1837520(1794K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 39334592(38412K) committed = 39780352(38848K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20510368(20029K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1837520(1794K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683671552(667648K) committed = 683671552(667648K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 20507848(20027K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1837520(1794K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683671552(667648K) committed = 683671552(667648K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 39334592(38412K) committed = 39780352(38848K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20510368(20029K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1837520(1794K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683671552(667648K) committed = 683671552(667648K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66055232(64507K) committed = 95420416(93184K) max = 95420416(93184K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1837520(1794K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66055232(64507K) committed = 95420416(93184K) max = 95420416(93184K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1045876512(1021363K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 683671552(667648K) committed = 683671552(667648K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66055232(64507K) committed = 95420416(93184K) max = 95420416(93184K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1045876512(1021363K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39334592(38412K) committed = 39780352(38848K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20510368(20029K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1837520(1794K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683671552(667648K) committed = 683671552(667648K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66055232(64507K) committed = 95420416(93184K) max = 95420416(93184K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1045876512(1021363K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 683671552(667648K) committed = 683671552(667648K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66055232(64507K) committed = 95420416(93184K) max = 95420416(93184K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1045876512(1021363K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 66055232(64507K) committed = 95420416(93184K) max = 95420416(93184K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1045876512(1021363K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 1045876512(1021363K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
CIf.accept(JCTree.java:1277)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:267)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitForLoop(TreeScanner.java:181)
org.checkerframework.checker.nullness.NullnessVisitor.visitForLoop(NullnessVisitor.java:517)
org.checkerframework.checker.nullness.NullnessVisitor.visitForLoop(NullnessVisitor.java:57)
com.sun.tools.javac.tree.JCTree$JCForLoop.accept(JCTree.java:1013)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:267)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitIf(TreeScanner.java:237)
org.checkerframework.checker.nullness.NullnessVisitor.visitIf(NullnessVisitor.java:356)
org.checkerframework.checker.nullness.NullnessVisitor.visitIf(NullnessVisitor.java:57)
com.sun.tools.javac.tree.JCTree$JCIf.accept(JCTree.java:1277)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:267)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitMethod(TreeScanner.java:144)
org.checkerframework.common.basetype.BaseTypeVisitor.visitMethod(BaseTypeVisitor.java:519)
org.checkerframework.checker.initialization.InitializationVisitor.visitMethod(InitializationVisitor.java:357)
org.checkerframework.checker.initialization.InitializationVisitor.visitMethod(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:800)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:99)
com.sun.source.util.TreeScanner.visitClass(TreeScanner.java:133)
org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:319)
org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:297)
org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:720)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:50)
org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:66)
org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:978)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:464)
org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:208)
com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:681)
com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:111)
com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1342)
com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1296)
com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
com.sun.tools.javac.main.Main.compile(Main.java:523)
com.sun.tools.javac.main.Main.compile(Main.java:381)
com.sun.tools.javac.main.Main.compile(Main.java:370)
com.sun.tools.javac.main.Main.compile(Main.java:361)
com.sun.tools.javac.Main.compile(Main.java:56)
com.sun.tools.javac.Main.main(Main.java:42)
2 errors
make[3]: *** [.class-files-timestamp] Error 1
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[2]: *** [.optionsdoc-timestamp] Error 2
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[1]: *** [plume.jar] Error 2
make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make: *** [typecheck] Error 2
make: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
Build step 'Execute shell' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE

[zab...@gmail.com]

See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/1083/changes>