help / color / mirror / Atom feed
From: Rod Kay <>
Subject: Is this a compiler bug ?
Date: Sun, 19 Mar 2023 17:17:20 +1100	[thread overview]
Message-ID: <tv69dh$2srvk$> (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


             reply	other threads:[~2023-03-19  6:17 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-03-19  6:17 Rod Kay [this message]
2023-03-19 10:33 ` Is this a compiler bug ? Jeffrey R.Carter
2023-03-20  2:24   ` Rod Kay
replies disabled

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