Changes in src/Concurrency/Keywords.cc [97e3296:be9288a]

File:

• src/Concurrency/Keywords.cc (modified) (7 diffs)

src/Concurrency/Keywords.cc

@@ -200 +200 @@
                 std::list<DeclarationWithType*> findMutexArgs( FunctionDecl* );
                 void validate( DeclarationWithType * );
-                void addStatments( FunctionDecl* func, CompoundStmt *, const std::list<DeclarationWithType * > &);
+                void addStatments( CompoundStmt *, const std::list<DeclarationWithType * > &);
 
                 static void implement( std::list< Declaration * > & translationUnit ) {
@@ -210 +210 @@
                 StructDecl* monitor_decl = nullptr;
                 StructDecl* guard_decl = nullptr;
-
-                static std::unique_ptr< Type > generic_func;
         };
-
-        std::unique_ptr< Type > MutexKeyword::generic_func = std::unique_ptr< Type >(
-                new FunctionType(
-                        noQualifiers,
-                        true
-                )
-        );
 
         //-----------------------------------------------------------------------------
@@ -403 +394 @@
         // Mutex keyword implementation
         //=============================================================================================
-
         void MutexKeyword::visit(FunctionDecl* decl) {
                 Visitor::visit(decl);
@@ -420 +410 @@
                 if( !guard_decl ) throw SemanticError( "mutex keyword requires monitors to be in scope, add #include <monitor>", decl );
 
-                addStatments( decl, body, mutexArgs );
+                addStatments( body, mutexArgs );
         }
 
@@ -466 +456 @@
         }
 
-        void MutexKeyword::addStatments( FunctionDecl* func, CompoundStmt * body, const std::list<DeclarationWithType * > & args ) {
+        void MutexKeyword::addStatments( CompoundStmt * body, const std::list<DeclarationWithType * > & args ) {
                 ObjectDecl * monitors = new ObjectDecl(
                         "__monitors",
@@ -497 +487 @@
                 );
 
-                assert(generic_func);
-
                 //in reverse order :
-                // monitor_guard_t __guard = { __monitors, #, func };
+                // monitor_guard_t __guard = { __monitors, # };
                 body->push_front(
                         new DeclStmt( noLabels, new ObjectDecl(
@@ -514 +502 @@
                                         {
                                                 new SingleInit( new VariableExpr( monitors ) ),
-                                                new SingleInit( new ConstantExpr( Constant::from_ulong( args.size() ) ) ),
-                                                new SingleInit( new CastExpr( new VariableExpr( func ), generic_func->clone() ) )
+                                                new SingleInit( new ConstantExpr( Constant::from_ulong( args.size() ) ) )
                                         },
                                         noDesignators,