Division by zero

["Lurker" <nowhere@nothing.com>]

Hi,

I'm curios about the problem which I discovered by accident.
The code below is of course very much reduced to show
the it:

function x(a: integer) return integer is

some_constant: constant := 0;

begin

-- return 1/some_constant; -- line 1

-- return a/some_constant; -- line 2

end;



If line 1 is uncommented compiler (Gnat 3.15 for Widows)

produces the expected error about division by zero.

If line 2 is uncommented it passes compilation with no problem.

Surely that's not right? Or did I miss something?