I'm want to call a function from another function. Both functions are
void and have inout arguments. VCS doesn't seem to complain, however
Quartus balks saying that "functions can't enable tasks" (the code is
synthesisable).

Referring back to the LRM doesn't leave me wiser as to whether Quartus
is legitimately throwing a wobbly. From section 10.3:

"It shall be illegal to call a function with output, inout or ref
arguments in an event expression, in an expression
within a procedural continuous assignment, or in an expression that is
not within a procedural statement."

Does this mean that if I call function "foo" from within a procedural
statement that "foo" cannot subsequently call function "bar"?

Thanks,

Thanks for response,

Chris

<code>
module function_example(
    input               clk,
    input  [15:0]       data,
    output [15:0]       result);

typedef enum {
    STATE1,
    STATE2

function void handle_state1(input logic [15:0] somedata, inout state_t
self);
    self.scratch = somedata;
    self.state  = STATE2;
endfunction

function void handle_state2(input logic [15:0] somedata, inout state_t
self);
    self.scratch &= somedata;
    self.state = STATE1;
endfunction

function void dispatcher(input logic [15:0] somedata, inout state_t
self);
    case (self.state)
        STATE1: handle_state1(somedata, self);
        STATE2: handle_state2(somedata, self);
        default: self.state = STATE1;
    endcase
endfunction

always_comb begin
    next_state = state;
    dispatcher(data, next_state);
end

always_ff @(posedge clk)
begin
    state <= next_state;
end

assign result = state.scratch;

endmodule