Can analysis detect undefined expressions?

[Christopher R Volpe]

In article <6371 at goanna.cs.rmit.oz.au>, ok at goanna.cs.rmit.oz.au (Richard
A. O'Keefe) writes:
|>Wrong.  Think of the assignments as going into a bag.  By the time you
|>reach a "sequence point" all of the assignments must have been pulled
|>out of the bag and been done, but they can be pulled out of the bag in
|>any order.  So
|>	((i=1) == (i=2))	=>	put <i=2> into bag
|>					put <i=1> into bag
|>	(j = ...)		=>	put <j=0> into bag
                                             ^^^
This is not necessarily true. J could very well be 1 here, if it reads the
value of i twice before comparing them.

                         
==================
Chris Volpe
G.E. Corporate R&D
volpecr at crd.ge.com