Changeset a5e2786f

Timestamp:

Dec 22, 2024, 4:48:31 PM (9 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

43299af

Parents:

5a02308 (diff), 28c2c9d5 (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 plg.uwaterloo.ca:software/cfa/cfa-cc

Files:

• benchmark/Makefile.am (modified) (1 diff)
• src/GenPoly/Specialize.cpp (modified) (1 diff)
• src/InitTweak/FixInit.cpp (modified) (1 diff)
• tests/Makefile.am (modified) (3 diffs)
• tests/array-collections/array-raii.hfa (modified) (2 diffs)
• tests/nowarn/unused.cfa (modified) (1 diff)

benchmark/Makefile.am

@@ -174 +174 @@
         echo "array,attributes,empty,expression,io,monitor,operators,typeof" > $@
         +make TIME_FORMAT='%e,' PRINT_FORMAT='' compile-array.make >> $@
-        echo "0," >> $@
-#       +make TIME_FORMAT='%e,' PRINT_FORMAT='' compile-attributes.make >> $@
+        +make TIME_FORMAT='%e,' PRINT_FORMAT='' compile-attributes.make >> $@
         +make TIME_FORMAT='%e,' PRINT_FORMAT='' compile-empty.make >> $@
         +make TIME_FORMAT='%e,' PRINT_FORMAT='' compile-expression.make >> $@

src/GenPoly/Specialize.cpp

@@ -300 +300 @@
                 } ),
                 map_range<DWTVector>( newType->params, [&location, &paramNamer]( const ast::Type * type ) {
-                        return new ast::ObjectDecl( location, paramNamer.newName(), ast::deepCopy( type ) );
+                        auto param = new ast::ObjectDecl( location, paramNamer.newName(), ast::deepCopy( type ) );
+                        param->attributes.push_back( new ast::Attribute( "unused" ) );
+                        return param;
                 } ),
                 map_range<DWTVector>( newType->returns, [&location, &paramNamer]( const ast::Type * type ) {

src/InitTweak/FixInit.cpp

@@ -70 +70 @@
                 ast::Linkage::Cforall
         );
+        dstParam->attributes.push_back( new ast::Attribute( "unused" ) );
         return new ast::FunctionDecl( loc,
                 fname,

tests/Makefile.am

@@ -52 +52 @@
 WFLGAS_OPT_LAX = \
         alloc \
-        alloc2 \
         array \
-        array-collections/array-raii-c \
-        array-collections/array-raii-cfa \
         array-collections/boxed \
                 array-collections/boxed% \
@@ -98 +95 @@
         concurrency/examples/boundedBufferEXT \
         concurrency/examples/boundedBufferINT \
-        concurrency/futures/abandon \
         concurrency/futures/multi \
         concurrency/futures/select_future \
@@ -179 +175 @@
         function-operator \
         gmp \
-        heap \
         identFuncDeclarator \
         identParamDeclarator \

tests/array-collections/array-raii.hfa

@@ -59 +59 @@
         }
     }
+  #pragma GCC diagnostic push
+  #pragma GCC diagnostic ignored "-Wuninitialized"
+  #pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
     void case1() {
         ADECL1(x, float, 5)
@@ -68 +71 @@
         checkzero(x[0].f, x[1].f, x[2].f, x[3].f, x[4].f);
     }
+  #pragma GCC diagnostic pop
 
     writeJunkOnStack(5);

tests/nowarn/unused.cfa

@@ -17 +17 @@
 enum () foo_t { foo };
 
+// on empty tuple,  __cleanup_dtor takes zero actions on its param and
+// _thunk's purpose is to ignore its param
+forall( Args... | { void foo( Args ); } )
+void wrap( Args ) {}
+void foo() {}
+void callWrap() {
+    wrap();
+}
+
 
 int main() {