Changeset dd020c0 for src/SynTree/FunctionDecl.cc

Timestamp:

Mar 3, 2017, 10:12:02 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

8191203

Parents:

f37147b

Message:

first attempt to create function specifiers

File:

• src/SynTree/FunctionDecl.cc (modified) (4 diffs)

src/SynTree/FunctionDecl.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb 16 15:01:52 2017
-// Update Count     : 23
+// Last Modified On : Fri Mar  3 21:29:41 2017
+// Update Count     : 55
 //
 
@@ -26 +26 @@
 extern bool translation_unit_nomain;
 
-FunctionDecl::FunctionDecl( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Spec linkage, FunctionType *type, CompoundStmt *statements, bool isInline, bool isNoreturn, std::list< Attribute * > attributes )
-                : Parent( name, sc, linkage, attributes ), type( type ), statements( statements ) {
-        set_isInline( isInline );
-        set_isNoreturn( isNoreturn );
-        // this is a brazen hack to force the function "main" to have Cforall linkage
-        // because we want to replace the main even if it is inside an extern
+FunctionDecl::FunctionDecl( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Spec linkage, FunctionType *type, CompoundStmt *statements, std::list< Attribute * > attributes, DeclarationNode::FuncSpec fs )
+                : Parent( name, sc, linkage, attributes, fs ), type( type ), statements( statements ) {
+        set_functionSpecifiers( fs );
+
+        // hack forcing the function "main" to have Cforall linkage to replace main even if it is inside an extern
         if ( name == "main" ) {
                 set_linkage( CodeGen::FixMain::mainLinkage() );
@@ -65 +64 @@
                 os << LinkageSpec::linkageName( get_linkage() ) << " ";
         } // if
-        if ( get_isInline() ) {
-                os << "inline ";
-        } // if
-        if ( get_isNoreturn() ) {
-                os << "_Noreturn ";
-        } // if
 
         printAll( get_attributes(), os, indent );
 
         if ( get_storageClass() != DeclarationNode::NoStorageClass ) {
-                os << DeclarationNode::storageName[ get_storageClass() ] << ' ';
+                os << DeclarationNode::storageClassNames[ get_storageClass() ] << ' ';
         } // if
+        DeclarationNode::print_FuncSpec( os, get_funcSpec() );
+
         if ( get_type() ) {
                 get_type()->print( os, indent );
@@ -97 +92 @@
                 os << get_name() << ": ";
         } // if
-        if ( get_isInline() ) {
-                os << "inline ";
-        } // if
-        if ( get_isNoreturn() ) {
-                os << "_Noreturn ";
-        } // if
 
         // xxx - should printShort print attributes?
 
         if ( get_storageClass() != DeclarationNode::NoStorageClass ) {
-                os << DeclarationNode::storageName[ get_storageClass() ] << ' ';
+                os << DeclarationNode::storageClassNames[ get_storageClass() ] << ' ';
         } // if
+        DeclarationNode::print_FuncSpec( os, get_funcSpec() );
+
         if ( get_type() ) {
                 get_type()->print( os, indent );