The cause would appear to be 32-bit versus 64-bit compilation, if I am
correctly reading https://github.com/metamath/metamath-exe/issues/164
On 4/25/25 13:34, Caleb Nwokocha wrote:
Hi David,
I am using GNU GCC Compiler and I have tried these compiler
flags: -std=c99, -std=c11, -std=c17, -m64
The bug is still showing.
Sincerely,
Caleb Nwokocha
On Wednesday, 23 April 2025 at 09:26:27 UTC-5 David A. Wheeler wrote:
> On Apr 22, 2025, at 7:05 PM, Caleb Nwokocha
<[email protected]> wrote:
>
> Metamath Group,
>
> I compiled Metamath source code on Windows 10 to make the
executable program. Then I opened the program and it showed:
>
> *** BUG #1501
I don't have a Windows 10 machine so I can't reproduce this.
What compiler did you use? How did you compile it?
A quick solution might be to use a different compiler.
Here's some context:
"BUG #1501" is the result of a failed self-check in file mminou.c.
It's invoked in function "print2", a printing function like printf
except
it can also log & scroll. It's triggered when
"backBufferPos == 0)" and "pntrLen(backBuffer)" is true;
this should never happen.
--- David A. Wheeler
--
You received this message because you are subscribed to the Google
Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/145de720-390b-4c3e-9b40-93b51a3fbbafn%40googlegroups.com
<https://groups.google.com/d/msgid/metamath/145de720-390b-4c3e-9b40-93b51a3fbbafn%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/d9fcf893-35e4-44e0-9ebd-b70085c05c09%40panix.com.
