Changes in / [c3b96677:f6cc2096]

Location:

src

Files:

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

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;