Changeset dbc733e for src/ResolvExpr/AlternativeFinder.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/ResolvExpr/AlternativeFinder.cc
rba2a68b rdbc733e 698 698 699 699 void AlternativeFinder::visit( UntypedExpr *untypedExpr ) { 700 {701 std::string fname = InitTweak::getFunctionName( untypedExpr );702 if ( fname == "&&" ) {703 VoidType v = Type::Qualifiers(); // resolve to type void *704 PointerType pt( Type::Qualifiers(), v.clone() );705 UntypedExpr *vexpr = untypedExpr->clone();706 vexpr->set_result( pt.clone() );707 alternatives.push_back( Alternative( vexpr, env, Cost::zero) );708 return;709 }710 }711 712 700 AlternativeFinder funcFinder( indexer, env ); 713 701 funcFinder.findWithAdjustment( untypedExpr->get_function() ); … … 856 844 } // if 857 845 } // for 846 } 847 848 void AlternativeFinder::visit( LabelAddressExpr * expr ) { 849 alternatives.push_back( Alternative( expr->clone(), env, Cost::zero) ); 858 850 } 859 851
Note: See TracChangeset
for help on using the changeset viewer.