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

File:

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

benchmark/mutex/cfa1.cfa

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