source: src/ControlStruct/ExceptTranslate.cc@ 8fd1b7c

ADT ast-experimental
Last change on this file since 8fd1b7c was 5ee153d, checked in by Andrew Beach <ajbeach@…>, 4 years ago

Translated the Translate Throws pass to the new ast.
  • Property mode set to 100644
File size: 21.2 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// ExceptTranslate.cc -- Conversion of exception control flow structures.
8//
9// Author : Andrew Beach
10// Created On : Wed Jun 14 16:49:00 2017
11// Last Modified By : Henry Xue
12// Last Modified On : Tue Aug 03 10:05:51 2021
13// Update Count : 18
14//
15
16#include "ExceptTranslate.h"
17
18#include <stddef.h> // for NULL
19#include <cassert> // for assert, assertf
20#include <iterator> // for back_inserter, inserter
21#include <string> // for string, operator==
22
23#include "Common/PassVisitor.h" // for PassVisitor, WithGuards
24#include "Common/SemanticError.h" // for SemanticError
25#include "Common/utility.h" // for CodeLocation
26#include "SynTree/LinkageSpec.h" // for Cforall
27#include "SynTree/Attribute.h" // for Attribute
28#include "SynTree/Constant.h" // for Constant
29#include "SynTree/Declaration.h" // for ObjectDecl, FunctionDecl, Struc...
30#include "SynTree/Expression.h" // for UntypedExpr, ConstantExpr, Name...
31#include "SynTree/Initializer.h" // for SingleInit, ListInit
32#include "SynTree/Label.h" // for Label
33#include "SynTree/Mutator.h" // for mutateAll
34#include "SynTree/Statement.h" // for CompoundStmt, CatchStmt, ThrowStmt
35#include "SynTree/Type.h" // for FunctionType, Type, noQualifiers
36#include "SynTree/DeclReplacer.h" // for DeclReplacer
37#include "SynTree/Visitor.h" // for acceptAll
38
39namespace ControlStruct {
40
41 // Buricratic Helpers (Not having to do with the paritular operation.)
42
43 typedef std::list<CatchStmt*> CatchList;
44
45 void split( CatchList& allHandlers, CatchList& terHandlers,
46 CatchList& resHandlers ) {
47 while ( !allHandlers.empty() ) {
48 CatchStmt * stmt = allHandlers.front();
49 allHandlers.pop_front();
50 if (CatchStmt::Terminate == stmt->get_kind()) {
51 terHandlers.push_back(stmt);
52 } else {
53 resHandlers.push_back(stmt);
54 }
55 }
56 }
57
58 void appendDeclStmt( CompoundStmt * block, Declaration * item ) {
59 block->push_back(new DeclStmt(item));
60 }
61
62 Expression * nameOf( DeclarationWithType * decl ) {
63 return new VariableExpr( decl );
64 }
65
66 class ThrowMutatorCore : public WithGuards {
67 ObjectDecl * terminate_handler_except;
68 enum Context { NoHandler, TerHandler, ResHandler } cur_context;
69
70 // The helper functions for code/syntree generation.
71 Statement * create_either_throw(
72 ThrowStmt * throwStmt, const char * throwFunc );
73 Statement * create_terminate_rethrow( ThrowStmt * throwStmt );
74
75 public:
76 ThrowMutatorCore() :
77 terminate_handler_except( nullptr ),
78 cur_context( NoHandler )
79 {}
80
81 void premutate( CatchStmt *catchStmt );
82 Statement * postmutate( ThrowStmt *throwStmt );
83 };
84
85 // ThrowStmt Mutation Helpers
86
87 Statement * ThrowMutatorCore::create_either_throw(
88 ThrowStmt * throwStmt, const char * throwFunc ) {
89 // `throwFunc`( `throwStmt->get_name()` );
90 UntypedExpr * call = new UntypedExpr( new NameExpr( throwFunc ) );
91 call->get_args().push_back( throwStmt->get_expr() );
92 throwStmt->set_expr( nullptr );
93 delete throwStmt;
94 return new ExprStmt( call );
95 }
96
97 Statement * ThrowMutatorCore::create_terminate_rethrow(
98 ThrowStmt *throwStmt ) {
99 // { `terminate_handler_except` = 0p; __rethrow_terminate(); }
100 assert( nullptr == throwStmt->get_expr() );
101 assert( terminate_handler_except );
102
103 CompoundStmt * result = new CompoundStmt();
104 result->labels = throwStmt->labels;
105 result->push_back( new ExprStmt( UntypedExpr::createAssign(
106 nameOf( terminate_handler_except ),
107 new ConstantExpr( Constant::null(
108 terminate_handler_except->get_type()->clone()
109 ) )
110 ) ) );
111 result->push_back( new ExprStmt(
112 new UntypedExpr( new NameExpr( "__cfaehm_rethrow_terminate" ) )
113 ) );
114 delete throwStmt;
115 return result;
116 }
117
118 // Visiting/Mutating Functions
119
120 void ThrowMutatorCore::premutate( CatchStmt *catchStmt ) {
121 // Validate the statement's form.
122 ObjectDecl * decl = dynamic_cast<ObjectDecl *>( catchStmt->get_decl() );
123 // Also checking the type would be nice.
124 if ( !decl || !dynamic_cast<PointerType *>( decl->type ) ) {
125 std::string kind = (CatchStmt::Terminate == catchStmt->kind) ? "catch" : "catchResume";
126 SemanticError( catchStmt->location, kind + " must have pointer to an exception type" );
127 }
128
129 // Track the handler context.
130 GuardValue( cur_context );
131 if ( CatchStmt::Terminate == catchStmt->get_kind() ) {
132 cur_context = TerHandler;
133
134 GuardValue( terminate_handler_except );
135 terminate_handler_except = decl;
136 } else {
137 cur_context = ResHandler;
138 }
139 }
140
141 Statement * ThrowMutatorCore::postmutate( ThrowStmt *throwStmt ) {
142 // Ignoring throwStmt->get_target() for now.
143 if ( ThrowStmt::Terminate == throwStmt->get_kind() ) {
144 if ( throwStmt->get_expr() ) {
145 return create_either_throw( throwStmt, "$throw" );
146 } else if ( TerHandler == cur_context ) {
147 return create_terminate_rethrow( throwStmt );
148 } else {
149 abort("Invalid throw in %s at %i\n",
150 throwStmt->location.filename.c_str(),
151 throwStmt->location.first_line);
152 }
153 } else {
154 if ( throwStmt->get_expr() ) {
155 return create_either_throw( throwStmt, "$throwResume" );
156 } else if ( ResHandler == cur_context ) {
157 // This has to be handled later.
158 return throwStmt;
159 } else {
160 abort("Invalid throwResume in %s at %i\n",
161 throwStmt->location.filename.c_str(),
162 throwStmt->location.first_line);
163 }
164 }
165 }
166
167 class TryMutatorCore {
168 // The built in types used in translation.
169 StructDecl * except_decl;
170 StructDecl * node_decl;
171 StructDecl * hook_decl;
172
173 // The many helper functions for code/syntree generation.
174 CompoundStmt * take_try_block( TryStmt * tryStmt );
175 FunctionDecl * create_try_wrapper( CompoundStmt * body );
176 FunctionDecl * create_terminate_catch( CatchList &handlers );
177 CompoundStmt * create_single_matcher(
178 DeclarationWithType * except_obj, CatchStmt * modded_handler );
179 FunctionDecl * create_terminate_match( CatchList &handlers );
180 CompoundStmt * create_terminate_caller( FunctionDecl * try_wrapper,
181 FunctionDecl * terminate_catch, FunctionDecl * terminate_match );
182 FunctionDecl * create_resume_handler( CatchList &handlers );
183 CompoundStmt * create_resume_wrapper(
184 Statement * wraps, FunctionDecl * resume_handler );
185 FunctionDecl * create_finally_wrapper( TryStmt * tryStmt );
186 ObjectDecl * create_finally_hook( FunctionDecl * finally_wrapper );
187 Statement * create_resume_rethrow( ThrowStmt * throwStmt );
188
189 // Types used in translation, make sure to use clone.
190 // void (*function)();
191 FunctionType try_func_t;
192 // void (*function)(int, exception);
193 FunctionType catch_func_t;
194 // int (*function)(exception);
195 FunctionType match_func_t;
196 // bool (*function)(exception);
197 FunctionType handle_func_t;
198 // void (*function)(__attribute__((unused)) void *);
199 FunctionType finally_func_t;
200
201 StructInstType * create_except_type() {
202 assert( except_decl );
203 return new StructInstType( noQualifiers, except_decl );
204 }
205 void init_func_types();
206
207 public:
208 TryMutatorCore() :
209 except_decl( nullptr ), node_decl( nullptr ), hook_decl( nullptr ),
210 try_func_t( noQualifiers, false ),
211 catch_func_t( noQualifiers, false ),
212 match_func_t( noQualifiers, false ),
213 handle_func_t( noQualifiers, false ),
214 finally_func_t( noQualifiers, false )
215 {}
216
217 void premutate( StructDecl *structDecl );
218 Statement * postmutate( TryStmt *tryStmt );
219 Statement * postmutate( ThrowStmt *throwStmt );
220 };
221
222 void TryMutatorCore::init_func_types() {
223 assert( except_decl );
224
225 ObjectDecl index_obj(
226 "__handler_index",
227 Type::StorageClasses(),
228 LinkageSpec::Cforall,
229 /*bitfieldWidth*/ NULL,
230 new BasicType( noQualifiers, BasicType::SignedInt ),
231 /*init*/ NULL
232 );
233 ObjectDecl exception_obj(
234 "__exception_inst",
235 Type::StorageClasses(),
236 LinkageSpec::Cforall,
237 /*bitfieldWidth*/ NULL,
238 new PointerType(
239 noQualifiers,
240 new StructInstType( noQualifiers, except_decl )
241 ),
242 /*init*/ NULL
243 );
244 ObjectDecl bool_obj(
245 "__ret_bool",
246 Type::StorageClasses(),
247 LinkageSpec::Cforall,
248 /*bitfieldWidth*/ NULL,
249 new BasicType( noQualifiers, BasicType::Bool ),
250 /*init*/ NULL,
251 std::list<Attribute *>{ new Attribute( "unused" ) }
252 );
253 ObjectDecl voidptr_obj(
254 "__hook",
255 Type::StorageClasses(),
256 LinkageSpec::Cforall,
257 NULL,
258 new PointerType(
259 noQualifiers,
260 new VoidType(
261 noQualifiers
262 ),
263 std::list<Attribute *>{ new Attribute( "unused" ) }
264 ),
265 NULL
266 );
267
268 ObjectDecl * unused_index_obj = index_obj.clone();
269 unused_index_obj->attributes.push_back( new Attribute( "unused" ) );
270
271 catch_func_t.get_parameters().push_back( index_obj.clone() );
272 catch_func_t.get_parameters().push_back( exception_obj.clone() );
273 match_func_t.get_returnVals().push_back( unused_index_obj );
274 match_func_t.get_parameters().push_back( exception_obj.clone() );
275 handle_func_t.get_returnVals().push_back( bool_obj.clone() );
276 handle_func_t.get_parameters().push_back( exception_obj.clone() );
277 finally_func_t.get_parameters().push_back( voidptr_obj.clone() );
278 }
279
280 // TryStmt Mutation Helpers
281
282 CompoundStmt * TryMutatorCore::take_try_block( TryStmt *tryStmt ) {
283 CompoundStmt * block = tryStmt->get_block();
284 tryStmt->set_block( nullptr );
285 return block;
286 }
287
288 FunctionDecl * TryMutatorCore::create_try_wrapper(
289 CompoundStmt *body ) {
290
291 return new FunctionDecl( "try", Type::StorageClasses(),
292 LinkageSpec::Cforall, try_func_t.clone(), body );
293 }
294
295 FunctionDecl * TryMutatorCore::create_terminate_catch(
296 CatchList &handlers ) {
297 std::list<CaseStmt *> handler_wrappers;
298
299 FunctionType *func_type = catch_func_t.clone();
300 DeclarationWithType * index_obj = func_type->get_parameters().front();
301 DeclarationWithType * except_obj = func_type->get_parameters().back();
302
303 // Index 1..{number of handlers}
304 int index = 0;
305 CatchList::iterator it = handlers.begin();
306 for ( ; it != handlers.end() ; ++it ) {
307 ++index;
308 CatchStmt * handler = *it;
309
310 // case `index`:
311 // {
312 // `handler.decl` = { (virtual `decl.type`)`except` };
313 // `handler.body`;
314 // }
315 // return;
316 CompoundStmt * block = new CompoundStmt();
317
318 // Just copy the exception value. (Post Validation)
319 ObjectDecl * handler_decl =
320 static_cast<ObjectDecl *>( handler->get_decl() );
321 ObjectDecl * local_except = handler_decl->clone();
322 VirtualCastExpr * vcex = new VirtualCastExpr(
323 nameOf( except_obj ),
324 local_except->get_type()
325 );
326 vcex->location = handler->location;
327 local_except->set_init( new ListInit({ new SingleInit( vcex ) }) );
328 block->push_back( new DeclStmt( local_except ) );
329
330 // Add the cleanup attribute.
331 local_except->get_attributes().push_back( new Attribute(
332 "cleanup",
333 { new NameExpr( "__cfaehm_cleanup_terminate" ) }
334 ) );
335
336 // Update variables in the body to point to this local copy.
337 {
338 DeclReplacer::DeclMap mapping;
339 mapping[ handler_decl ] = local_except;
340 DeclReplacer::replace( handler->body, mapping );
341 }
342
343 block->push_back( handler->body );
344 handler->body = nullptr;
345
346 std::list<Statement *> caseBody
347 { block, new ReturnStmt( nullptr ) };
348 handler_wrappers.push_back( new CaseStmt(
349 new ConstantExpr( Constant::from_int( index ) ),
350 caseBody
351 ) );
352 }
353 // TODO: Some sort of meaningful error on default perhaps?
354
355 std::list<Statement*> stmt_handlers;
356 while ( !handler_wrappers.empty() ) {
357 stmt_handlers.push_back( handler_wrappers.front() );
358 handler_wrappers.pop_front();
359 }
360
361 SwitchStmt * handler_lookup = new SwitchStmt(
362 nameOf( index_obj ),
363 stmt_handlers
364 );
365 CompoundStmt * body = new CompoundStmt();
366 body->push_back( handler_lookup );
367
368 return new FunctionDecl("catch", Type::StorageClasses(),
369 LinkageSpec::Cforall, func_type, body);
370 }
371
372 // Create a single check from a moddified handler.
373 // except_obj is referenced, modded_handler will be freed.
374 CompoundStmt * TryMutatorCore::create_single_matcher(
375 DeclarationWithType * except_obj, CatchStmt * modded_handler ) {
376 // {
377 // `modded_handler.decl`
378 // if ( `decl.name = (virtual `decl.type`)`except`
379 // [&& `modded_handler.cond`] ) {
380 // `modded_handler.body`
381 // }
382 // }
383
384 CompoundStmt * block = new CompoundStmt();
385
386 // Local Declaration
387 ObjectDecl * local_except =
388 dynamic_cast<ObjectDecl *>( modded_handler->get_decl() );
389 assert( local_except );
390 block->push_back( new DeclStmt( local_except ) );
391
392 // Check for type match.
393 VirtualCastExpr * vcex = new VirtualCastExpr(
394 nameOf( except_obj ),
395 local_except->get_type()->clone()
396 );
397 vcex->location = modded_handler->location;
398 Expression * cond = UntypedExpr::createAssign(
399 nameOf( local_except ), vcex );
400
401 // Add the check on the conditional if it is provided.
402 if ( modded_handler->get_cond() ) {
403 cond = new LogicalExpr( cond, modded_handler->get_cond() );
404 }
405 // Construct the match condition.
406 block->push_back( new IfStmt(
407 cond, modded_handler->get_body(), nullptr ) );
408
409 modded_handler->set_decl( nullptr );
410 modded_handler->set_cond( nullptr );
411 modded_handler->set_body( nullptr );
412 delete modded_handler;
413 return block;
414 }
415
416 FunctionDecl * TryMutatorCore::create_terminate_match(
417 CatchList &handlers ) {
418 // int match(exception * except) {
419 // HANDLER WRAPPERS { return `index`; }
420 // }
421
422 CompoundStmt * body = new CompoundStmt();
423
424 FunctionType * func_type = match_func_t.clone();
425 DeclarationWithType * except_obj = func_type->get_parameters().back();
426
427 // Index 1..{number of handlers}
428 int index = 0;
429 CatchList::iterator it;
430 for ( it = handlers.begin() ; it != handlers.end() ; ++it ) {
431 ++index;
432 CatchStmt * handler = *it;
433
434 // Body should have been taken by create_terminate_catch.
435 assert( nullptr == handler->get_body() );
436
437 // Create new body.
438 handler->set_body( new ReturnStmt(
439 new ConstantExpr( Constant::from_int( index ) ) ) );
440
441 // Create the handler.
442 body->push_back( create_single_matcher( except_obj, handler ) );
443 *it = nullptr;
444 }
445
446 body->push_back( new ReturnStmt(
447 new ConstantExpr( Constant::from_int( 0 ) ) ) );
448
449 return new FunctionDecl("match", Type::StorageClasses(),
450 LinkageSpec::Cforall, func_type, body);
451 }
452
453 CompoundStmt * TryMutatorCore::create_terminate_caller(
454 FunctionDecl * try_wrapper,
455 FunctionDecl * terminate_catch,
456 FunctionDecl * terminate_match ) {
457 // { __cfaehm_try_terminate(`try`, `catch`, `match`); }
458
459 UntypedExpr * caller = new UntypedExpr( new NameExpr(
460 "__cfaehm_try_terminate" ) );
461 std::list<Expression *>& args = caller->get_args();
462 args.push_back( nameOf( try_wrapper ) );
463 args.push_back( nameOf( terminate_catch ) );
464 args.push_back( nameOf( terminate_match ) );
465
466 CompoundStmt * callStmt = new CompoundStmt();
467 callStmt->push_back( new ExprStmt( caller ) );
468 return callStmt;
469 }
470
471 FunctionDecl * TryMutatorCore::create_resume_handler(
472 CatchList &handlers ) {
473 // bool handle(exception * except) {
474 // HANDLER WRAPPERS { `hander->body`; return true; }
475 // }
476 CompoundStmt * body = new CompoundStmt();
477
478 FunctionType * func_type = handle_func_t.clone();
479 DeclarationWithType * except_obj = func_type->get_parameters().back();
480
481 CatchList::iterator it;
482 for ( it = handlers.begin() ; it != handlers.end() ; ++it ) {
483 CatchStmt * handler = *it;
484
485 // Modifiy body.
486 CompoundStmt * handling_code =
487 dynamic_cast<CompoundStmt*>( handler->get_body() );
488 if ( ! handling_code ) {
489 handling_code = new CompoundStmt();
490 handling_code->push_back( handler->get_body() );
491 }
492 handling_code->push_back( new ReturnStmt(
493 new ConstantExpr( Constant::from_bool( true ) ) ) );
494 handler->set_body( handling_code );
495
496 // Create the handler.
497 body->push_back( create_single_matcher( except_obj, handler ) );
498 *it = nullptr;
499 }
500
501 body->push_back( new ReturnStmt(
502 new ConstantExpr( Constant::from_bool( false ) ) ) );
503
504 return new FunctionDecl("handle", Type::StorageClasses(),
505 LinkageSpec::Cforall, func_type, body);
506 }
507
508 CompoundStmt * TryMutatorCore::create_resume_wrapper(
509 Statement * wraps,
510 FunctionDecl * resume_handler ) {
511 CompoundStmt * body = new CompoundStmt();
512
513 // struct __try_resume_node __resume_node
514 // __attribute__((cleanup( __cfaehm_try_resume_cleanup )));
515 // ** unwinding of the stack here could cause problems **
516 // ** however I don't think that can happen currently **
517 // __cfaehm_try_resume_setup( &__resume_node, resume_handler );
518
519 std::list< Attribute * > attributes;
520 {
521 std::list< Expression * > attr_params;
522 attr_params.push_back( new NameExpr(
523 "__cfaehm_try_resume_cleanup" ) );
524 attributes.push_back( new Attribute( "cleanup", attr_params ) );
525 }
526
527 ObjectDecl * obj = new ObjectDecl(
528 "__resume_node",
529 Type::StorageClasses(),
530 LinkageSpec::Cforall,
531 nullptr,
532 new StructInstType(
533 Type::Qualifiers(),
534 node_decl
535 ),
536 nullptr,
537 attributes
538 );
539 appendDeclStmt( body, obj );
540
541 UntypedExpr *setup = new UntypedExpr( new NameExpr(
542 "__cfaehm_try_resume_setup" ) );
543 setup->get_args().push_back( new AddressExpr( nameOf( obj ) ) );
544 setup->get_args().push_back( nameOf( resume_handler ) );
545
546 body->push_back( new ExprStmt( setup ) );
547
548 body->push_back( wraps );
549 return body;
550 }
551
552 FunctionDecl * TryMutatorCore::create_finally_wrapper(
553 TryStmt * tryStmt ) {
554 // void finally() { `finally->block` }
555 FinallyStmt * finally = tryStmt->get_finally();
556 CompoundStmt * body = finally->get_block();
557 finally->set_block( nullptr );
558 delete finally;
559 tryStmt->set_finally( nullptr );
560
561 return new FunctionDecl("finally", Type::StorageClasses(),
562 LinkageSpec::Cforall, finally_func_t.clone(), body);
563 }
564
565 ObjectDecl * TryMutatorCore::create_finally_hook(
566 FunctionDecl * finally_wrapper ) {
567 // struct __cfaehm_cleanup_hook __finally_hook
568 // __attribute__((cleanup( `finally_wrapper` )));
569
570 // Make Cleanup Attribute.
571 std::list< Attribute * > attributes;
572 {
573 std::list< Expression * > attr_params;
574 attr_params.push_back( nameOf( finally_wrapper ) );
575 attributes.push_back( new Attribute( "cleanup", attr_params ) );
576 }
577
578 return new ObjectDecl(
579 "__finally_hook",
580 Type::StorageClasses(),
581 LinkageSpec::Cforall,
582 nullptr,
583 new StructInstType(
584 noQualifiers,
585 hook_decl
586 ),
587 nullptr,
588 attributes
589 );
590 }
591
592 Statement * TryMutatorCore::create_resume_rethrow( ThrowStmt *throwStmt ) {
593 // return false;
594 Statement * result = new ReturnStmt(
595 new ConstantExpr( Constant::from_bool( false ) )
596 );
597 result->labels = throwStmt->labels;
598 delete throwStmt;
599 return result;
600 }
601
602 // Visiting/Mutating Functions
603 void TryMutatorCore::premutate( StructDecl *structDecl ) {
604 if ( !structDecl->has_body() ) {
605 // Skip children?
606 return;
607 } else if ( structDecl->get_name() == "__cfaehm_base_exception_t" ) {
608 assert( nullptr == except_decl );
609 except_decl = structDecl;
610 init_func_types();
611 } else if ( structDecl->get_name() == "__cfaehm_try_resume_node" ) {
612 assert( nullptr == node_decl );
613 node_decl = structDecl;
614 } else if ( structDecl->get_name() == "__cfaehm_cleanup_hook" ) {
615 assert( nullptr == hook_decl );
616 hook_decl = structDecl;
617 }
618 }
619
620 Statement * TryMutatorCore::postmutate( TryStmt *tryStmt ) {
621 assert( except_decl );
622 assert( node_decl );
623 assert( hook_decl );
624
625 // Generate a prefix for the function names?
626
627 CompoundStmt * block = new CompoundStmt();
628 CompoundStmt * inner = take_try_block( tryStmt );
629
630 if ( tryStmt->get_finally() ) {
631 // Define the helper function.
632 FunctionDecl * finally_block =
633 create_finally_wrapper( tryStmt );
634 appendDeclStmt( block, finally_block );
635 // Create and add the finally cleanup hook.
636 appendDeclStmt( block, create_finally_hook( finally_block ) );
637 }
638
639 CatchList termination_handlers;
640 CatchList resumption_handlers;
641 split( tryStmt->get_catchers(),
642 termination_handlers, resumption_handlers );
643
644 if ( resumption_handlers.size() ) {
645 // Define the helper function.
646 FunctionDecl * resume_handler =
647 create_resume_handler( resumption_handlers );
648 appendDeclStmt( block, resume_handler );
649 // Prepare hooks
650 inner = create_resume_wrapper( inner, resume_handler );
651 }
652
653 if ( termination_handlers.size() ) {
654 // Define the three helper functions.
655 FunctionDecl * try_wrapper = create_try_wrapper( inner );
656 appendDeclStmt( block, try_wrapper );
657 FunctionDecl * terminate_catch =
658 create_terminate_catch( termination_handlers );
659 appendDeclStmt( block, terminate_catch );
660 FunctionDecl * terminate_match =
661 create_terminate_match( termination_handlers );
662 appendDeclStmt( block, terminate_match );
663 // Build the call to the try wrapper.
664 inner = create_terminate_caller(
665 try_wrapper, terminate_catch, terminate_match );
666 }
667
668 // Embed the try block.
669 block->push_back( inner );
670
671 return block;
672 }
673
674 Statement * TryMutatorCore::postmutate( ThrowStmt *throwStmt ) {
675 // Only valid `throwResume;` statements should remain. (2/3 checks)
676 assert( ThrowStmt::Resume == throwStmt->kind && ! throwStmt->expr );
677 return create_resume_rethrow( throwStmt );
678 }
679
680 void translateThrows( std::list< Declaration *> & translationUnit ) {
681 PassVisitor<ThrowMutatorCore> translator;
682 mutateAll( translationUnit, translator );
683 }
684
685 void translateTries( std::list< Declaration *> & translationUnit ) {
686 PassVisitor<TryMutatorCore> translator;
687 mutateAll( translationUnit, translator );
688 }
689}
Note: See TracBrowser for help on using the repository browser.