retitle 643663 Legal program rejected (record component with no supplied value) and invalid access to atomic variable thanks
It seems that program in the attachment test.ada is actually legal. So the bug is that program in good.ada (also legal) is rejected and incorrect code is generated for access to atomic variable.
signature.asc
Description: Digital signature
