Changes in src/tests/concurrent/examples/.expect/boundedBufferEXT.txt [b9f383f:88f15ae]

File:

• src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (modified) (1 diff)

src/tests/concurrent/examples/.expect/boundedBufferEXT.txt

@@ -1 @@
-total:400000
+concurrent/examples/boundedBufferEXT.c:39:1 error: No alternatives for function in call to waitfor
+/u/pabuhr/software/cfa-cc/include/cfa/bits/containers.h:170:1 error: candidate function not viable: no mutex parameters
+forall
+  _6573_20_T: sized object type
+  ... with assertions
+    get_next: pointer to function
+    ... with parameters
+      reference to instance of type _6573_20_T (not function type) 
+    ... returning 
+      _retval_get_next: reference to pointer to instance of type _6573_20_T (not function type) 
+      ... with attributes: 
+        Attribute with name: unused
+
+
+
+  lvalue function
+... with parameters
+  this: reference to instance of struct __queue with body 1 
+  ... with parameters
+    instance of type _6573_20_T (not function type) 
+
+  it: pointer to pointer to instance of type _6573_20_T (not function type) 
+... returning 
+  _retval_remove: pointer to instance of type _6573_20_T (not function type) 
+  ... with attributes: 
+    Attribute with name: unused
+
+
+/usr/include/stdio.h:178:1 error: candidate function not viable: no mutex parameters
+lvalue function
+... with parameters
+  __filename: C pointer to const char
+... returning 
+  _retval_remove: signed int
+  ... with attributes: 
+    Attribute with name: unused
+
+
+concurrent/examples/boundedBufferEXT.c:47:1 error: No alternatives for function in call to waitfor
+concurrent/examples/boundedBufferEXT.c:37:1 error: candidate function not viable: too few mutex arguments
+forall
+  _6578_20_T: sized object type
+  ... with assertions
+    ?=?: pointer to function
+    ... with parameters
+      reference to instance of type _6578_20_T (not function type) 
+      instance of type _6578_20_T (not function type) 
+    ... returning 
+      _retval__operator_assign: instance of type _6578_20_T (not function type) 
+      ... with attributes: 
+        Attribute with name: unused
+
+
+    ?{}: pointer to function
+    ... with parameters
+      reference to instance of type _6578_20_T (not function type) 
+    ... returning nothing 
+
+    ?{}: pointer to function
+    ... with parameters
+      reference to instance of type _6578_20_T (not function type) 
+      instance of type _6578_20_T (not function type) 
+    ... returning nothing 
+
+    ^?{}: pointer to function
+    ... with parameters
+      reference to instance of type _6578_20_T (not function type) 
+    ... returning nothing 
+
+
+  lvalue function
+... with parameters
+  buffer: mutex reference to instance of struct Buffer with body 1 
+  ... with parameters
+    instance of type _6578_20_T (not function type) 
+
+  elem: instance of type _6578_20_T (not function type) 
+... returning nothing 
+