Re: [sv-bc] RE: [sv-ec] Is void function not implicitly declared inside the function

From: Gordon Vreugdenhil <gordonv_at_.....>
Date: Tue Jan 15 2008 - 14:52:49 PST
Steven Sharp wrote:
[...]

> Since I would expect a return statement to assign that value to the
> function variable, "overwrite" would specify that more clearly.  Shalom
> takes the word "override" as implying that it does not.

I agree.  I view "return expr;" as two steps -- "function_name = expr; return;"

This also removes any special cases that might otherwise arise
regarding assignment related type determinations (ie. sizing, etc)
with respect to the type of the function and the type of the expression
in the return statement -- I expect all of the normal "assignment"
rules to apply.

Gord
-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Jan 15 14:53:10 2008

This archive was generated by hypermail 2.1.8 : Tue Jan 15 2008 - 14:53:23 PST