help / color / mirror / Atom feed
* Is this a compiler bug ?
@ 2023-03-19  6:17 Rod Kay
  2023-03-19 10:33 ` Jeffrey R.Carter
  0 siblings, 1 reply; 3+ messages in thread
From: Rod Kay @ 2023-03-19  6:17 UTC (permalink / raw)

Hi all,

    Came across this during a port of the Box2D physics engine.

    It's a generic Stack package using 'ada.Containers.Vectors' to 
implement the stack.

    One generic parameter is the 'initial_Capacity' of the stack, used 
in the 'to_Stack' construction function, via the Vectors 
'reserve_Capacity' procedure.

    In the 'to_Stack' function, the Capacity is reserved correctly but 
in the test program when the stack is created and assigned to a 
variable, the capacity is 0.

    Here is the (very small) source code ...

    The output I get with GCC 12.2.0 is ...

[rod@orth bug]$ ./stack_bug
to_Stack ~ Initial Capacity: 256
to_Stack ~ Before reserve:   0
to_Stack ~ After reserve:    256
stack_Bug ~ Actual Capacity: 0


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2023-03-20  2:24 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-03-19  6:17 Is this a compiler bug ? Rod Kay
2023-03-19 10:33 ` Jeffrey R.Carter
2023-03-20  2:24   ` Rod Kay

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox