Re: bug compiler ?

[Lucretia <laguest9000@googlemail.com>]

On Friday, 30 June 2017 09:49:59 UTC+1, bbab...@gmail.com  wrote:
> Hello everyone,
> 
> I tried to compile this 
> 
> procedure bug is
> 	type my_int is new integer;
> 	type access_function_my_int is access function (n : my_int) return my_int;
> 	function f (n : my_int) return my_int is (n);
> 	a : access_function_my_int :=f'access;
> begin
> 	null;
> end bug;
> 
> with the command line : gcc -c -gnat2012 bug.adb
> 
> and then I get this message from the compiler:
> 
> 
> raised STORAGE_ERROR : stack overflow or erroneous memory access
> 
> If I modify the type "my_int" by writing subtype my_int is integer;
> then I dont get any error from the compiler.
> 
> More interesting, if in the first program, the function f is no longer written inline, then I dont get any error.
> 
> Does anyone know what's happeing ?

You can't create a local pointer to f or anything there, you have to define it in a package. You're essentially trying to create a pointer on the stack to something else on the stack. There is a way around it, I think unchecked_conversion, not sure now.

Luke.