Changeset de31a1d for src/ControlStruct/MultiLevelExit.hpp
- Timestamp:
- Nov 8, 2021, 10:51:48 AM (3 years ago)
- Branches:
- ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum
- Children:
- cb921d4
- Parents:
- 817bb3c
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ControlStruct/MultiLevelExit.hpp
r817bb3c rde31a1d 26 26 namespace ControlStruct { 27 27 28 class LabelGenerator _new;28 class LabelGenerator; 29 29 using LabelToStmt = std::map<ast::Label, const ast::Stmt *>; 30 30 31 31 /// Mutate a function body to handle multi-level exits. 32 32 const ast::CompoundStmt * multiLevelExitUpdate( 33 const ast::CompoundStmt *, const LabelToStmt &, LabelGenerator _new*);33 const ast::CompoundStmt *, const LabelToStmt &, LabelGenerator *); 34 34 35 35 }
Note: See TracChangeset
for help on using the changeset viewer.