Re: optimization away of checks in 'valid

[Stephen Leake <stephen_leake@stephe-leake.org>]

Joseph Wisniewski <wisniewski.ru@gmail.com> writes:

> Basically, the question is, if 'valid is called on an integer object,
> are there conditions under which some of the checks done by 'valid
> (range checking on an object of an integer subtype) are removed?

See ARM 13.9.2; it lists the operations that can return invalid values.

> Specifically, we had a case where C++ code was not checking the bounds
> of a integer subtype as it was passed to Ada code via a function
> parameter. 

Reading an input parameter is not in the list of operations that can
return invalid values.

"interfacing to another language" is on the list, which is what you are
doing, but I suspect that really means "calling a subprogram implemented
in another language"; ie, a subprogram with pragma Import.

Do you have pragma Export on the Ada function? That would mean reading
the input parameter _is_ interfacing to another language, and you could
complain to your compiler vendor.

-- 
-- Stephe