Changeset be5aa1b for src/ControlStruct/LabelFixer.cc

Timestamp:

May 27, 2015, 4:40:05 PM (10 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

46cbfe1, 52ac3b4

Parents:

6aa5ec0f

Message:

error if continue statement targets a location that is not an enclosing loop, better error messages for branch statements with labels, formatting, refactoring

File:

• src/ControlStruct/LabelFixer.cc (modified) (3 diffs)

src/ControlStruct/LabelFixer.cc

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Tue May 19 15:25:59 2015
-// Update Count     : 1
+// Last Modified By : Rob Schluntz
+// Last Modified On : Wed May 27 16:16:14 2015
+// Update Count     : 4
 //
 
@@ -40 +40 @@
 
         void LabelFixer::visit( FunctionDecl *functionDecl ) {
-                if ( functionDecl->get_statements() != 0 )
-                        functionDecl->get_statements()->accept( *this );
+                maybeAccept( functionDecl->get_statements(), *this );
 
                 MLEMutator mlemut( resolveJumps(), generator );
@@ -102 +101 @@
                         Entry *e = i->second;
 
-                        if ( def_us.find ( e->get_definition() ) == def_us.end() )
-                                def_us[ e->get_definition() ] = e;
-                        else
+                        if ( def_us.find ( e->get_definition() ) == def_us.end() ) {
+                                def_us[ e->get_definition() ] = e;                              
+                        } else {
                                 if ( e->used() )
                                         def_us[ e->get_definition() ]->add_uses( e->get_uses() );
+                        }
                 }