[sv-bc] expressions not allowed in RHS or continous assign or on port connection list

I cannot find in LRM resrtictions on expression on RHS of continuous assign
(same for port connection list items).
IMO some expressions should not be allowed ie:
assign w = i++;
assign w = i=+10;
assign w = foo(i); //where foo is function foo (ouput logic o); o=o-1;
endfunction
 
same for port connections:
sub uut(i++);
sub uut(i=+10);
sub uut(foo(i)); //where foo is function foo (ouput logic o); o=o-1;
endfunction
 
 
Should it be allowed or forbidden?
Is it described in LRM?
 
 
DANiel

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.