exception_propagation triggers on formal parameters
Ada source code controller
Brought to you by:
jprosen
check exception_declaration (1, declaration) gives an error for formal parameters with a non-static default expression, although these clearly cannot raise exceptions. Try on attached file.
Anonymous
Another case of a missing alternative in a case statement...
Fixed in 1.14r9