Changeset f95634e for src

Timestamp:

Nov 10, 2021, 7:23:12 PM (3 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b7fd9daf

Parents:

bb9924c

Message:

fix unique expr pass

Location:

src/AST

Files:

• Copy.hpp (modified) (2 diffs)
• Expr.hpp (modified) (1 diff)

src/AST/Copy.hpp

@@ -88 +88 @@
         }
 
+        void postvisit( const StmtExpr * node ) {
+                readonlyInsert( &node->resultExpr );
+        }
+
         void postvisit( const MemberExpr * node ) {
                 readonlyInsert( &node->member );
@@ -122 +126 @@
 node_t * deepCopy( const node_t * localRoot ) {
         Pass< DeepCopyCore > dc;
-        node_t const * newRoot = localRoot->accept( dc );
+        node_t const * newRoot = strict_dynamic_cast<node_t const*>(localRoot->accept( dc ));
         dc.core.readonlyUpdates();
         return const_cast< node_t * >( newRoot );

src/AST/Expr.hpp

@@ -767 +767 @@
 
 /// An expression which must only be evaluated once
-class UniqueExpr final : public Expr {
+class 
+UniqueExpr final : public Expr {
         static unsigned long long nextId;
 public: