Changeset 70284830 for src/ControlStruct/MLEMutator.cc

Timestamp:

Aug 11, 2017, 3:54:44 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

f6cc2096

Parents:

0a5b683 (diff), 33c4b81 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg2:software/cfa/cfa-cc

File:

• src/ControlStruct/MLEMutator.cc (modified) (2 diffs)

src/ControlStruct/MLEMutator.cc

@@ -154 +154 @@
                 return switchStmt;
         }
+
+        void addUnused( Statement * stmt, const Label & originalTarget ) {
+                // break/continue without a label doesn't need unused attribute
+                if ( originalTarget == "" ) return;
+                // add unused attribute to the originalTarget of a labelled break/continue
+                for ( Label & l : stmt->get_labels() ) {
+                        // find the label to add unused attribute to
+                        if ( l == originalTarget ) {
+                                for ( Attribute * attr : l.get_attributes() ) {
+                                        // ensure attribute isn't added twice
+                                        if ( attr->get_name() == "unused" ) return;
+                                }
+                                l.get_attributes().push_back( new Attribute( "unused" ) );
+                                return;
+                        }
+                }
+                assertf( false, "Could not find label '%s' on statement %s", originalTarget.get_name().c_str(), toString( stmt ).c_str() );
+        }
+
 
         Statement *MLEMutator::mutate( BranchStmt *branchStmt ) throw ( SemanticError ) {
@@ -204 +223 @@
                 } // switch
 
+                // add unused attribute to label to silence warnings
+                addUnused( targetEntry->get_controlStructure(), branchStmt->get_originalTarget() );
+
                 // transform break/continue statements into goto to simplify later handling of branches
                 delete branchStmt;