Changeset ed9a1ae for src/Parser

Timestamp:

Aug 31, 2022, 10:57:37 AM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master, pthread-emulation

Children:

64af7ac

Parents:

dc708c1

Message:

Cfa now distinguishes between thread and _Thread_local.

Location:

src/Parser

Files:

• DeclarationNode.cc (modified) (2 diffs)
• lex.ll (modified) (1 diff)
• parser.yy (modified) (4 diffs)

src/Parser/DeclarationNode.cc ¶

@@ -262 +262 @@
         newnode->type->enumeration.anon = name == nullptr;
         if ( base && base->type)  {
-                newnode->type->base = base->type;       
+                newnode->type->base = base->type;
         } // if
 
@@ -505 +505 @@
                         } // for
                         // src is the new item being added and has a single bit
-                } else if ( ! src->storageClasses.is_threadlocal ) { // conflict ?
+                } else if ( ! src->storageClasses.is_threadlocal_any() ) { // conflict ?
                         appendError( error, string( "conflicting " ) + Type::StorageClassesNames[storageClasses.ffs()] +
                                                  " & " + Type::StorageClassesNames[src->storageClasses.ffs()] );

src/Parser/lex.ll ¶

@@ -314 +314 @@
 switch                  { KEYWORD_RETURN(SWITCH); }
 thread                  { KEYWORD_RETURN(THREAD); }                             // C11
-__thread                { KEYWORD_RETURN(THREADLOCAL); }                // GCC
-_Thread_local   { KEYWORD_RETURN(THREADLOCAL); }                // C11
+__thread                { KEYWORD_RETURN(THREADLOCALGCC); }             // GCC
+_Thread_local   { KEYWORD_RETURN(THREADLOCALC11); }             // C11
 throw                   { KEYWORD_RETURN(THROW); }                              // CFA
 throwResume             { KEYWORD_RETURN(THROWRESUME); }                // CFA

src/Parser/parser.yy ¶

@@ -293 +293 @@
 %token TYPEDEF
 %token EXTERN STATIC AUTO REGISTER
-%token THREADLOCAL                                                                              // C11
+%token THREADLOCALGCC THREADLOCALC11                                            // GCC, C11
 %token INLINE FORTRAN                                                                   // C99, extension ISO/IEC 9899:1999 Section J.5.9(1)
 %token NORETURN                                                                                 // C11
@@ -1345 +1345 @@
                 {
                         if ( $2 == OperKinds::LThan || $2 == OperKinds::LEThan ) { SemanticError( yylloc, MISSING_ANON_FIELD ); $$ = nullptr; }
-                        else { SemanticError( yylloc, MISSING_HIGH ); $$ = nullptr; } 
+                        else { SemanticError( yylloc, MISSING_HIGH ); $$ = nullptr; }
                 }
         | comma_expression updowneq comma_expression '~' comma_expression // CFA, anonymous loop-index
@@ -1357 +1357 @@
                 {
                         if ( $2 == OperKinds::LThan || $2 == OperKinds::LEThan ) { SemanticError( yylloc, MISSING_ANON_FIELD ); $$ = nullptr; }
-                        else { SemanticError( yylloc, MISSING_HIGH ); $$ = nullptr; } 
+                        else { SemanticError( yylloc, MISSING_HIGH ); $$ = nullptr; }
                 }
         | comma_expression updowneq comma_expression '~' '@' // CFA, error
@@ -2082 +2082 @@
         | REGISTER
                 { $$ = DeclarationNode::newStorageClass( Type::Register ); }
-        | THREADLOCAL                                                                           // C11
-                { $$ = DeclarationNode::newStorageClass( Type::Threadlocal ); }
+        | THREADLOCALGCC                                                                                // GCC
+                { $$ = DeclarationNode::newStorageClass( Type::ThreadlocalGcc ); }
+        | THREADLOCALC11                                                                                // C11
+                { $$ = DeclarationNode::newStorageClass( Type::ThreadlocalC11 ); }
                 // Put function specifiers here to simplify parsing rules, but separate them semantically.
         | INLINE                                                                                        // C99