projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d693e39) | patch
sem_attr.adb: (Resolve_Attribute, case 'address): S (A ..
authorEd Schonberg <schonberg@adacore.com>
Mon, 26 May 2008 15:14:52 +0000 (17:14 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 May 2008 15:14:52 +0000 (17:14 +0200)
commita66996b300c2b5e0f50e1eeec02cb1c898de4f19
tree50fcecd54449d5ec4818edec2cc77b3636dbb19ftree
parentd693e39d020f8707434fe2e9f07849a9177fc5c5commit | diff
sem_attr.adb: (Resolve_Attribute, case 'address): S (A ..

2008-05-26  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb:
(Resolve_Attribute, case 'address):  S (A .. B)' address can be safely
converted to S (A)'address only if A .. B is known to be a non-null
range.

From-SVN: r135936
gcc/ada/sem_attr.adb diff | blob | history