source: src/tests/concurrent/examples/.expect/boundedBufferEXT.txt @ 88f15ae

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationwith_gc
Last change on this file since 88f15ae was 88f15ae, checked in by Peter A. Buhr <pabuhr@…>, 4 years ago

add generic bounded-buffer, both internal and external scheduling

  • Property mode set to 100644
File size: 2.6 KB
Line 
1concurrent/examples/boundedBufferEXT.c:39:1 error: No alternatives for function in call to waitfor
2/u/pabuhr/software/cfa-cc/include/cfa/bits/containers.h:170:1 error: candidate function not viable: no mutex parameters
3forall
4  _6573_20_T: sized object type
5  ... with assertions
6    get_next: pointer to function
7    ... with parameters
8      reference to instance of type _6573_20_T (not function type)
9    ... returning
10      _retval_get_next: reference to pointer to instance of type _6573_20_T (not function type)
11      ... with attributes:
12        Attribute with name: unused
13
14
15
16  lvalue function
17... with parameters
18  this: reference to instance of struct __queue with body 1
19  ... with parameters
20    instance of type _6573_20_T (not function type)
21
22  it: pointer to pointer to instance of type _6573_20_T (not function type)
23... returning
24  _retval_remove: pointer to instance of type _6573_20_T (not function type)
25  ... with attributes:
26    Attribute with name: unused
27
28
29/usr/include/stdio.h:178:1 error: candidate function not viable: no mutex parameters
30lvalue function
31... with parameters
32  __filename: C pointer to const char
33... returning
34  _retval_remove: signed int
35  ... with attributes:
36    Attribute with name: unused
37
38
39concurrent/examples/boundedBufferEXT.c:47:1 error: No alternatives for function in call to waitfor
40concurrent/examples/boundedBufferEXT.c:37:1 error: candidate function not viable: too few mutex arguments
41forall
42  _6578_20_T: sized object type
43  ... with assertions
44    ?=?: pointer to function
45    ... with parameters
46      reference to instance of type _6578_20_T (not function type)
47      instance of type _6578_20_T (not function type)
48    ... returning
49      _retval__operator_assign: instance of type _6578_20_T (not function type)
50      ... with attributes:
51        Attribute with name: unused
52
53
54    ?{}: pointer to function
55    ... with parameters
56      reference to instance of type _6578_20_T (not function type)
57    ... returning nothing
58
59    ?{}: pointer to function
60    ... with parameters
61      reference to instance of type _6578_20_T (not function type)
62      instance of type _6578_20_T (not function type)
63    ... returning nothing
64
65    ^?{}: pointer to function
66    ... with parameters
67      reference to instance of type _6578_20_T (not function type)
68    ... returning nothing
69
70
71  lvalue function
72... with parameters
73  buffer: mutex reference to instance of struct Buffer with body 1
74  ... with parameters
75    instance of type _6578_20_T (not function type)
76
77  elem: instance of type _6578_20_T (not function type)
78... returning nothing
79
Note: See TracBrowser for help on using the repository browser.