Changeset a5e2786f for tests

Timestamp:

Dec 22, 2024, 4:48:31 PM (10 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

Location:

tests

Files:

• Makefile.am (modified) (3 diffs)
• array-collections/array-raii.hfa (modified) (2 diffs)
• nowarn/unused.cfa (modified) (1 diff)

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