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

File:

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

src/Concurrency/Keywords.cc

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