Bug#643663: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable

To: Debian Bug Tracking System <643663@bugs.debian.org>
Cc: control@bugs.debian.org
Subject: Bug#643663: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable
From: Євгеній Мещеряков <eugen@debian.org>
Date: Mon, 3 Oct 2011 17:12:49 +0200
Message-id: <[🔎] 20111003151249.GA3810@localhost.localdomain>
Reply-to: Євгеній Мещеряков <eugen@debian.org>, 643663@bugs.debian.org
In-reply-to: <20110928132001.12222.57087.reportbug@localhost>
References: <20110928132001.12222.57087.reportbug@localhost>

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.

Attachment: signature.asc
Description: Digital signature

Reply to:

Follow-Ups:
- Processed: Re: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Processed: enable libcvc3-2-jni on kfreebsd-amd64
Next by Date: Processed: Re: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable
Previous by thread: Processed: enable libcvc3-2-jni on kfreebsd-amd64
Next by thread: Processed: Re: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable
Index(es):
- Date
- Thread