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

Package:
src:polyml
Source:
polyml
Submitter:
"Aaron M. Ucko"
Date:
2017-12-10 23:27:06 UTC
Severity:
important
#884054#5
Date:
2017-12-10 22:09:04 UTC
From:
To:
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!
#884054#10
Date:
2017-12-10 23:04:32 UTC
From:
To:
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
#884054#15
Date:
2017-12-10 23:06:52 UTC
From:
To:
Sorry, I must have missed that. I will give that a go.

Is there a reduced test case?

Thanks,
Adrian
#884054#20
Date:
2017-12-10 23:24:08 UTC
From:
To:
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.

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