Changes in src/Parser/parser.yy [974906e2:bd85400]

File:

• src/Parser/parser.yy (modified) (7 diffs)

src/Parser/parser.yy

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// cfa.y --
-//
+// cfa.y -- 
+// 
 // Author           : Peter A. Buhr
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Oct  8 17:17:54 2015
-// Update Count     : 1473
-//
+// Last Modified On : Mon Feb  1 18:22:42 2016
+// Update Count     : 1483
+// 
 
 // This grammar is based on the ANSI99/11 C grammar, specifically parts of EXPRESSION and STATEMENTS, and on the C
@@ -78 +78 @@
 %token ENUM STRUCT UNION
 %token TYPE FTYPE DTYPE CONTEXT                                                 // CFA
-%token SIZEOF
+%token SIZEOF OFFSETOF
 %token ATTRIBUTE EXTENSION                                                              // GCC
 %token IF ELSE SWITCH CASE DEFAULT DO WHILE FOR BREAK CONTINUE GOTO RETURN
@@ -319 +319 @@
         ;
 
-// no zero_one because ambiguity with 0.0 : double constant or field selection
 no_attr_identifier:
         IDENTIFIER
+        | zero_one                                                                                      // CFA
         ;
 
@@ -357 +357 @@
         | postfix_expression '(' argument_expression_list ')'
                 { $$ = new CompositeExprNode( $1, $3 ); }
+        // ambiguity with .0 so space required after field-selection, e.g.
+                //   struct S { int 0, 1; } s; s. 0 = 0; s. 1 = 1;
         | postfix_expression '.' no_attr_identifier
                 { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::FieldSel ), $1, new VarRefNode( $3 )); }
@@ -405 +407 @@
         no_attr_identifier
                 { $$ = new VarRefNode( $1 ); }
+        // ambiguity with .0 so space required after field-selection, e.g.
+                //   struct S { int 0, 1; } s; s. 0 = 0; s. 1 = 1;
         | no_attr_identifier '.' field
                 { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::FieldSel ), new VarRefNode( $1 ), $3 ); }
@@ -443 +447 @@
         | SIZEOF '(' type_name_no_function ')'
                 { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::SizeOf ), new TypeValueNode( $3 )); }
+        | OFFSETOF '(' type_name_no_function ',' no_attr_identifier ')'
+        { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::OffsetOf ), new TypeValueNode( $3 ), new VarRefNode( $5 )); }
         | ATTR_IDENTIFIER
                 { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::Attr ), new VarRefNode( $1 )); }
@@ -1682 +1688 @@
                 { $$ = $2; }
         | ATassign initializer
-                { $$ = $2->set_maybeConstructed( false ); }
+                { $$ = $2; }
         ;