[Ada] Incorrect finalization of build-in-place function result

This patch updates the mechanism which detects build-in-place function calls returning controlled results on the secondary stack. -- Source -- -- types.ads with Ada.Finalization; use Ada.Finalization; package Types is type Ctrl_Comp is new Limited_Controlled with nu

[Ada] Incorrect finalization of build-in-place function result

This patch updates the mechanism which detects build-in-place function calls returning controlled results on the secondary stack. -- Source -- -- types.ads with Ada.Finalization; use Ada.Finalization; package Types is type Ctrl_Comp is new Limited_Controlled with nu