Opened 6 years ago
Last modified 2 years ago
#107 closed defect
task/waitfor tuple problem — at Version 2
Reported by: | pabuhr | Owned by: | Thierry |
---|---|---|---|
Priority: | minor | Component: | cfa-cc |
Version: | 1.0 | Keywords: | |
Cc: |
Description (last modified by )
EDIT: new smaller repro code is :
#include <monitor.hfa> monitor Gortn {}; [void] mem3( Gortn & mutex gortn, [int, int] m ) {}
OLD:
It has something to do with the tuple.
#include <thread.hfa> thread Gortn {}; [void] mem3( Gortn & mutex gortn, [int, int] m ) {} void main( Gortn & gortn ) { waitfor( mem3, gortn ); }
cfa test1.c CFA Version 1.0.0 (debug) error: Managed object's initializer is too deep __guard: instance of struct monitor_guard_t with body 1 with initializer (maybe constructed) Compound initializer: Simple Initializer: Variable Expression: __monitors: array of pointer to instance of struct monitor_desc with body 1 with dimension of constant expression (1 1: unsigned long int) ... with environment: Types: Non-types: Simple Initializer: constant expression (1 1: unsigned long int) Simple Initializer: Cast of: Variable Expression: mem3: function ... with parameters gortn: mutex reference to instance of struct Gortn with body 1 m: tuple of types signed int signed int ... returning nothing ... to: function accepting unspecified arguments ... returning nothing
Change History (2)
comment:1 Changed 6 years ago by
comment:2 Changed 6 years ago by
Description: | modified (diff) |
---|
Note: See
TracTickets for help on using
tickets.
Bug has nothing to do with waitfor or threads