data/full_repos/permissive/143278/ivltests/sv_port_default13.v
 line:9: before: "("
1: b"%Error: data/full_repos/permissive/143278/ivltests/sv_port_default13.v:9: Expecting expression to be constant, but variable isn't const: 'a'\n                                                                        : ... In instance test\nfunction integer k(integer i, integer j = a+b);\n                                          ^\n%Error: data/full_repos/permissive/143278/ivltests/sv_port_default13.v:9: Expecting expression to be constant, but variable isn't const: 'b'\n                                                                        : ... In instance test\nfunction integer k(integer i, integer j = a+b);\n                                            ^\n%Error: data/full_repos/permissive/143278/ivltests/sv_port_default13.v:13: Unsupported: Non-constant default value in missing argument 'j' in function call to FUNC 'k'\n                                                                         : ... In instance test\nlocalparam integer result = k(3);\n                            ^\n%Error: data/full_repos/permissive/143278/ivltests/sv_port_default13.v:13: Expecting expression to be constant, but can't determine constant for FUNCREF 'k'\n                                                                         : ... In instance test\n        data/full_repos/permissive/143278/ivltests/sv_port_default13.v:9: ... Location of non-constant VARREF 'a': Language violation: reference to non-function-local variable\n        data/full_repos/permissive/143278/ivltests/sv_port_default13.v:13: ... Called from k() with parameters:\n           i = ?32?h3\n           j = ?32?h0\nlocalparam integer result = k(3);\n                            ^\n%Error: Exiting due to 4 error(s)\n"
module test();

integer a;
integer b;

function integer k(integer i, integer j = a+b);
  k = i + j;
endfunction

localparam integer result = k(3);

endmodule
module test();


integer a;
integer b;

function integer k(integer i, integer j = a+b);
  k = i + j;
endfunction

localparam integer result = k(3);

endmodule