Re: Is this a form of Data Flow Analysis, and what is the proper way solution to the problem?

henry@spsystems.net (Henry Spencer)
17 Jan 2006 21:40:30 -0500

          From comp.compilers

Related articles
Is this a form of Data Flow Analysis, and what is the proper way solut owong@castortech.com (Oliver Wong) (2006-01-12)
Re: Is this a form of Data Flow Analysis, and what is the proper way s gneuner2@comcast.net (George Neuner) (2006-01-17)
Re: Is this a form of Data Flow Analysis, and what is the proper way s henry@spsystems.net (2006-01-17)
Re: Is this a form of Data Flow Analysis, and what is the proper way s DrDiettrich@compuserve.de (Hans-Peter Diettrich) (2006-01-17)
Re: Is this a form of Data Flow Analysis, and what is the proper way s paolo.bonzini@gmail.com (2006-01-17)
Re: Is this a form of Data Flow Analysis, and what is the proper way s owong@castortech.com (Oliver Wong) (2006-01-20)
Re: Is this a form of Data Flow Analysis, and what is the proper way s gneuner2@comcast.net (George Neuner) (2006-01-26)
Re: Is this a form of Data Flow Analysis, and what is the proper way s paolo.bonzini@gmail.com (2006-01-26)
Re: Is this a form of Data Flow Analysis, and what is the proper way s pohjalai@cc.helsinki.fi (A Pietu Pohjalainen) (2006-01-26)
[2 later articles]
| List of all articles for this month |

From: henry@spsystems.net (Henry Spencer)
Newsgroups: comp.compilers
Date: 17 Jan 2006 21:40:30 -0500
Organization: SP Systems, Toronto, Canada
References: 06-01-037
Keywords: analysis
Posted-Date: 17 Jan 2006 21:40:30 EST

Oliver Wong <owong@castortech.com> wrote:
>z = y = x;
>
> Which of the following outputs would be more "correct"?


There is no single generic right answer. Does the value of x get stored
to y and z, or does the value of x get stored to y, and then the new value
of y get stored to z? It depends on the language! (And I don't remember
just what Java says about it.) When type conversions are involved, the
two are not semantically equivalent -- for example, if x and z are
double-precision floating-point variables and y is single-precision, the
value of z depends on how the assignments are done.
--
spsystems.net is temporarily off the air; | Henry Spencer
mail to henry at zoo.utoronto.ca instead. | henry@spsystems.net



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.