Changeset 0bf03ba2

Timestamp:

Dec 20, 2024, 9:38:52 PM (11 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

0cd168f

Parents:

3df3a8f

Message:

Remove warnings due to unused parameters in generated code for zero-length ttype instantiations.

Files:

• src/GenPoly/Specialize.cpp (modified) (1 diff)
• src/InitTweak/FixInit.cpp (modified) (1 diff)
• tests/Makefile.am (modified) (3 diffs)
• tests/nowarn/unused.cfa (modified) (1 diff)

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 \
@@ -98 +97 @@
         concurrency/examples/boundedBufferEXT \
         concurrency/examples/boundedBufferINT \
-        concurrency/futures/abandon \
         concurrency/futures/multi \
         concurrency/futures/select_future \
@@ -179 +177 @@
         function-operator \
         gmp \
-        heap \
         identFuncDeclarator \
         identParamDeclarator \

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() {