Changeset 0f6d2884 for src/Tuples/Tuples.cc

Timestamp:

Nov 17, 2023, 1:56:19 PM (13 months ago)

Author:

caparson <caparson@…>

Branches:

master

Children:

16e0dcb, 41606df1

Parents:

3f219eb (diff), b0845f9 (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

File:

• src/Tuples/Tuples.cc (modified) (1 diff)

src/Tuples/Tuples.cc

@@ -25 +25 @@
 namespace {
 
-        /// Determines if impurity (read: side-effects) may exist in a piece of code. Currently gives
-        /// a very crude approximation, wherein any function call expression means the code may be
-        /// impure.
-    struct ImpurityDetector : public ast::WithShortCircuiting {
-                bool result = false;
+/// Determines if impurity (read: side-effects) may exist in a piece of code.
+/// Currently gives a very crude approximation, wherein almost any function
+/// call expression means the code may be impure.
+struct ImpurityDetector : public ast::WithShortCircuiting {
+        bool result = false;
 
-                void previsit( ast::ApplicationExpr const * appExpr ) {
-                        if ( ast::DeclWithType const * function = ast::getFunction( appExpr ) ) {
-                                if ( function->linkage == ast::Linkage::Intrinsic
-                                                && ( function->name == "*?" || function->name == "?[?]" ) ) {
-                                        return;
-                                }
+        void previsit( ast::ApplicationExpr const * appExpr ) {
+                if ( ast::DeclWithType const * function = ast::getFunction( appExpr ) ) {
+                        if ( function->linkage == ast::Linkage::Intrinsic
+                                        && ( function->name == "*?" || function->name == "?[?]" ) ) {
+                                return;
                         }
-                        result = true; visit_children = false;
                 }
-                void previsit( ast::UntypedExpr const * ) {
-                        result = true; visit_children = false;
-                }
-        };
+                result = true; visit_children = false;
+        }
+        void previsit( ast::UntypedExpr const * ) {
+                result = true; visit_children = false;
+        }
+};
 
-        struct ImpurityDetectorIgnoreUnique : public ImpurityDetector {
-                using ImpurityDetector::previsit;
-                void previsit( ast::UniqueExpr const * ) {
-                        visit_children = false;
-                }
-        };
+struct ImpurityDetectorIgnoreUnique : public ImpurityDetector {
+        using ImpurityDetector::previsit;
+        void previsit( ast::UniqueExpr const * ) {
+                visit_children = false;
+        }
+};
+
 } // namespace