Changeset dbc733e for src/InitTweak/InitTweak.cc
- Timestamp:
- Sep 1, 2017, 9:53:19 PM (7 years ago)
- 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:
- f43df73
- Parents:
- ba2a68b (diff), b0dfbc4 (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. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/InitTweak/InitTweak.cc
rba2a68b rdbc733e 497 497 using Visitor::visit; 498 498 499 virtual void visit( __attribute((unused)) ApplicationExpr *applicationExpr ) { isConstExpr = false; } 500 virtual void visit( __attribute((unused)) UntypedExpr *untypedExpr ) { isConstExpr = false; } 501 virtual void visit( NameExpr *nameExpr ) { 502 // xxx - temporary hack, because 0 and 1 really should be constexprs, even though they technically aren't in Cforall today 503 if ( nameExpr->get_name() != "0" && nameExpr->get_name() != "1" ) isConstExpr = false; 504 } 499 virtual void visit( ApplicationExpr * ) { isConstExpr = false; } 500 virtual void visit( UntypedExpr * ) { isConstExpr = false; } 501 virtual void visit( NameExpr * ) { isConstExpr = false; } 505 502 // virtual void visit( CastExpr *castExpr ) { isConstExpr = false; } 506 503 virtual void visit( AddressExpr *addressExpr ) { … … 509 506 if ( ! dynamic_cast< NameExpr * >( arg) && ! dynamic_cast< VariableExpr * >( arg ) && ! dynamic_cast< MemberExpr * >( arg ) && ! dynamic_cast< UntypedMemberExpr * >( arg ) ) isConstExpr = false; 510 507 } 511 virtual void visit( __attribute((unused)) LabelAddressExpr *labAddressExpr ) { isConstExpr = false; } 512 virtual void visit( __attribute((unused)) UntypedMemberExpr *memberExpr ) { isConstExpr = false; } 513 virtual void visit( __attribute((unused)) MemberExpr *memberExpr ) { isConstExpr = false; } 514 virtual void visit( __attribute((unused)) VariableExpr *variableExpr ) { isConstExpr = false; } 508 virtual void visit( UntypedMemberExpr * ) { isConstExpr = false; } 509 virtual void visit( MemberExpr * ) { isConstExpr = false; } 510 virtual void visit( VariableExpr * ) { isConstExpr = false; } 515 511 // these might be okay? 516 512 // virtual void visit( SizeofExpr *sizeofExpr ); … … 523 519 // virtual void visit( LogicalExpr *logicalExpr ); 524 520 // virtual void visit( ConditionalExpr *conditionalExpr ); 525 virtual void visit( __attribute((unused)) TypeExpr *typeExpr) { isConstExpr = false; }526 virtual void visit( __attribute((unused)) AsmExpr *asmExpr) { isConstExpr = false; }527 virtual void visit( __attribute((unused)) UntypedValofExpr *valofExpr) { isConstExpr = false; }528 virtual void visit( __attribute((unused)) CompoundLiteralExpr *compLitExpr) { isConstExpr = false; }529 virtual void visit( __attribute((unused)) UntypedTupleExpr *tupleExpr) { isConstExpr = false; }530 virtual void visit( __attribute((unused)) TupleExpr *tupleExpr) { isConstExpr = false; }531 virtual void visit( __attribute((unused)) TupleAssignExpr *tupleExpr) { isConstExpr = false; }521 virtual void visit( TypeExpr * ) { isConstExpr = false; } 522 virtual void visit( AsmExpr * ) { isConstExpr = false; } 523 virtual void visit( UntypedValofExpr * ) { isConstExpr = false; } 524 virtual void visit( CompoundLiteralExpr * ) { isConstExpr = false; } 525 virtual void visit( UntypedTupleExpr * ) { isConstExpr = false; } 526 virtual void visit( TupleExpr * ) { isConstExpr = false; } 527 virtual void visit( TupleAssignExpr * ) { isConstExpr = false; } 532 528 533 529 bool isConstExpr;
Note: See TracChangeset
for help on using the changeset viewer.