X10
  1. X10
  2. XTENLANG-2892

java.lang.IndexOutOfBoundsException in constraint system (SelfArrayReference_7)

    Details

    • Number of attachments :
      0

      Description

      http://legato.watson.ibm.com/cattrack/results/triloka24.watson.ibm.com/x10c-x86_64/7978/snapshot/default/Internal.lang.Constraints.Array/SelfArrayReference_7/default/Output.txt

      ****** Internal.lang.Constraints.Array SelfArrayReference_7 ******
      
      "/opt/ibm/java-x86_64-60/bin/java" -Xmx1024m -Dfile.encoding=UTF-8 -Dx10.dist="/tmp/x10reg/x10.dist" -Dx10c.ecj.jar="ecj.jar" -Dx10c.math.jar="commons-math-2.2.jar"   -classpath "/tmp/x10reg/x10.dist/lib/x10c.jar:/tmp/x10reg/x10.dist/lib/lpg.jar:/tmp/x10reg/x10.dist/lib/com.ibm.wala.cast.java_1.0.0.201101071300.jar:/tmp/x10reg/x10.dist/lib/com.ibm.wala.cast_1.0.0.201101071300.jar:/tmp/x10reg/x10.dist/lib/com.ibm.wala.core_1.1.3.201101071300.jar:/tmp/x10reg/x10.dist/lib/com.ibm.wala.shrike_1.3.1.201101071300.jar:/tmp/x10reg/x10.dist/lib/x10wala.jar:/tmp/x10reg/x10.dist/lib/org.eclipse.equinox.common_3.6.0.v20100503.jar"  polyglot.main.Main -extclass x10c.ExtensionInfo -x10lib /tmp/x10reg/x10.dist/stdlib/libx10.properties  '-CHECK_INVARIANTS=true' '-sourcepath' './x10lib' '-sourcepath' './Internal/lang/Constraints/Array' '-sourcepath' '/tmp/x10reg/x10.dist/samples' '-sourcepath' '/tmp/x10reg/x10.dist/samples/tutorial' '-sourcepath' '/tmp/x10reg/x10.dist/samples/work-stealing' '-sourcepath' '/tmp/x10reg/x10.dist/samples/CUDA' '-d' './Internal/lang/Constraints/Array' './Internal/lang/Constraints/Array/./SelfArrayReference_7.x10' './x10lib/harness/x10Test.x10' -classpath "./Internal/lang/Constraints/Array"
      Exception in thread "main" java.lang.IndexOutOfBoundsException: Index: 1, Size: 1
      	at java.util.ArrayList.get(ArrayList.java:343)
      	at x10.types.TypeParamSubst.reinstantiateConstraint(TypeParamSubst.java:309)
      	at x10.types.TypeParamSubst.reinstantiateConstraint(TypeParamSubst.java:281)
      	at polyglot.types.Types.realX(Types.java:939)
      	at x10.types.ConstrainedType.realX(ConstrainedType.java:192)
      	at x10.types.ConstrainedType.getRealXClause(ConstrainedType.java:181)
      	at polyglot.types.Types.realX(Types.java:934)
      	at x10.types.constraints.CConstraint.constraintProjection(CConstraint.java:725)
      	at x10.types.constraints.CConstraint.constraintProjection(CConstraint.java:749)
      	at x10.types.constraints.CConstraint.constraintProjection(CConstraint.java:749)
      	at x10.types.constraints.CConstraint.constraintProjection(CConstraint.java:787)
      	at x10.types.constraints.CConstraint.constraintProjection(CConstraint.java:682)
      	at x10.types.constraints.CConstraint.constraintProjection(CConstraint.java:674)
      	at polyglot.types.Context.constraintProjection(Context.java:569)
      	at x10.types.X10TypeEnv_c$4.make(X10TypeEnv_c.java:1381)
      	at x10.types.constraints.visitors.CEntailsVisitor.visitEquals(CEntailsVisitor.java:49)
      	at x10.constraint.visitors.XGraphVisitor.rawVisitEquals(XGraphVisitor.java:133)
      	at x10.constraint.XPromise.visit(XPromise.java:436)
      	at x10.constraint.XPromise.visit(XPromise.java:453)
      	at x10.constraint.XConstraint.visit(XConstraint.java:538)
      	at x10.types.constraints.CConstraint.entails(CConstraint.java:432)
      	at x10.types.X10TypeEnv_c.entails(X10TypeEnv_c.java:1379)
      	at x10.types.X10TypeEnv_c.typeEquals(X10TypeEnv_c.java:1282)
      	at polyglot.types.TypeSystem_c.typeEquals(TypeSystem_c.java:588)
      	at polyglot.types.TypeSystem_c$TypeEquals.isTrue(TypeSystem_c.java:1491)
      	at polyglot.types.TypeSystem_c$TypeEquals.isTrue(TypeSystem_c.java:1484)
      	at polyglot.util.CollectionUtil.allElementwise(CollectionUtil.java:51)
      	at polyglot.types.TypeSystem_c.methods(TypeSystem_c.java:3550)
      	at x10.types.X10TypeEnv_c.implemented(X10TypeEnv_c.java:1978)
      	at x10.types.X10TypeEnv_c.implemented(X10TypeEnv_c.java:1957)
      	at polyglot.types.TypeSystem_c.implemented(TypeSystem_c.java:1896)
      	at x10.types.MethodInstance_c.implemented(MethodInstance_c.java:487)
      	at x10.visit.X10PrettyPrinterVisitor.visit(X10PrettyPrinterVisitor.java:2222)
      	at x10.visit.X10DelegatingVisitor.visitAppropriate(X10DelegatingVisitor.java:259)
      	at x10.ast.X10DelFactory_c$TD.translate(X10DelFactory_c.java:53)
      	at x10.emitter.Emitter.prettyPrint(Emitter.java:528)
      	at x10.emitter.Emitter.coerce(Emitter.java:2655)
      	at x10.visit.X10PrettyPrinterVisitor.visit(X10PrettyPrinterVisitor.java:4100)
      	at x10.visit.X10DelegatingVisitor.visitAppropriate(X10DelegatingVisitor.java:189)
      	at x10.ast.X10DelFactory_c$TD.translate(X10DelFactory_c.java:53)
      	at polyglot.visit.Translator.print(Translator.java:131)
      	at x10.visit.X10Translator.print(X10Translator.java:103)
      	at polyglot.ast.Node_c.print(Node_c.java:406)
      	at polyglot.ast.Node_c.printBlock(Node_c.java:391)
      	at polyglot.ast.AbstractBlock_c.prettyPrint(AbstractBlock_c.java:87)
      	at polyglot.ast.Block_c.prettyPrint(Block_c.java:36)
      	at polyglot.ast.JL_c.prettyPrint(JL_c.java:257)
      	at polyglot.ast.Node_c.translate(Node_c.java:412)
      	at x10.visit.X10PrettyPrinterVisitor.visit(X10PrettyPrinterVisitor.java:3820)
      	at x10.visit.X10DelegatingVisitor.visitAppropriate(X10DelegatingVisitor.java:211)
      	at x10.ast.X10DelFactory_c$TD.translate(X10DelFactory_c.java:53)
      	at polyglot.visit.Translator.print(Translator.java:131)
      	at x10.visit.X10Translator.print(X10Translator.java:103)
      	at polyglot.ast.Node_c.print(Node_c.java:406)
      	at polyglot.ast.Node_c.printSubStmt(Node_c.java:398)
      	at polyglot.ast.For_c.prettyPrint(For_c.java:192)
      	at polyglot.ast.JL_c.prettyPrint(JL_c.java:257)
      	at polyglot.ast.Node_c.translate(Node_c.java:412)
      	at x10.visit.X10PrettyPrinterVisitor.visit(X10PrettyPrinterVisitor.java:4140)
      	at x10.visit.X10DelegatingVisitor.visit(X10DelegatingVisitor.java:411)
      	at x10.visit.X10DelegatingVisitor.visitAppropriate(X10DelegatingVisitor.java:184)
      	at x10.ast.X10DelFactory_c$TD.translate(X10DelFactory_c.java:53)
      	at polyglot.visit.Translator.print(Translator.java:131)
      	at x10.visit.X10Translator.print(X10Translator.java:103)
      	at polyglot.ast.Node_c.print(Node_c.java:406)
      	at polyglot.ast.Node_c.printBlock(Node_c.java:391)
      	at polyglot.ast.AbstractBlock_c.prettyPrint(AbstractBlock_c.java:87)
      	at polyglot.ast.Block_c.prettyPrint(Block_c.java:36)
      	at polyglot.ast.JL_c.prettyPrint(JL_c.java:257)
      	at polyglot.ast.Node_c.translate(Node_c.java:412)
      	at x10.visit.X10PrettyPrinterVisitor.visit(X10PrettyPrinterVisitor.java:3820)
      	at x10.visit.X10DelegatingVisitor.visitAppropriate(X10DelegatingVisitor.java:211)
      	at x10.ast.X10DelFactory_c$TD.translate(X10DelFactory_c.java:53)
      	at polyglot.visit.Translator.print(Translator.java:131)
      	at x10.visit.X10Translator.print(X10Translator.java:103)
      	at x10.emitter.Emitter.generateMethodDecl(Emitter.java:1164)
      	at x10.visit.X10PrettyPrinterVisitor.visit(X10PrettyPrinterVisitor.java:3806)
      	at x10.visit.X10DelegatingVisitor.visitAppropriate(X10DelegatingVisitor.java:214)
      	at x10.ast.X10DelFactory_c$TD.translate(X10DelFactory_c.java:53)
      	at polyglot.visit.Translator.print(Translator.java:131)
      	at x10.visit.X10Translator.print(X10Translator.java:103)
      	at polyglot.ast.Node_c.print(Node_c.java:406)
      	at polyglot.ast.Node_c.printBlock(Node_c.java:391)
      	at x10.ast.X10ClassBody_c.prettyPrint(X10ClassBody_c.java:414)
      	at polyglot.ast.JL_c.prettyPrint(JL_c.java:257)
      	at polyglot.ast.Node_c.translate(Node_c.java:412)
      	at x10.visit.X10PrettyPrinterVisitor.visit(X10PrettyPrinterVisitor.java:394)
      	at x10.visit.X10DelegatingVisitor.visitAppropriate(X10DelegatingVisitor.java:283)
      	at x10.ast.X10DelFactory_c$TD.translate(X10DelFactory_c.java:53)
      	at polyglot.visit.Translator.print(Translator.java:131)
      	at x10.visit.X10Translator.print(X10Translator.java:103)
      	at polyglot.ast.Node_c.print(Node_c.java:406)
      	at x10.visit.X10PrettyPrinterVisitor.visit(X10PrettyPrinterVisitor.java:916)
      	at x10.visit.X10DelegatingVisitor.visitAppropriate(X10DelegatingVisitor.java:281)
      	at x10.ast.X10DelFactory_c$TD.translate(X10DelFactory_c.java:53)
      	at polyglot.visit.Translator.translateTopLevelDecl(Translator.java:258)
      	at x10.visit.X10Translator.translateSource(X10Translator.java:148)
      	at polyglot.visit.Translator.translate(Translator.java:142)
      	at polyglot.frontend.OutputGoal.runTask(OutputGoal.java:37)
      	at x10.ExtensionInfo$X10Scheduler$ValidatingOutputGoal.runTask(ExtensionInfo.java:875)
      	at polyglot.frontend.Scheduler.runPass(Scheduler.java:371)
      	at x10.ExtensionInfo$X10Scheduler.runPass(ExtensionInfo.java:1146)
      	at polyglot.frontend.AbstractGoal_c.run(AbstractGoal_c.java:133)
      	at polyglot.types.LazyRef_c.get(LazyRef_c.java:56)
      	at polyglot.frontend.AbstractGoal_c.run(AbstractGoal_c.java:75)
      	at polyglot.types.LazyRef_c.get(LazyRef_c.java:56)
      	at polyglot.frontend.AbstractGoal_c.run(AbstractGoal_c.java:75)
      	at polyglot.types.LazyRef_c.get(LazyRef_c.java:56)
      	at polyglot.frontend.Scheduler.attempt(Scheduler.java:271)
      	at polyglot.frontend.Scheduler.runToCompletion(Scheduler.java:205)
      	at polyglot.frontend.Scheduler.runToCompletion(Scheduler.java:191)
      	at polyglot.frontend.Compiler.compile(Compiler.java:279)
      	at polyglot.frontend.Compiler.compileFiles(Compiler.java:239)
      	at polyglot.main.Main.start(Main.java:135)
      	at polyglot.main.Main.start(Main.java:76)
      	at polyglot.main.Main.main(Main.java:185)
      
      real	0m8.896s
      user	0m17.641s
      sys	0m1.214s
      
      ****** Internal.lang.Constraints.Array SelfArrayReference_7 failed: compile
      

        Issue Links

          Activity

          No work has yet been logged on this issue.

            People

            • Assignee:
              Dave Cunningham
              Reporter:
              Mikio Takeuchi
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: