Changes in src/Tuples/TupleExpansion.cc [c0aa336:b7b8674]

File:

• src/Tuples/TupleExpansion.cc (modified) (2 diffs)

src/Tuples/TupleExpansion.cc

@@ -29 +29 @@
 #include "ResolvExpr/typeops.h"
 #include "InitTweak/GenInit.h"
+#include "InitTweak/InitTweak.h"
 
 namespace Tuples {
@@ -337 +338 @@
                 public:
                         typedef Visitor Parent;
-                        virtual void visit( ApplicationExpr * appExpr ) { maybeImpure = true;   }
+                        virtual void visit( ApplicationExpr * appExpr ) {
+                                if ( DeclarationWithType * function = InitTweak::getFunction( appExpr ) ) {
+                                        if ( function->get_linkage() == LinkageSpec::Intrinsic ) {
+                                                if ( function->get_name() == "*?" || function->get_name() == "?[?]" ) {
+                                                        // intrinsic dereference, subscript are pure, but need to recursively look for impurity
+                                                        Parent::visit( appExpr );
+                                                        return;
+                                                }
+                                        }
+                                }
+                                maybeImpure = true;
+                        }
                         virtual void visit( UntypedExpr * untypedExpr ) { maybeImpure = true; }
                         bool maybeImpure = false;