Hello, here is a new patch for this bug. It also disables inlining for the PPC platform. Due to another bug (fix pending) the error was not triggered, but the fix is needed.
-- Sam.
Hello, here is a new patch for this bug. It also disables inlining
for the PPC platform. Due to another bug (fix pending) the error was not
triggered, but the fix is needed.
--
Sam.