Changes in benchmark/mutex/cfa1.cfa [2316525:b4107c8]

File:

• benchmark/mutex/cfa1.cfa (modified) (1 diff)

benchmark/mutex/cfa1.cfa

@@ -4 +4 @@
 #include "bench.h"
 
-monitor M {} m1;
-void __attribute__((noinline)) call( M & mutex p1 ) {}
+monitor M {};
+void __attribute__((noinline)) call( M & mutex m ) {}
 
 int main( int argc, char * argv[] ) {
         BENCH_START()
+        M m;
         BENCH(
-                for ( times ) {
-                        call( m1 );
+                for ( i; times ) {
+                        call( m );
                 },
                 result