Bug#884054: polyml: FTBFS on sh4: MemMgr: Assertion `t->tree[r] == 0' failed.

2017-12-10 Thread James Clarke 
On 10 Dec 2017, at 23:06, John Paul Adrian Glaubitz 
 wrote:
> On 12/11/2017 12:04 AM, James Clarke wrote:
>> Yeah, I noticed this back when I was uploading to experimental a few months
>> ago. I suspect it's an issue with qemu-user's atomics support on sh4, which
>> have been notoriously unreliable in the past, and asked Adrian to see if he
>> could reproduce this on real hardware, but that never ended up happening.
> Sorry, I must have missed that. I will give that a go.

No problem, I asked once a while ago while you were busy and I've had other
priorities since so never got round to reminding you.

> Is there a reduced test case?

Not that I know of; it dies building a module with the just-built Poly/ML
compiler, so dpkg-buildpackage is probably the easiest reproducer.

James

Bug#884054: polyml: FTBFS on sh4: MemMgr: Assertion `t->tree[r] == 0' failed.

2017-12-10 Thread John Paul Adrian Glaubitz 
On 12/11/2017 12:04 AM, James Clarke wrote:
> Yeah, I noticed this back when I was uploading to experimental a few months
> ago. I suspect it's an issue with qemu-user's atomics support on sh4, which
> have been notoriously unreliable in the past, and asked Adrian to see if he
> could reproduce this on real hardware, but that never ended up happening.
Sorry, I must have missed that. I will give that a go.

Is there a reduced test case?

Thanks,
Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaub...@debian.org
`. `'   Freie Universitaet Berlin - glaub...@physik.fu-berlin.de
  `-GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913

Bug#884054: polyml: FTBFS on sh4: MemMgr: Assertion `t->tree[r] == 0' failed.

2017-12-10 Thread James Clarke 
> On 10 Dec 2017, at 22:09, Aaron M. Ucko  wrote:
> 
> Source: polyml
> Version: 5.7.1-1
> Severity: important
> Tags: upstream
> Justification: fails to build from source (but built successfully in the past)
> User: debian-sup...@lists.debian.org
> Usertags: sh4
> 
> Builds of polyml 5.7.x for sh4 (admittedly not a release architecture)
> have been failing:
> 
>  echo "use \"./ROOT.sml\";" | ../../poly -q -error-exit
>  poly: memmgr.cpp:957: void MemMgr::AddTreeRange(SpaceTree**, MemSpace*, 
> uintptr_t, uintptr_t): Assertion `t->tree[r] == 0' failed.
> 
> Could you please take a look?

Yeah, I noticed this back when I was uploading to experimental a few months
ago. I suspect it's an issue with qemu-user's atomics support on sh4, which
have been notoriously unreliable in the past, and asked Adrian to see if he
could reproduce this on real hardware, but that never ended up happening. Given
its reliable reproduction on the sh4 vs9X buildds and nowhere else I would be
surprised if it was in fact a bug in the package, but you never know...

James

Bug#884054: polyml: FTBFS on sh4: MemMgr: Assertion `t->tree[r] == 0' failed.

2017-12-10 Thread Aaron M. Ucko 
Source: polyml
Version: 5.7.1-1
Severity: important
Tags: upstream
Justification: fails to build from source (but built successfully in the past)
User: debian-sup...@lists.debian.org
Usertags: sh4

Builds of polyml 5.7.x for sh4 (admittedly not a release architecture)
have been failing:

  echo "use \"./ROOT.sml\";" | ../../poly -q -error-exit
  poly: memmgr.cpp:957: void MemMgr::AddTreeRange(SpaceTree**, MemSpace*, 
uintptr_t, uintptr_t): Assertion `t->tree[r] == 0' failed.

Could you please take a look?

Thanks!

-- 
Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org)
http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?a...@monk.mit.edu