From 507e6c242ced3c7f083edc1657092c9ff7a9c8f2 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 16 Apr 2011 09:16:26 +0000
Subject: cparser/Elab: __attribute, not attribute ia32/PrintAsm: wrong section
 name regression: added test attribs1

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1636 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Elab.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 6c14836..f6731e4 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -280,7 +280,7 @@ let elab_attribute loc = function
   | ("const", []) -> [AConst]
   | ("restrict", []) -> [ARestrict]
   | ("volatile", []) -> [AVolatile]
-  | (("attribute" | "__attribute__"), l) ->
+  | (("__attribute" | "__attribute__"), l) ->
         List.flatten (List.map (elab_gcc_attr loc) l)
   | (name, _) ->
         warning loc "`%s' annotation ignored" name; []
-- 
cgit v1.2.3