Re: bug compiler ?

[Anh Vo <anhvofrcaus@gmail.com>]

On Friday, June 30, 2017 at 4:09:31 AM UTC-7, Lucretia wrote:
> 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.
> 

The compiler should reject it if it does not compile with syntax rule. In this case, it does compile. In fact, if the function expression is replaced by normal function, it compiles fine. 

Therefore, a bug report should be sent to gnat@adacore.com.

Anh Vo