Changes in src/Tuples/TupleExpansion.cc [b7b8674:c0aa336]
- File:
-
- 1 edited
-
src/Tuples/TupleExpansion.cc (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/Tuples/TupleExpansion.cc
rb7b8674 rc0aa336 29 29 #include "ResolvExpr/typeops.h" 30 30 #include "InitTweak/GenInit.h" 31 #include "InitTweak/InitTweak.h"32 31 33 32 namespace Tuples { … … 338 337 public: 339 338 typedef Visitor Parent; 340 virtual void visit( ApplicationExpr * appExpr ) { 341 if ( DeclarationWithType * function = InitTweak::getFunction( appExpr ) ) { 342 if ( function->get_linkage() == LinkageSpec::Intrinsic ) { 343 if ( function->get_name() == "*?" || function->get_name() == "?[?]" ) { 344 // intrinsic dereference, subscript are pure, but need to recursively look for impurity 345 Parent::visit( appExpr ); 346 return; 347 } 348 } 349 } 350 maybeImpure = true; 351 } 339 virtual void visit( ApplicationExpr * appExpr ) { maybeImpure = true; } 352 340 virtual void visit( UntypedExpr * untypedExpr ) { maybeImpure = true; } 353 341 bool maybeImpure = false;
Note:
See TracChangeset
for help on using the changeset viewer.