einfo.ads (Address_Taken): Document use for the second argument of Asm_Input and...
authorEric Botcazou <ebotcazou@gcc.gnu.org>
Sat, 18 Jun 2011 10:18:38 +0000 (10:18 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Sat, 18 Jun 2011 10:18:38 +0000 (10:18 +0000)
commit7e4680c1a2cf543559a1db79368a2d476f1c233c
treea7356c2f1b6f9502b952ce84f57e10fc9f2fe1b8
parent0e27699a8a99b215173bd62e83e91f9d7128a826
einfo.ads (Address_Taken): Document use for the second argument of Asm_Input and Asm_Output attributes.

* einfo.ads (Address_Taken): Document use for the second argument of
Asm_Input and Asm_Output attributes.
* sem_attr.adb (Analyze_Attribute) <Attribute_Asm_Input>: If the second
argument is an entity name, then set Address_Taken on it.
<Attribute_Asm_Output>: Likewise.
* gcc-interface/trans.c (lvalue_required_for_attribute_p): Handle the
Attr_Asm_Input and Attr_Asm_Output attributes explicitly.
(gnat_to_gnu) <N_Code_Statement>: If an operand is going to end up in
memory and is a CONST_DECL, retrieve its corresponding VAR_DECL.

From-SVN: r175171
gcc/ada/ChangeLog
gcc/ada/einfo.ads
gcc/ada/gcc-interface/trans.c
gcc/ada/sem_attr.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/constant3.adb [new file with mode: 0644]