Re: Rewrite of PROPOSAL 001213.1 re default location

[David B Anderson <davea at quasar dot engr dot sgi dot com>]

M.Eager writes:
>  Address ranges may overlap. When they do, they describe a 
>  situation in which an object exists simultaneously in more than 
>  one place. If all of the address ranges in a given location list 
>  do not collectively cover the entire range over which the object 
>  in question is defined, it is assumed that the object is not 
>  available for the portion of the range that is not covered.

But Ron is not, if I understand him, talking about
the variable existing simultaneously in multiple places.

At any one time only *one* of the places is current.

(This is a restatement of a mail I sent earlier to the group.)

>The only ambiguity that I see is what should a Dwarf consumer do when
>an object exists in more than one place.  It appears that the consumer
>would have the choice to use any copy of the object.  
>
>It would appear that resolving this ambiguity would resolve this issue.


The key question is does 'simultaneously' in the document
mean 
	'all locations are current' 
or does it mean
  	'Only the innermost-active (in a live-range sense) is current' 

???

I think the former is how Ron interpretes the current document.
How do you interpret it?

davea@sgi.com