[sv-ec] Exlplicit restriction : lvalue as actual arguments for output, inout, ref, const ref ports.

I haven't found explicit restriction that for inout,output, ref, and const
ref t/f port actual argument we may use only lvalue. It is not so abvious ie
C allows to use expression as actual when argument is const ref:

int f(const int & a) {
    return 1;
}

int _tmain() {
    int a,b;
    f(2);
    f(a+b);
}

Such ifno may be added into 12.2 port direction description, or as foot note
to list of arguments syntax definition (or both):
IE:
list_of_arguments ::=

[ expression ] { , [ expression ] } { , . identifier ( [ expression ] ) }

| . identifier ( [ expression ] ) { , . identifier ( [ expression ] ) }

 

foot note: Only lvalue is allowed as actual argument for output, inout, ref,
const ref t/f port. Expressions are allowed only for input ports.

 

 

DANiel


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