*** BUG #1501 Metamath - Version 0.199.pre 29-Jan-2022

Caleb Nwokocha

unread,

Apr 22, 2025, 10:12:09 PMApr 22

to Metamath

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

Metamath - Version 0.199.pre 29-Jan-2022

Process returned -1073741819 (0xC0000005) execution time : 1.398 s
Press any key to continue.

Screenshot of the program opened:

I have surveyed the available public resources on Metamath and metamath‑exe but was unable to locate any specific documentation of “BUG #1501.”

Please help me fix the bug.

Sincerely,

Caleb Nwokocha

David A. Wheeler

unread,

Apr 23, 2025, 10:26:27 AMApr 23

to Metamath Mailing List

> On Apr 22, 2025, at 7:05 PM, Caleb Nwokocha <calebn...@gmail.com> 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

Caleb Nwokocha

unread,

Apr 27, 2025, 4:08:22 PMApr 27

to Metamath

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

Jim Kingdon

unread,

Apr 28, 2025, 10:09:25 AMApr 28

to meta...@googlegroups.com

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

--
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 metamath+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/metamath/145de720-390b-4c3e-9b40-93b51a3fbbafn%40googlegroups.com.

David A. Wheeler

unread,

Apr 28, 2025, 10:59:30 AMApr 28

to Metamath Mailing List

> On Apr 25, 2025, at 4:34 PM, Caleb Nwokocha <calebn...@gmail.com> wrote:
>
> Hi David,
>
> I am using GNU GCC Compiler and I have tried these compiler flags: -std=c99, -std=c11, -std=c17, -m64

I'm sorry, I have no idea why “BUG #1501” is showing on Windows.
I normally use Linux or Mac.

--- David A. Wheeler

Reply all

Reply to author

Forward