[pypy-issue] [issue925] RPython arrays sometimes getting the wrong type?

[Laurence Tratt]

Laurence Tratt <laurie at tratt.net> added the comment:

This doesn't appear to fix the bug for me. If I revert this patch:

  https://github.com/ltratt/converge/commit/75498f726fda2056722bac69c1388f42c229935c

I still get a similar error (albeit with a line number or two changed):

  [translation:ERROR] Error:
  [translation:ERROR]  Traceback (most recent call last):
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/translator/goal/translate.py", line 308, in main
  [translation:ERROR]     drv.proceed(goals)
  [translation:ERROR]    File "/home/ltratt/tmp/pypy/pypy/translator/driver.py",
line 809, in proceed
  [translation:ERROR]     return self._execute(goals, task_skip =
self._maybe_skip())
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/translator/tool/taskengine.py", line 116, in _execute
  [translation:ERROR]     res = self._do(goal, taskcallable, *args, **kwds)
  [translation:ERROR]    File "/home/ltratt/tmp/pypy/pypy/translator/driver.py",
line 286, in _do
  [translation:ERROR]     res = func()
  [translation:ERROR]    File "/home/ltratt/tmp/pypy/pypy/translator/driver.py",
line 397, in task_pyjitpl_lltype
  [translation:ERROR]     backend_name=self.config.translation.jit_backend,
inline=True)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/metainterp/warmspot.py", line 43, in apply_jit
  [translation:ERROR]     **kwds)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/metainterp/warmspot.py", line 215, in __init__
  [translation:ERROR]     self.codewriter.make_jitcodes(verbose=verbose)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/codewriter/codewriter.py", line 72, in make_jitcodes
  [translation:ERROR]     self.transform_graph_to_jitcode(graph, jitcode, verbose)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/codewriter/codewriter.py", line 41, in
transform_graph_to_jitcode
  [translation:ERROR]     transform_graph(graph, self.cpu, self.callcontrol,
portal_jd)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/codewriter/jtransform.py", line 24, in
transform_graph
  [translation:ERROR]     t.transform(graph)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/codewriter/jtransform.py", line 43, in transform
  [translation:ERROR]     self.optimize_block(block)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/codewriter/jtransform.py", line 67, in
optimize_block
  [translation:ERROR]     oplist = self.rewrite_operation(op)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/codewriter/jtransform.py", line 202, in
rewrite_operation
  [translation:ERROR]     return rewrite(self, op)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/codewriter/jtransform.py", line 520, in
rewrite_op_getarrayitem
  [translation:ERROR]     arraydescr = self.cpu.arraydescrof(ARRAY)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/backend/llsupport/llmodel.py", line 236, in
arraydescrof
  [translation:ERROR]     return get_array_descr(self.gc_ll_descr, A)
  [translation:ERROR]    File
"/home/ltratt/tmp/pypy/pypy/jit/backend/llsupport/descr.py", line 253, in
get_array_descr
  [translation:ERROR]     assert isinstance(ARRAY, lltype.GcArray)
  [translation:ERROR]  AssertionError

----------
status: resolved -> unread

________________________________________
PyPy bug tracker <tracker at bugs.pypy.org>
<https://bugs.pypy.org/issue925>
________________________________________