source: src/ControlStruct/ExceptTranslate.cc@ d29fa5f

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since d29fa5f was d48e529, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

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