Changeset 81da70a5 for src/ResolvExpr/SatisfyAssertions.cpp
- Timestamp:
- Jun 25, 2020, 5:00:18 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 276f105
- Parents:
- 8ff586c
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/SatisfyAssertions.cpp
r8ff586c r81da70a5 229 229 InferMatcher( InferCache & inferred ) : inferred( inferred ) {} 230 230 231 const ast::Expr * post mutate( const ast::Expr * expr ) {231 const ast::Expr * postvisit( const ast::Expr * expr ) { 232 232 // Skip if no slots to find 233 233 if ( expr->inferred.mode != ast::Expr::InferUnion::Slots ) return expr; … … 239 239 auto it = inferred.find( slot ); 240 240 if ( it == inferred.end() ) { 241 assert(!"missing assertion"); 241 std::cerr << "missing assertion " << slot << std::endl; 242 continue; 242 243 } 243 244 … … 245 246 for ( auto & entry : it->second ) { 246 247 // recurse on inferParams of resolved expressions 247 entry.second.expr = post mutate( entry.second.expr );248 entry.second.expr = postvisit( entry.second.expr ); 248 249 auto res = newInferred.emplace( entry ); 249 250 assert( res.second && "all assertions newly placed" );
Note: See TracChangeset
for help on using the changeset viewer.