Build failed in Jenkins: plume-lib-typecheck » Local_jdk8u #858
0 views
Skip to first unread message
zab...@gmail.com
May 10, 2016, 2:33:49 PM5/10/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/858/changes>
Changes:
[Michael Ernst] Handle argument-commenting annotations
------------------------------------------
[...truncated 14 lines...]
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f 69f414ba4013bf45f4ab1cc9bc49eb4b16928a0d
> /www/secs-jenkins/tools/git-2.4.5/git rev-list 1e36ac432818bca3c4f9caced7b7a0de29173478 # timeout=10
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson4274005005724779989.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson272256154914272881.sh
+ PATH=/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive>
+ JAVAC=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac>
+ JAVAC_TARGET_FLAGS='-source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats'
+ make -C java typecheck
make: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
(cd src/plume && ../../../bin/java-cpp MathMDE.java.jpp 2>&1 > MathMDE.java)
\rm -f .class-files-timestamp
make JAVAC_COMMAND="<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac> -g -Xlint -Xmaxwarns 1000 -J-Xmx2000m -source 7 -target 7 -Xlint:-options -Werror -Xlint:-classfile -source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats -source 7 -target 7 -Xlint:-options -Awarns -implicit:class -Xlint:-processing -AcheckPurityAnnotations -AsuppressWarnings=lock:method.guarantee.violated -processor org.checkerframework.checker.nullness.NullnessRawnessChecker,org.checkerframework.checker.nullness.NullnessChecker,org.checkerframework.checker.interning.InterningChecker,org.checkerframework.checker.regex.RegexChecker,org.checkerframework.checker.formatter.FormatterChecker,org.checkerframework.checker.signature.SignatureChecker,org.checkerframework.checker.lock.LockChecker "
make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make tools_jar_exists
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[3]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make clean optionsdoc
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
rm -f src/plume/*.class
rm -f .class-files-timestamp
rm -f .javadoc-timestamp
rm -f .optionsdoc-timestamp
rm -f .test-timestamp
rm -f plume.jar lookup.jar task_manager.jar
make compile
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make tools_jar_exists
make[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[5]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[5]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[5]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac> -g -Xlint -Xmaxwarns 1000 -J-Xmx2000m -source 7 -target 7 -Xlint:-options -Werror -Xlint:-classfile -source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats -source 7 -target 7 -Xlint:-options -Awarns -implicit:class -Xlint:-processing -AcheckPurityAnnotations -AsuppressWarnings=lock:method.guarantee.violated -processor org.checkerframework.checker.nullness.NullnessRawnessChecker,org.checkerframework.checker.nullness.NullnessChecker,org.checkerframework.checker.interning.InterningChecker,org.checkerframework.checker.regex.RegexChecker,org.checkerframework.checker.formatter.FormatterChecker,org.checkerframework.checker.signature.SignatureChecker,org.checkerframework.checker.lock.LockChecker src/plume/ArraysMDE.java src/plume/BCELUtil.java src/plume/BibtexClean.java src/plume/ClassFileVersion.java src/plume/CountingPrintWriter.java src/plume/DeterministicObject.java src/plume/Digest.java src/plume/EntryReader.java src/plume/FileCompiler.java src/plume/FileIOException.java src/plume/Filter.java src/plume/FuzzyFloat.java src/plume/GraphMDE.java src/plume/Hasher.java src/plume/HtmlPrettyPrint.java src/plume/ICalAvailable.java src/plume/Intern.java src/plume/IterableIterator.java src/plume/JWhich.java src/plume/LimitedSizeIntSet.java src/plume/LimitedSizeSet.java src/plume/Lookup.java src/plume/MathMDE.java src/plume/MultiRandSelector.java src/plume/MultiVersionControl.java src/plume/Option.java src/plume/OptionGroup.java src/plume/Options.java src/plume/OptionsDoclet.java src/plume/OrderedPairIterator.java src/plume/Pair.java src/plume/Partitioner.java src/plume/RandomSelector.java src/plume/RandoopMappedCalls.java src/plume/RegexUtil.java src/plume/SimpleLog.java src/plume/Stopwatch.java src/plume/StrTok.java src/plume/StringBuilderDelimited.java src/plume/TaskManager.java src/plume/TestPlume.java src/plume/TimeLimitProcess.java src/plume/Triple.java src/plume/Unpublicized.java src/plume/UtilMDE.java src/plume/WeakHasherMap.java src/plume/WeakIdentityHashMap.java src/plume/WeakIdentityPair.java src/plume/package-info.java 2>&1
error: SourceChecker.typeProcess: unexpected Throwable (AssertionError) while processing src/plume/FileCompiler.java; message: Could not find path in NewClassTree.
treePath=com.sun.source.util.TreePath@3b1f44e6
methodInvocation=new File(pathName)
Compilation unit: src/plume/FileCompiler.java
Exception: java.lang.AssertionError: Could not find path in NewClassTree.
treePath=com.sun.source.util.TreePath@3b1f44e6
methodInvocation=new File(pathName); Stack trace: org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil.assignedTo(TypeArgInferenceUtil.java:204)
org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator.visitNewClass(KeyForPropagationTreeAnnotator.java:104)
org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator.visitNewClass(KeyForPropagationTreeAnnotator.java:52)
com.sun.tools.javac.tree.JCTree$JCNewClass.accept(JCTree.java:1532)
com.sun.source.util.SimpleTreeVisitor.visit(SimpleTreeVisitor.java:53)
org.checkerframework.framework.type.treeannotator.ListTreeAnnotator.defaultAction(ListTreeAnnotator.java:38)
org.checkerframework.framework.type.treeannotator.ListTreeAnnotator.defaultAction(ListTreeAnnotator.java:21)
com.sun.source.util.SimpleTreeVisitor.visitNewClass(SimpleTreeVisitor.java:169)
com.sun.tools.javac.tree.JCTree$JCNewClass.accept(JCTree.java:1532)
com.sun.source.util.SimpleTreeVisitor.visit(SimpleTreeVisitor.java:53)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:1060)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:1037)
org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:920)
org.checkerframework.framework.type.AnnotatedTypeFactory.getReceiverType(AnnotatedTypeFactory.java:1722)
org.checkerframework.framework.type.AnnotatedTypeFactory.methodFromUse(AnnotatedTypeFactory.java:1762)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.methodFromUse(GenericAnnotatedTypeFactory.java:1131)
org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory.methodFromUse(KeyForAnnotatedTypeFactory.java:184)
org.checkerframework.framework.type.TypeFromExpressionVisitor.visitMethodInvocation(TypeFromExpressionVisitor.java:221)
org.checkerframework.framework.type.TypeFromExpressionVisitor.visitMethodInvocation(TypeFromExpressionVisitor.java:52)
com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1477)
com.sun.source.util.SimpleTreeVisitor.visit(SimpleTreeVisitor.java:53)
org.checkerframework.framework.type.TypeFromTree.fromExpression(TypeFromTree.java:36)
org.checkerframework.framework.type.AnnotatedTypeFactory.fromExpression(AnnotatedTypeFactory.java:1132)
org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:913)
org.checkerframework.framework.flow.CFAbstractTransfer.getValueFromFactory(CFAbstractTransfer.java:211)
org.checkerframework.framework.flow.CFAbstractTransfer.visitMethodInvocation(CFAbstractTransfer.java:858)
org.checkerframework.checker.nullness.KeyForTransfer.visitMethodInvocation(KeyForTransfer.java:58)
org.checkerframework.checker.nullness.KeyForTransfer.visitMethodInvocation(KeyForTransfer.java:30)
org.checkerframework.dataflow.cfg.node.MethodInvocationNode.accept(MethodInvocationNode.java:81)
org.checkerframework.dataflow.analysis.Analysis.callTransferFunction(Analysis.java:362)
org.checkerframework.dataflow.analysis.Analysis.performAnalysis(Analysis.java:220)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:893)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:861)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:805)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:1090)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:1057)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:1037)
org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:920)
org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:2081)
org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:297)
org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:171)
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:70)
org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:943)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:448)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:442)
org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:209)
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)
src/plume/RegexUtil.java:148: warning: [flowexpr.parameter.not.final] parameter #1 in '#1' is not effectively final (i.e., it gets re-assigned)
public static boolean isRegex(String s) {
^
1 error
1 warning
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Memory pool Code Cache 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 = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20404688(19926K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20404816(19926K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Memory pool Metaspace statistics
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
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
Changes:
[Michael Ernst] Handle argument-commenting annotations
------------------------------------------
[...truncated 14 lines...]
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f 69f414ba4013bf45f4ab1cc9bc49eb4b16928a0d
> /www/secs-jenkins/tools/git-2.4.5/git rev-list 1e36ac432818bca3c4f9caced7b7a0de29173478 # timeout=10
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson4274005005724779989.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson272256154914272881.sh
+ PATH=/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive>
+ JAVAC=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac>
+ JAVAC_TARGET_FLAGS='-source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats'
+ make -C java typecheck
make: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
(cd src/plume && ../../../bin/java-cpp MathMDE.java.jpp 2>&1 > MathMDE.java)
\rm -f .class-files-timestamp
make JAVAC_COMMAND="<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac> -g -Xlint -Xmaxwarns 1000 -J-Xmx2000m -source 7 -target 7 -Xlint:-options -Werror -Xlint:-classfile -source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats -source 7 -target 7 -Xlint:-options -Awarns -implicit:class -Xlint:-processing -AcheckPurityAnnotations -AsuppressWarnings=lock:method.guarantee.violated -processor org.checkerframework.checker.nullness.NullnessRawnessChecker,org.checkerframework.checker.nullness.NullnessChecker,org.checkerframework.checker.interning.InterningChecker,org.checkerframework.checker.regex.RegexChecker,org.checkerframework.checker.formatter.FormatterChecker,org.checkerframework.checker.signature.SignatureChecker,org.checkerframework.checker.lock.LockChecker "
make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make tools_jar_exists
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[3]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make clean optionsdoc
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
rm -f src/plume/*.class
rm -f .class-files-timestamp
rm -f .javadoc-timestamp
rm -f .optionsdoc-timestamp
rm -f .test-timestamp
rm -f plume.jar lookup.jar task_manager.jar
make compile
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make tools_jar_exists
make[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[5]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[5]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[5]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac> -g -Xlint -Xmaxwarns 1000 -J-Xmx2000m -source 7 -target 7 -Xlint:-options -Werror -Xlint:-classfile -source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats -source 7 -target 7 -Xlint:-options -Awarns -implicit:class -Xlint:-processing -AcheckPurityAnnotations -AsuppressWarnings=lock:method.guarantee.violated -processor org.checkerframework.checker.nullness.NullnessRawnessChecker,org.checkerframework.checker.nullness.NullnessChecker,org.checkerframework.checker.interning.InterningChecker,org.checkerframework.checker.regex.RegexChecker,org.checkerframework.checker.formatter.FormatterChecker,org.checkerframework.checker.signature.SignatureChecker,org.checkerframework.checker.lock.LockChecker src/plume/ArraysMDE.java src/plume/BCELUtil.java src/plume/BibtexClean.java src/plume/ClassFileVersion.java src/plume/CountingPrintWriter.java src/plume/DeterministicObject.java src/plume/Digest.java src/plume/EntryReader.java src/plume/FileCompiler.java src/plume/FileIOException.java src/plume/Filter.java src/plume/FuzzyFloat.java src/plume/GraphMDE.java src/plume/Hasher.java src/plume/HtmlPrettyPrint.java src/plume/ICalAvailable.java src/plume/Intern.java src/plume/IterableIterator.java src/plume/JWhich.java src/plume/LimitedSizeIntSet.java src/plume/LimitedSizeSet.java src/plume/Lookup.java src/plume/MathMDE.java src/plume/MultiRandSelector.java src/plume/MultiVersionControl.java src/plume/Option.java src/plume/OptionGroup.java src/plume/Options.java src/plume/OptionsDoclet.java src/plume/OrderedPairIterator.java src/plume/Pair.java src/plume/Partitioner.java src/plume/RandomSelector.java src/plume/RandoopMappedCalls.java src/plume/RegexUtil.java src/plume/SimpleLog.java src/plume/Stopwatch.java src/plume/StrTok.java src/plume/StringBuilderDelimited.java src/plume/TaskManager.java src/plume/TestPlume.java src/plume/TimeLimitProcess.java src/plume/Triple.java src/plume/Unpublicized.java src/plume/UtilMDE.java src/plume/WeakHasherMap.java src/plume/WeakIdentityHashMap.java src/plume/WeakIdentityPair.java src/plume/package-info.java 2>&1
error: SourceChecker.typeProcess: unexpected Throwable (AssertionError) while processing src/plume/FileCompiler.java; message: Could not find path in NewClassTree.
treePath=com.sun.source.util.TreePath@3b1f44e6
methodInvocation=new File(pathName)
Compilation unit: src/plume/FileCompiler.java
Exception: java.lang.AssertionError: Could not find path in NewClassTree.
treePath=com.sun.source.util.TreePath@3b1f44e6
methodInvocation=new File(pathName); Stack trace: org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil.assignedTo(TypeArgInferenceUtil.java:204)
org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator.visitNewClass(KeyForPropagationTreeAnnotator.java:104)
org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator.visitNewClass(KeyForPropagationTreeAnnotator.java:52)
com.sun.tools.javac.tree.JCTree$JCNewClass.accept(JCTree.java:1532)
com.sun.source.util.SimpleTreeVisitor.visit(SimpleTreeVisitor.java:53)
org.checkerframework.framework.type.treeannotator.ListTreeAnnotator.defaultAction(ListTreeAnnotator.java:38)
org.checkerframework.framework.type.treeannotator.ListTreeAnnotator.defaultAction(ListTreeAnnotator.java:21)
com.sun.source.util.SimpleTreeVisitor.visitNewClass(SimpleTreeVisitor.java:169)
com.sun.tools.javac.tree.JCTree$JCNewClass.accept(JCTree.java:1532)
com.sun.source.util.SimpleTreeVisitor.visit(SimpleTreeVisitor.java:53)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:1060)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:1037)
org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:920)
org.checkerframework.framework.type.AnnotatedTypeFactory.getReceiverType(AnnotatedTypeFactory.java:1722)
org.checkerframework.framework.type.AnnotatedTypeFactory.methodFromUse(AnnotatedTypeFactory.java:1762)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.methodFromUse(GenericAnnotatedTypeFactory.java:1131)
org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory.methodFromUse(KeyForAnnotatedTypeFactory.java:184)
org.checkerframework.framework.type.TypeFromExpressionVisitor.visitMethodInvocation(TypeFromExpressionVisitor.java:221)
org.checkerframework.framework.type.TypeFromExpressionVisitor.visitMethodInvocation(TypeFromExpressionVisitor.java:52)
com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1477)
com.sun.source.util.SimpleTreeVisitor.visit(SimpleTreeVisitor.java:53)
org.checkerframework.framework.type.TypeFromTree.fromExpression(TypeFromTree.java:36)
org.checkerframework.framework.type.AnnotatedTypeFactory.fromExpression(AnnotatedTypeFactory.java:1132)
org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:913)
org.checkerframework.framework.flow.CFAbstractTransfer.getValueFromFactory(CFAbstractTransfer.java:211)
org.checkerframework.framework.flow.CFAbstractTransfer.visitMethodInvocation(CFAbstractTransfer.java:858)
org.checkerframework.checker.nullness.KeyForTransfer.visitMethodInvocation(KeyForTransfer.java:58)
org.checkerframework.checker.nullness.KeyForTransfer.visitMethodInvocation(KeyForTransfer.java:30)
org.checkerframework.dataflow.cfg.node.MethodInvocationNode.accept(MethodInvocationNode.java:81)
org.checkerframework.dataflow.analysis.Analysis.callTransferFunction(Analysis.java:362)
org.checkerframework.dataflow.analysis.Analysis.performAnalysis(Analysis.java:220)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:893)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:861)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:805)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:1090)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:1057)
org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:1037)
org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:920)
org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:2081)
org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:297)
org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:171)
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:70)
org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:943)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:448)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:442)
org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:209)
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)
src/plume/RegexUtil.java:148: warning: [flowexpr.parameter.not.final] parameter #1 in '#1' is not effectively final (i.e., it gets re-assigned)
public static boolean isRegex(String s) {
^
1 error
1 warning
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Memory pool Code Cache 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 = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20404688(19926K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20404816(19926K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 39487168(38561K) committed = 40435712(39488K) max = 251658240(245760K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Memory pool Metaspace statistics
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Peak usage: init = 0(0K) used = 20407496(19929K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1822968(1780K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 687865856(671744K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63216392(61734K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049144640(1024555K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
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
May 10, 2016, 2:57:22 PM5/10/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/859/>
------------------------------------------
[...truncated 13 lines...]
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f 69f414ba4013bf45f4ab1cc9bc49eb4b16928a0d
> /www/secs-jenkins/tools/git-2.4.5/git rev-list 69f414ba4013bf45f4ab1cc9bc49eb4b16928a0d # timeout=10
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson6217191177161016606.sh
Peak usage: init = 1056964608(1032192K) used = 1053767808(1029070K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 2555904(2496K) used = 40092864(39153K) committed = 41156608(40192K) max = 251658240(245760K)
Peak usage: init = 0(0K) used = 20454992(19975K) committed = 21102592(20608K) max = -1(-1K)
------------------------------------------
[...truncated 13 lines...]
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f 69f414ba4013bf45f4ab1cc9bc49eb4b16928a0d
> /www/secs-jenkins/tools/git-2.4.5/git rev-list 69f414ba4013bf45f4ab1cc9bc49eb4b16928a0d # timeout=10
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson6217191177161016606.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson5306483852136608114.sh
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
+ PATH=/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive>
+ JAVAC=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac>
+ JAVAC_TARGET_FLAGS='-source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats'
+ make -C java typecheck
make: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
+ CHECKERFRAMEWORK=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive>
+ JAVAC=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac>
+ JAVAC_TARGET_FLAGS='-source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats'
+ make -C java typecheck
make: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40092864(39153K) committed = 41156608(40192K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20454520(19975K) committed = 21102592(20608K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1825048(1782K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63441240(61954K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053767808(1029070K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: 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 = 40092864(39153K) committed = 41156608(40192K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40092864(39153K) committed = 41156608(40192K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20454992(19975K) committed = 21102592(20608K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40092864(39153K) committed = 41156608(40192K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20454992(19975K) committed = 21102592(20608K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1825048(1782K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1825048(1782K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63441240(61954K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63441240(61954K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053767808(1029070K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053767808(1029070K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 2555904(2496K) used = 40092864(39153K) committed = 41156608(40192K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20456928(19977K) committed = 21102592(20608K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1825048(1782K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63441240(61954K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053767808(1029070K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40092864(39153K) committed = 41156608(40192K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20457264(19977K) committed = 21102592(20608K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1825048(1782K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63441240(61954K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053767808(1029070K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40092864(39153K) committed = 41156608(40192K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20457600(19978K) committed = 21102592(20608K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1825048(1782K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63441240(61954K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053767808(1029070K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 0(0K) used = 20454992(19975K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1825048(1782K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63441240(61954K) committed = 88604672(86528K) max = 88604672(86528K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053767808(1029070K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
error: SourceChecker.typeProcess: unexpected Throwable (AssertionError) while processing src/plume/FileCompiler.java; message: Could not find path in NewClassTree.
treePath=com.sun.source.util.TreePath@2927c3c4
methodInvocation=new File(pathName)
Compilation unit: src/plume/FileCompiler.java
Exception: java.lang.AssertionError: Could not find path in NewClassTree.
treePath=com.sun.source.util.TreePath@2927c3c4
Compilation unit: src/plume/FileCompiler.java
Exception: java.lang.AssertionError: Could not find path in NewClassTree.
zab...@gmail.com
May 10, 2016, 10:16:09 PM5/10/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages