[question][help wanted] always_ff multiple procedure assignment at scr1_memory_tb_ahb.sv

[likeamahoney]

I am using slang and VCS to analyze syntacore RISC V kernel and slang errors on multiple drivers of the static local function (which called in both always_ff blocks) variable tmp assignment during call at first_always_ff_call and second_always_ff_call but VCS not.

IEEE 1800-2017 SystemVerilog LRM says that:

The always_ff procedure imposes the restriction that it contains one and only one event control and no
blocking timing controls. Variables on the left-hand side of assignments within an always_ff procedure,
including variables from the contents of a called function, shall not be written to by any other process.
Software tools should perform additional checks to warn if the behavior within an always_ff procedure
does not represent sequential logic

The standard says nothing about conditions on drivers inside always_ff, it simply prohibits them.

Does that code written correct apply to IEEE 1800-2017 SystemVerilog LRM?