Changes in src/SynTree/FunctionDecl.cc [dd020c0:3a5131ed]

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 : Fri Mar  3 21:29:41 2017
-// Update Count     : 55
+// Last Modified On : Thu Feb 16 15:01:52 2017
+// Update Count     : 23
 //
 
@@ -26 +26 @@
 extern bool translation_unit_nomain;
 
-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
+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
         if ( name == "main" ) {
                 set_linkage( CodeGen::FixMain::mainLinkage() );
@@ -64 +65 @@
                 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::storageClassNames[ get_storageClass() ] << ' ';
+                os << DeclarationNode::storageName[ get_storageClass() ] << ' ';
         } // if
-        DeclarationNode::print_FuncSpec( os, get_funcSpec() );
-
         if ( get_type() ) {
                 get_type()->print( os, indent );
@@ -92 +97 @@
                 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::storageClassNames[ get_storageClass() ] << ' ';
+                os << DeclarationNode::storageName[ get_storageClass() ] << ' ';
         } // if
-        DeclarationNode::print_FuncSpec( os, get_funcSpec() );
-
         if ( get_type() ) {
                 get_type()->print( os, indent );