Changeset d33bc7c for src

Timestamp:

Jun 16, 2017, 3:25:58 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

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:

0e44184, 1bc9dcb, 20877d2

Parents:

cc3e4d0 (diff), f522618 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

src

Files:

• Common/PassVisitor.h (modified) (1 diff)
• InitTweak/GenInit.cc (modified) (3 diffs)

src/Common/PassVisitor.h

@@ -253 +253 @@
 }
 
+class WithTypeSubstitution {
+protected:
+        WithTypeSubstitution() = default;
+        ~WithTypeSubstitution() = default;
+
+public:
+        TypeSubstitution * env;
+};
+
+class WithStmtsToAdd {
+protected:
+        WithStmtsToAdd() = default;
+        ~WithStmtsToAdd() = default;
+
+public:
+        std::list< Statement* > stmtsToAddBefore;
+        std::list< Statement* > stmtsToAddAfter;
+};
+
+class WithShortCircuiting {
+protected:
+        WithShortCircuiting() = default;
+        ~WithShortCircuiting() = default;
+
+public:
+        bool skip_children;
+};
+
+class WithScopes {
+protected:
+        WithScopes() = default;
+        ~WithScopes() = default;
+
+public:
+        at_cleanup_t at_cleanup;
+
+        template< typename T >
+        void GuardValue( T& val ) {
+                at_cleanup( [ val ]( void * newVal ) {
+                        * static_cast< T * >( newVal ) = val;
+                }, static_cast< void * >( & val ) );
+        }
+};
+
+
 #include "PassVisitor.impl.h"

src/InitTweak/GenInit.cc

@@ -44 +44 @@
         }
 
-        class ReturnFixer {
+        class ReturnFixer : public WithStmtsToAdd, public WithScopes {
           public:
                 /// consistently allocates a temporary variable for the return value
@@ -53 +53 @@
                 void premutate( FunctionDecl *functionDecl );
                 void premutate( ReturnStmt * returnStmt );
-
-                at_cleanup_t at_cleanup;
-                std::list< Statement * > stmtsToAddBefore;
 
           protected:
@@ -160 +157 @@
 
         void ReturnFixer::premutate( FunctionDecl *functionDecl ) {
-                GuardValue( this, ftype );
-                GuardValue( this, funcName );
+                GuardValue( ftype );
+                GuardValue( funcName );
 
                 ftype = functionDecl->get_functionType();