http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54125
--- Comment #4 from Arnaud Charlet <charlet at gcc dot gnu.org> 2012-08-06 08:12:18 UTC --- Author: charlet Date: Mon Aug 6 08:12:10 2012 New Revision: 190163 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190163 Log: 2012-08-06 Vincent Pucci <pu...@adacore.com> PR ada/54125 * exp_attr.adb (Expand_N_Attribute_Reference): Expand new Atomic_Always_Lock_Free attribute. * sem_attr.adb (Analyze_Attribute): Analyze new Atomic_Always_Lock_Free attribute. (Eval_Attribute): Nothing to do with new Atomic_Always_Lock_Free attribute. * sem_ch9.adb (Allows_Lock_Free_Implementation): Support_Atomic_Primitives check replaces previous erroneous size check. * sem_util.adb, sem_util.ads (Support_Atomic_Primitives): New routine. * snames.ads-tmpl: New name Name_Atomic_Always_Lock_Free and new attribute Attribute_Atomic_Always_Lock_Free defined. * s-atopri.adb: Support_Atomic_Primitives checks replaced by Atomic_Always_Lock_Free queries. * system-aix64.ads, system-aix.ads, system-darwin-ppc.ads, system-hpux.ads, system-linux-alpha.ads, system-linux-hppa.ads, system-linux-ppc.ads, system-linux-s390.ads, system-linux-s390x.ads, system-linux-sh4.ads, system-linux-sparc.ads, system-lynxos178-ppc.ads, system-lynxos-ppc.ads, system-mingw.ads, system-vxworks-arm.ads, system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms_64.ads, system-vxworks-m68k.ads, system-vxworks-mips.ads, system-vxworks-ppc.ads, system-vxworks-sparcv9.ads: Flag Support_Atomic_Primitives removed. Modified: trunk/gcc/ada/exp_attr.adb trunk/gcc/ada/s-atopri.adb trunk/gcc/ada/sem_attr.adb trunk/gcc/ada/sem_ch9.adb trunk/gcc/ada/sem_util.adb trunk/gcc/ada/sem_util.ads trunk/gcc/ada/snames.ads-tmpl trunk/gcc/ada/system-aix.ads trunk/gcc/ada/system-aix64.ads trunk/gcc/ada/system-darwin-ppc.ads trunk/gcc/ada/system-hpux.ads trunk/gcc/ada/system-linux-alpha.ads trunk/gcc/ada/system-linux-hppa.ads trunk/gcc/ada/system-linux-ppc.ads trunk/gcc/ada/system-linux-s390.ads trunk/gcc/ada/system-linux-s390x.ads trunk/gcc/ada/system-linux-sh4.ads trunk/gcc/ada/system-linux-sparc.ads trunk/gcc/ada/system-lynxos-ppc.ads trunk/gcc/ada/system-mingw.ads trunk/gcc/ada/system-solaris-sparc.ads trunk/gcc/ada/system-solaris-sparcv9.ads trunk/gcc/ada/system-vms_64.ads trunk/gcc/ada/system-vxworks-arm.ads trunk/gcc/ada/system-vxworks-m68k.ads trunk/gcc/ada/system-vxworks-mips.ads trunk/gcc/ada/system-vxworks-ppc.ads trunk/gcc/ada/system-vxworks-sparcv9.ads