When to do a constraint check and not ??

[Per Sandberg <prsa@systems.saab.se>]

Assume the folowing code:

procedue bla is
	b : boolean; --< B may contain any bit pattern at this point.

	procedure test( p : in out boolean ) is
	begin
		b := false;
	end test;

begin
	test(b); --<< Is the compiler allowed to insert a constraint check on b
here ??
end;

Is the answer that it is up to the wendor.
I did not get any clues from the LRM.

/Per Sandberg.