Changeset a22e8b4 for tests

Timestamp:

Jan 29, 2025, 11:41:32 AM (2 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

161b98e

Parents:

49510db

Message:

Removed the warnings from more tests. I think '(void)var;' might be working better than 'attribute((unused)) var;'.

Location:

tests

Files:

• Makefile.am (modified) (1 diff)
• forall.cfa (modified) (6 diffs)
• function-operator.cfa (modified) (2 diffs)
• identParamDeclarator.cfa (modified) (3 diffs)

tests/Makefile.am ¶

@@ -93 +93 @@
         concurrency/waituntil/repeat_close \
         concurrency/waituntil/timeout \
-        designations \
         exceptions/cardgame \
         exceptions/defaults \
         exceptions/defaults-threads \
         exceptions/try-leave-catch \
-        forall \
-        function-operator \
-        gmp \
-        identParamDeclarator \
         include/includes \
         include/stdincludes \

tests/forall.cfa ¶

@@ -40 +40 @@
         forall( T, U ) void f( T, U ) { sout | "fTU"; }
 
-        int x;
-        float y;
-        int * z;
-        float * w;
+        int x = 0;
+        float y = 0;
+        int * z = 0;
+        float * w = 0;
 
         f( x, x );
@@ -132 +132 @@
                 typedef int TD2;
                 struct S2 {};
-                X RT2( T, X ) {
-                        int TD2;
+                X RT2( T, X x ) {
+                        int TD2; (void)TD2;
+                        return x;
                 }
         }
@@ -146 +147 @@
                 typedef int TD3;
         }
-        static {
-                struct S5 {};
+        struct S5 {};
+        inline {
                 void RT5( T ) {
                         struct S6 {};
-                        int TD2;
+                        int TD2; (void)TD2;
                 }
         }
@@ -168 +169 @@
 static inline {
         forall( T ) {
-                int RT6( T p );
+                int RT6( T ) { return 0; }
         }
         forall( T, U ) {
-                int RT7( T, U );
-        }
-}
-static forall( T ) {
-        int RT8( T );
-}
-forall( T ) inline static {
+                int RT7( T, U ) { return 0; }
+        }
+}
+inline forall( T ) {
+        int RT8( T ) { return 0; }
+}
+forall( T ) inline {
         int RT9( T ) { T t; return 3; }
 }
@@ -226 +227 @@
         &tr += 1;
         tp += 1;
-        T & tx = tp[1];
+        T & tx = tp[1]; (void)tx;
 
         T t;
@@ -239 +240 @@
         &tr += 1;
         tp += 1;
-        T & tx = tp[1];
+        T & tx = tp[1]; (void)tx;
 }
 
 forall( T & ) void check_dtype() {
-        T & tr = *0p;
-        T * tp = 0p;
+        T & tr = *0p; (void)tr;
+        T * tp = 0p; (void)tp;
 }
 

tests/function-operator.cfa ¶

@@ -29 +29 @@
 trait Destructable { void ^?{}(T &); };
 
-trait Iterator(iter & | sized(iter) | Copyable(iter) | Destructable(iter), T) {
+forall(iter & | sized(iter) | Copyable(iter) | Destructable(iter), T)
+trait Iterator {
         T & *?(iter);
         iter ++?(iter &);
@@ -67 +68 @@
 forall(Generator, GenRet | { GenRet ?()(Generator &); }, Iter &, T | Iterator(Iter, T) | Assignable(T, GenRet))
 void generate(Iter first, Iter last, Generator & gen) {
-        int i = 0;
         while (first != last) {
                 *first = gen();

tests/identParamDeclarator.cfa ¶

@@ -1 @@
-// 
+//
 // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 //
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// identParamDeclarator.cfa -- 
-// 
+//
+// identParamDeclarator.cfa --
+//
 // Author           : Peter A. Buhr
 // Created On       : Wed Aug 17 08:37:56 2016
@@ -12 +12 @@
 // Last Modified On : Fri Sep 25 14:31:08 2020
 // Update Count     : 4
-// 
+//
+
+// We have some useless const qualifiers for parsing testing.
+#pragma GCC diagnostic ignored "-Wignored-qualifiers"
 
 int fred (
@@ -157 +160 @@
     );
 
-int main( int argc, char const *argv[] ) {                              // dummy main
+int main() {
         printf( "done\n" );                                                                     // non-empty .expect file
 }