Re: Gnat for ARM : are these bugs?

[Egil H H <ehh.public@gmail.com>]

On Tuesday, May 19, 2015 at 9:54:32 AM UTC+2, jan.de...@gmail.com wrote:
> 
> 1. its seems to be illegal to to assign 2 ** 0 ( = 1) to a mod type.

Works fine for me (on x86, though).
No expert on ARM-assembly but I read bge as greater or equal, so:
	cmp	r3, #0                         -- if N<0 then exception
	bge	.L2                            -- else .L2

> 
> 2. on a illegal assignment like 2 ** 32 to a 32 bit mod type the answer is a big fat zero with no questions asked.

All operations on modular types are performed modulo the modulus, ** is no exception from that rule.
If you want it to fail, try instead to assign a named number:

   bar : constant := 2**N;
begin
   S := bar;

-- 
~egilhh