Changes in / [f6cc2096:c3b96677]

Location:

src

Files:

• ControlStruct/MLEMutator.cc (modified) (2 diffs)
• tests/.expect/32/math.txt (added)
• tests/.expect/32/math1.txt (deleted)
• tests/.expect/32/math2.txt (deleted)
• tests/.expect/32/math3.txt (deleted)
• tests/.expect/64/math.txt (added)
• tests/.expect/64/math1.txt (deleted)
• tests/.expect/64/math2.txt (deleted)
• tests/.expect/64/math3.txt (deleted)
• tests/math.c (added)
• tests/math1.c (deleted)
• tests/math2.c (deleted)
• tests/math3.c (deleted)

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 ) {
@@ -223 +204 @@
                 } // 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;