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.
