From 61b43d3e1be5e8aad11cb3036fdb1872f0f363c3 Mon Sep 17 00:00:00 2001 From: xleroy Date: Tue, 5 Nov 2013 08:27:53 +0000 Subject: Make it possible to use the "__packed__" keyword as an attribute name (same as for "const"). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2361 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/Parser.mly | 1 + 1 file changed, 1 insertion(+) (limited to 'cparser') diff --git a/cparser/Parser.mly b/cparser/Parser.mly index cd515de..4121ee5 100644 --- a/cparser/Parser.mly +++ b/cparser/Parser.mly @@ -1312,6 +1312,7 @@ primary_attr: * attribute lists, is translated * to aconst *)*/ | CONST { VARIABLE "aconst" } +| PACKED { VARIABLE "__packed__" } | IDENT COLON CST_INT { VARIABLE (fst $1 ^ ":" ^ fst $3) } -- cgit v1.2.3